Tornado Cash:开发者参考手册
以太坊协议可能的未来 1:The Merge
区块链隐私技术些技术有: 零知识证明(ZK)、多方计算(MPC)、全同态加密(FHE)和可信执行环境(TEE), 他们分布在六个关键指标的表现。
Starknet 统一比特币和以太坊
一段代码生成零知识证明可以分为代码变成多项式阶段,多项式生成承诺两个阶段。
第一阶段,简单来说就是把代码转换成 a * b = c 三元算式的列表(就是写电路),然后套数据公式把三元算式的列表转换成多项式,然后用R1CS&QAP的方式对多项式进行约束;
第二阶段,先是通过f(x) = h(x)t
为什么和如何使用 zk-SNARK系列文章
文章从原生 HotStuff 出发,重点讨论 Chained HotStuff 的方案设计和工程实现。
科普Arbitrum的运转机理
本文试图通过科普Arbitrum的运转机理
在本文中,我将解释如何使用一些智能合约安全工具(Mythril、MythX、Slither、Manticore、Security、SmartCheck)来查找和利用以太坊智能合约中的安全漏洞。文章将涵盖基本原理和高级技术,例如测试安全属性、比较这些安全工具。