【文件属性】：
文件名称：hodor:纯Rust中zkSTARK的开源实现
文件大小：115KB
文件格式：ZIP
更新时间：2021-05-05 10:41:43
team-crypto Rust
霍多尔
开源zkSTARK在主要字段上实现。 最初的重点应该放在高效的证明程序实现上，之后再开发用于AIR表示合成的工具。
发布细节
Matter Labs已申请在Devcon5上展示开源zkSTARK证明者，计划于9月初/中旬开放。 由于我们公开了透明和量子安全的我们认为，即使是我们的证明人/框架的Alpha版现在也受到了不同的关注，这将使最终用户对zkSTARK，FRI和IOP产生直觉。
挑战性
与传统的R1CS或Groth16，Sonic，Bulletproofs或PLONK的基于门的算术相比，Stark算术（AIR）的设计难度要大得多，这是因为它缺乏“内存”的形式，能够始终解决先前声明的变量并具有固有的不适合一次性计算。 因此，创建程序和（更困难的）某种形式的小工具组合方法是一项艰巨的任务，在这里，开源程序设计和社区的精神应有助于找到一条最佳路。 有关Stark约束的实质及其“密度
【文件预览】：
hodor-master
----LICENSE-MIT(1023B)
----Cargo.toml(842B)
----src()
--------air()
--------experiments()
--------utils()
--------domains()
--------verifier()
--------precomputations()
--------fri()
--------fft()
--------transcript()
--------arp()
--------polynomials()
--------lib.rs(1KB)
--------bn256.rs(213B)
--------iop()
--------prover()
--------ali()
----run_on_stable_squarings.sh(69B)
----run_with_prefetch.sh(93B)
----LICENSE-APACHE(11KB)
----run_on_stable.sh(65B)
----README.md(4KB)
----documents()
--------README.html(165KB)
--------README.md(9KB)
----.gitignore(29B)