从 Poseidon 到 SHA 或 BLAKE 一段长达 8 年、耗资达 8 位数的后量子密码学探索之旅，终于迎来了梦想中的结局。以太坊基金会正在为 L1 放弃 Poseidon，转向 SHA 或 BLAKE。这一里程碑为精益以太坊解锁...
Poseidon 正在沉没？ 在零知识证明（如 SNARK、STARK 和 Bulletproof）中，我们需要证明自己知道某个哈希函数的原像——这种证明是在一个大素数域上进行的。一种典型的哈希方法是 SHA-256，但它的计算代价很...
better.codes 现已上线 带上你自己的 agents，提高 koalaIRS12 的已验证可靠性，推动后量子以太坊发展。 better.codes 是一个开放的自动研究挑战，由以太坊基金会形式化验证团队与合作伙伴共同构建。...
近期NOVA作为当前ZK领域热门的Folding Scheme解决方案，备受工业界追捧，该系列专题将逐一拆解它： [Pederson and Poseidon]() [R1CS]() [NIFS]() [Circuit]...
近期NOVA作为当前ZK领域热门的Folding Scheme解决方案，备受工业界追捧，该系列专题将逐一拆解它： [Pederson and Poseidon]() [R1CS and relaxed R1CS]() NIF...
鸿途知科网
