济南网站建设哪家强,网站做淘宝客排名会掉吗,北京建设网官网下载,做瞹瞹嗳免费网站在线观看1. 引言
在Polygon Miden VM中#xff0c;使用了多个不同的哈希函数#xff1a;
1#xff09;“传统”哈希函数#xff0c;如BLAKE3#xff1a;对STARK之外的性能进行了优化。2#xff09;algebraic哈希函数#xff0c;如Rescue Prime#xff1a;对STARK内部优化使用了多个不同的哈希函数
1“传统”哈希函数如BLAKE3对STARK之外的性能进行了优化。2algebraic哈希函数如Rescue Prime对STARK内部优化具有更好的性能。
Polygon Miden团队对多个哈希函数进行了benchmark并对比了其在其它证明系统中所采用的构建。具体benchmark内容为
1BLAKE3见 BLAKE3规范基于https://github.com/BLAKE3-team/BLAKE3 crate所暴露的wrapper来bench。2SHA3见 SHA3规范基于https://github.com/facebook/winterfell/blob/46dce1adf0/crypto/src/hash/sha/mod.rs 代码来bench。3Poseidon见 2019年Poseidon论文基于https://github.com/0xPolygonZero/plonky2/blob/806b88d7d6e69a30dc0b4775f7ba275c45e8b63b/plonky2/src/hash/poseidon_goldilocks.rs 纯rust代码来bench而无vectorized instructions。4Rescue PrimeRP见 2020年Rescue-Prime: a Standard Specification (SoK) 论文基于https://github.com/facebook/winterfell/blob/46dce1adf0/crypto/src/hash/rescue/rp64_256/mod.rs 代码来bench。5Rescue Prime OptimizedRPO见 2022年Rescue-Prime Optimized论文基于https://github.com/0xPolygonMiden/crypto/blob/next/src/hash/rescue/rpo/mod.rs 代码来bench。6Rescue Prime ExtendedRPX见 2023年XHash8 and XHash12: Efficient STARK-friendly Hash Functions论文为xHash哈希函数的变种基于https://github.com/0xPolygonMiden/crypto/blob/next/src/hash/rescue/rpx/mod.rs 代码来bench。
实际对RPO和BLAKE3的bench流程为
git clone https://github.com/0xPolygonMiden/crypto
cd crypto
cargo bench hash对Rescue Prime、Poseidon和SHA3的bench流程为
git clone https://github.com/Dominik1999/winterfell
cd winterfell
git checkout hash-functions-benches
cargo bench hash实际在对以上哈希函数做bench时分了2种场景【注意在Amazon Graviton 3服务器上运行RPO256和RPX256时均启用了SVE加速。】 1场景一2-to-1 ( a , b ) ↦ h ( a , b ) (a,b)\mapsto h(a,b) (a,b)↦h(a,b)哈希其中 a , b , h ( a , b ) a,b,h(a,b) a,b,h(a,b)均为每个哈希函数的digest。 2场景二序列哈希对100个域元素所组成的序列做哈希以生成单个digest 对Poseidon、Rescue Prime和RPO来说该digest为素数域 2 64 − 2 32 1 2^{64}-2^{32}1 264−2321内的4个域元素即32个字节。对SHA3和BLAKE3来说该digest为数组[u8; 32]。
参考资料
[1] Miden VM Hash Functions
Miden系列博客
zk、zkVM、zkEVM及其未来Polygon L2扩容方案揭秘混合Rollup探秘 Metis、Fraxchain、Aztec、Miden和OlaPolygon Miden扩展以太坊功能集的ZK-optimized rollupPolygon Miden zkRollup中的UTXO账户混合状态模型Polygon Miden交易模型Actor模式 ZKP 并行 隐私Polygon Miden状态模型解决状态膨胀而不牺牲隐私和去中心化Polygon Miden中的nullifier sets设计
