Lib.rs

› 科学 › 数学
#verifier #halo2 #snark #evm #generic #fork #nark

snark-verifier

为Rust、halo2和EVM提供的通用(S)NARK验证器。这是PSE版本的一个分支。

由jonathanpwang，Han，隐私扩展探索团队 (5个贡献者)

2个版本

0.1.7 2024年1月18日
0.1.6 2023年12月4日

#630 in 数学

Download history 17/week @ 2024-03-13 20/week @ 2024-03-20 31/week @ 2024-03-27 39/week @ 2024-04-03 14/week @ 2024-04-17 27/week @ 2024-04-24 11/week @ 2024-05-01 10/week @ 2024-05-08 52/week @ 2024-05-15 43/week @ 2024-05-22 40/week @ 2024-05-29 45/week @ 2024-06-05 67/week @ 2024-06-12 72/week @ 2024-06-19 49/week @ 2024-06-26

235 每月下载量
在 9 个crates中（3个直接）使用

MIT 许可证

310KB
8K SLoC

SNARK验证器

通用(S)NARK验证器。

lib.rs:

通用(S)NARK验证器。

依赖

~5–9MB
~177K SLoC