超级会员免费看
本文介绍了Poseidon哈希，一种专为零知识证明（ZKP）设计的高效哈希函数，它在STARK证明系统中表现优异。与SHA-256和Pedersen哈希相比，Poseidon在ZKP场景下降低了计算复杂度，提高了运行效率，已被应用于Filecoin、Mina Protocol等项目。文章探讨了Poseidon的技术原理，并对比了SHA256和Pedersen的特性，强调了Poseidon在隐私保护和验证性方面的优势。
背景
2018年7月2日，以太坊基金会给StarkWare团队2年的赞助，用于寻找新的STARK friendly hash (SFH) 函数，可用于在区块链中构建transparent且抗量子安全的proof系统。
其要求很高，具体为：
-
Prover应能为同一hash函数的多次调用生成STARK proofs，在4核1G RAM主机上，相应的proof creation rate不低于 100 hashes/second。
-
10万个hashes 合并为一个STARK proof 在单核CPU上的验证时间应不超过10ms，且相应的proof size不高于200KB。
在Ben-Sasson等人2020年论文 《STARK Friendly Hash – Survey and Recommendation》中，推荐了MARVELlous家族中的基于素数域size约为 2 61 2^{61} 2
订阅专栏 解锁全文
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
