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 · Rust 包仓库 17/week @ 2024-03-13 · Rust 包仓库 20/week @ 2024-03-20 · Rust 包仓库 31/week @ 2024-03-27 · Rust 包仓库 39/week @ 2024-04-03 · Rust 包仓库 14/week @ 2024-04-17 · Rust 包仓库 27/week @ 2024-04-24 · Rust 包仓库 11/week @ 2024-05-01 · Rust 包仓库 10/week @ 2024-05-08 · Rust 包仓库 52/week @ 2024-05-15 · Rust 包仓库 43/week @ 2024-05-22 · Rust 包仓库 40/week @ 2024-05-29 · Rust 包仓库 45/week @ 2024-06-05 · Rust 包仓库 67/week @ 2024-06-12 · Rust 包仓库 72/week @ 2024-06-19 · Rust 包仓库 49/week @ 2024-06-26 · Rust 包仓库

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

MIT 许可证

310KB
8K SLoC

SNARK验证器

通用(S)NARK验证器。

lib.rs:

通用(S)NARK验证器。

依赖

~5–9MB
~177K SLoC