本文探讨了去中心化物理基础设施网络 (DePIN) 中,网络活动或资源贡献的证明应存储在链上还是链下的问题。文章分析了数据聚合型DePIN和以服务为基础的DePIN的不同需求,前者更需要链上存储以满足审计和合规性要求,而后者则更侧重于实时验证和效率。文章还讨论了不同的证明存储方法及其优缺点,并提供了一些实际案例。
Tornado Cash:开发者参考手册
以太坊协议可能的未来 1:The Merge
文章从原生 HotStuff 出发,重点讨论 Chained HotStuff 的方案设计和工程实现。
区块链隐私技术些技术有: 零知识证明(ZK)、多方计算(MPC)、全同态加密(FHE)和可信执行环境(TEE), 他们分布在六个关键指标的表现。
Starknet 统一比特币和以太坊
一段代码生成零知识证明可以分为代码变成多项式阶段,多项式生成承诺两个阶段。
第一阶段,简单来说就是把代码转换成 a * b = c 三元算式的列表(就是写电路),然后套数据公式把三元算式的列表转换成多项式,然后用R1CS&QAP的方式对多项式进行约束;
第二阶段,先是通过f(x) = h(x)t
为什么和如何使用 zk-SNARK系列文章
科普Arbitrum的运转机理
本文试图通过科普Arbitrum的运转机理