Lib.rs

› 关键词 #zk-snarks #cryptography #zero-knowledge #zero-knowledge-proofs #r1cs

注释：snark

  1. ark-groth16

    Groth 2016 zkSNARK 证明系统

    v0.5.0-alpha.1 75K #zk-snarks #zero-knowledge-proofs #zero-knowledge #snark #zk-snark #groth-maller #cryptography

  2. ark-crypto-primitives

    有用的加密原语

    v0.5.0-alpha.0 80K #r1cs #pedersen #snark #blake2s #schnorr

  3. ark-snark

    SNARK 特性

    v0.5.0-alpha.0 83K #snark #zk-snarks #zero-knowledge #cryptography #zk-snark

  4. ark-relations

    单行约束系统

    v0.5.0-alpha.0 84K #snark #zk-snarks #zero-knowledge #cryptography #constraint-systems #zk-snark

  5. ark-r1cs-std

    约束系统组件的标准库

    v0.5.0-alpha.0 6.6K #zk-snarks #finite-fields #elliptic-curve #r1cs #snark #zero-knowledge #cryptography

  6. decaf377

    为 BLS12-377 上的 SNARK 设计的素数阶群

    v0.10.1 5.3K #zero-knowledge-proofs #elliptic-curve #snark #circuit #field #group #construction

  7. legogroth16

    Legosnark 是 Groth16 zkSNARK 证明系统的变体

    v0.15.0 #zk-snarks #zero-knowledge #circom #snark #lego-snark #zksnark #data-privacy

  8. brillig_vm

    处理 Brillig 字节码的虚拟机，用于向 ACVM 引入非确定性

    v0.46.0 #zero-knowledge-proofs #virtual-machine #non-deterministic #bytecode #proving #snark #acvm

  9. acvm

    处理给定后端/证明系统的 ACIR 的虚拟机

    v0.46.0 #virtual-machine #zero-knowledge-proofs #noir #acir #snark #proving #processes

  10. saver

    带有重置随机化的 SNARK 友好型、加法同态和可验证加密和解密

    v0.18.0 120 #encryption #encryption-decryption #snark #verifiable #data #groth16 #elgamal

  11. gnark-bn254-verifier

    BN254曲线的gnark验证器

    v1.0.2 320 #zk-snarks #gnark #snark #zero-knowledge #cryptography #zk-snark

  12. ark-r1cs-std-zypher

    约束系统组件的标准库

    v0.4.0 #zk-snarks #zero-knowledge #snark #r1cs #elliptic-curve #finite-fields #zk-snark

  13. ark-relations-zkhub

    单行约束系统

    v0.4.7 #snark #zero-knowledge #zk-snarks #cryptography #constraint-systems #zk-snark

  14. ark-relations-zypher

    单行约束系统

    v0.4.0 #snark #zk-snarks #zero-knowledge #constraint-systems #cryptography #zk-snark

  15. ark-snark-zypher

    SNARK 特性

    v0.4.0 #zk-snarks #snark #zero-knowledge #zk-snark #cryptography

  16. ark-crypto-primitives-zypher

    有用的加密原语

    v0.4.0 #schnorr #r1cs #snark #blake2s #pedersen

  17. ark-groth16-zypher

    Groth 2016 zkSNARK 证明系统

    v0.4.0 #zk-snarks #zero-knowledge #snark #cryptography #zk-snark #groth-maller #zero-knowledge-proofs

  18. r1cs

    构建R1CS小工具

    v0.4.7 240 #snark #gadget #field #cryptography #prime-field #permutation #construction

  19. ministark-gpu

    STARK/SNARK证明者常用优化的GPU原语

    v0.3.0 #gpu #stark #arkworks #snark #winterfell #programming-language

  20. snark-verifier

    通用的(S)NARK验证器，适用于Rust, halo2和EVM。这是PSE版本的一个分支。

    v0.1.7 320 #verifier #halo2 #snark #evm #nark #generic #fork

  21. plonky2_field

    有限域算术

    v0.2.2 2.2K #finite-fields #plonk #snark #plonky2 #cryptography #fri

  22. ark-gm17

    2017年Groth-Maller zkSNARK证明系统

    v0.3.0 230 #zk-snarks #zero-knowledge #snark #zero-knowledge-proofs #groth-maller #cryptography #zk-snark

  23. mmr-crypto-primitives

    ark-crypto-primitives分支：mmr小工具实现

    v0.2.1 #r1cs #snark #blake2s #pedersen #schnorr

  24. bellpepper-core

    SNARK电路库的核心元素

    v0.4.0 53K #circuit #snark #bellpepper #traits #structures #input #witness

  25. bellpepper

    SNARK电路库的组件

    v0.4.1 55K #zk-snarks #circuit #gadget #snark #fork #arithmetic #bellman

  26. plonky2

    基于PLONK和FRI的递归SNARK

    v0.2.2 2.4K #plonk #snark #fri #cryptography

    27. 尝试使用DuckDuckGo搜索。

  27. franklin-crypto

    SNARK组件的加密库

    v0.2.2 42K #snark #gadget #plonk #field #table #proofs #primitive

  28. snark-tool

    包含（主要）立方图分析的结构和算法

    v0.4.0 #snark #graph-theory #undirected-graph #algorithm

  29. zeekit

    为Zeeka网络提供的密码学原语和SNARK组件

    v0.7.0 #gadget #snark #zeeka #primitive #networking #cryptography

  30. snark_wrapper

    ZKsync SNARK包装器

    v0.1.2 12K #zksync #blockchain #zk-sync #snark #wrapper

  31. starky

    STARKs

    v0.4.0 1.6K #plonky2 #snark #plonk #fri #cryptography #fibonacci-sequence

  32. r1cs-zkinterface

    r1cs crate的zkinterface后端

    v0.1.2 #r1cs #snark #cryptography #back-end

  33. ark-sponge

    zkSNARK的加密sponge函数

    v0.4.0-alpha 190 #sponge #zk-snarks #zero-knowledge #cryptography #snark #zk-snark #latest-version

  34. rusty-gadgets

    构建R1CS小工具

    v0.1.0 #r1cs #snark #crypto #cryptography

  35. rings-snark

    Rings网络的IVC SNARK实现

    v0.7.0 #rings #snark #nova #ivc #recursion #reader #wasm

  36. liminal-ark-relation-macro

    用于简洁定义SNARK关系的过程宏

    v0.1.3 1.0K #relation #input #attributes #snark #circuit #object #definition

  37. r1cs-bellman

    为r1cs crate提供的Bellman后端

    v0.1.1 #r1cs #snark #密码学 #后端 #证明

  38. snark-verifier-sdk

    用于使用snark-verifier的SDK

    v0.1.7 210 #snark #verifier #sdk

  39. fil-blst

    使用blst BLS12-381性能库加速Filecoin网络的SNARK验证

    v0.1.2 #filecoin #性能 #bls12-381 #snark #verification #blst #accelerate