開鎖做網(wǎng)站怎么樣pc優(yōu)化工具
1. 引言
前序博客:
- ZKP中的哈希函數(shù)
- 如何選擇ZK-friendly 哈希函數(shù)?
- snark/stark-friendly hash函數(shù)
- Anemoi Permutation和Jive Compression模式:高效的ZK友好的哈希函數(shù)
- Tip5:針對(duì)Recursive STARK的哈希函數(shù)
隨著Incrementally Verifiable Computation(IVC)的發(fā)展,需要在電路內(nèi)高效的哈希函數(shù),電路中的算術(shù)表示是基于素?cái)?shù)域的,而不是二進(jìn)制域,因此需要對(duì)素?cái)?shù)域表示友好的哈希函數(shù)。
哈希函數(shù)在IVC中的用途有:
- Merkle tree opening proofs:Merkle tree opening證明
- Fiat-Shamir-transformed protocols:Fiat-Shamir轉(zhuǎn)換協(xié)議
- Compression in recursive SNARKs:遞歸SNARKs中的壓縮
- Provenance proofs:出處證明
當(dāng)前設(shè)計(jì)的ZK友好哈希函數(shù)有:
這些ZK友好哈希函數(shù)可分為如下三大類:
盡管已設(shè)計(jì)了大量ZK友好哈希函數(shù),但當(dāng)前的問題在于:
- 不知道這些ZK友好哈希函數(shù)是否安全
- 其中有一些暫未被破解,但這并不代表其足夠安全
因此,需要對(duì)這些ZK友好哈希函數(shù)有更多信心,為此以太坊基金會(huì)發(fā)起了:
-
1)ZK Hash Function Cryptanalysis Bounties 2021
其中包含了:- 最有趣方案的簡(jiǎn)化版本
- 獎(jiǎng)勵(lì)隨目標(biāo)強(qiáng)度和補(bǔ)充材料而增加
需要的反饋有:
- 弱化版本
- 任何公平性問題
- 規(guī)則評(píng)論
-
2)研究愿望清單:
- 對(duì)大量(因貢獻(xiàn)低而)常被會(huì)議拒絕的(Groebner basis、大幅修改變種、增量成果)論文感興趣。而以太坊基金會(huì),對(duì),所有與代數(shù)哈希函數(shù)安全性相關(guān)的論文,都感興趣。這些被拒的論文可轉(zhuǎn)投給以太坊基金會(huì)的研究愿望清單。
需要的反饋是:
- 相關(guān)建議
-
3)Special Journal Editions,期刊特刊
-
4)Extra entries in calls for papers,論文征集中的額外條目
參考資料
[1] 2024年3月25日FSE 2024 Rump Session視頻以太坊基金會(huì)Dmitry Khovratovich分享 Algebraic Hashes Initiative
[2] 2024年3月25日至2024年3月29日比利時(shí)魯汶30th Fast Software Encryption Conference