Lib.rs

› 关键词 #密码学 #零知识 #椭圆曲线 #零知识证明

#zk-snarks

  1. ark-std

    no_std 兼容性

    v0.5.0-alpha.0 837K #zk-snarks #arkworks #std #compatibility #ecosystem #standard #methods

  2. ark-groth16

    Groth 2016 zkSNARK 证明系统

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

  3. ark-test-curves

    测试 ark-ec & ark-poly

    v0.5.0-alpha.0 310 #elliptic-curve #finite-fields #testing #zk-snarks #polynomial #cryptography #serialization

  4. ark-snark

    SNARK 特性

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

  5. ark-relations

    秩一约束系统

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

  6. ark-r1cs-std

    约束系统小工具的标准库

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

  7. legogroth16

    Legosnark 变体的 Groth16 zkSNARK 证明系统

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

  8. dusk-bls12_381

    Dusk 团队所需的一些额外工具的 BLS12-381 对友好椭圆曲线实现的分支

    v0.13.0 2.5K #elliptic-curve #bls12-381 #zk-snarks #ecc #cryptography

  9. nova-snark

    折叠方案的快速递归论证

    v0.37.0 #proofs #zk-snarks #proof #cryptography #zk-snark

  10. halo2_proofs

    无信任设置的快速 PLONK 基于零知识证明系统

    v0.3.0 28K #zero-knowledge-proofs #zk-snarks #proofs #zkp #zk-proofs #proof #halo

  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-srs

    简化了过去可信设置仪式中通用/结构化参考字符串（CRS/SRS）的复用，尤其是对于SNARK

    v0.3.2 1.9K #zk-snarks #srs #trusted-setup #cryptography #zksnark

  14. zk-citadel

    Citadel，集成在Dusk网络中的SSI系统

    v0.14.0 280 #identity #zk-snarks #zero-knowledge #self-sovereign #cryptography

  15. ark-relations-zkhub

    秩一约束系统

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

  16. ark-relations-zypher

    秩一约束系统

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

  17. dusk-schnorr

    Schnorr签名的一个纯Rust实现，附带PLONK电路模块

    v0.18.0 180 #schnorr-signature #signature-scheme #elliptic-curve #schnorr #signatures #signature #zk-snarks

  18. ark-std-zypher

    no_std 兼容性

    v0.4.0 #zk-snarks #arkworks #ecosystem #compatibility #std #prototype #academic

  19. ark-snark-zypher

    SNARK 特性

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

  20. ark-groth16-zypher

    Groth 2016 zkSNARK 证明系统

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

  21. arecibo

    无可信设置的递归zkSNARKs

    v0.1.1 120 #zk-snarks #zero-knowledge-proofs #proofs #proof #zk-snark #cryptography

  22. ark-marlin

    Marlin预处理zkSNARK

    v0.3.0 280 #zk-snarks #commitment #zk-snark #cryptography #commitments

  23. zero-plonk

    PLONK ZK-Proof算法的一个纯Rust实现

    v0.1.10 #plonk #zero-knowledge-proofs #zk-snarks #zero-knowledge #cryptography #crypto

  24. plonk-bls12_381

    Dusk 团队所需的一些额外工具的 BLS12-381 对友好椭圆曲线实现的分支

    v0.2.0 #elliptic-curve #bls12-381 #zk-snarks #ecc #cryptography

  25. plonkup

    PLONK ZK-Proof算法的一个纯Rust实现

    v0.1.0 #零知识 #zk-snarks #密码学 #crypto

  26. ff-uint

    构建与固定大小整数和有限域的接口

    v0.2.4 110 #有限域 #默克尔证明 #电路 #数学 #zk-snarks #默克尔树 #整数

  27. light-poseidon

    Rust 中的 Poseidon 哈希实现

    v0.2.0 149K #poseidon-hash #poseidon #hash #zk-snarks #零知识 #byte-array #zk-snark

  28. ark-gm17

    2017 年 Groth-Maller zkSNARK 证明系统

    v0.3.0 230 #zk-snarks #零知识 #snark #零知识证明 #groth-maller #密码学 #zk-snark

  29. bellperson

    zk-SNARK 库

    v0.26.0 6.3K #zk-snarks #数字 #电路 #gpu #布尔 #bellman #抽象

  30. zcash_proofs

    Zcash zk-SNARK 电路和证明 API

    v0.16.0 8.8K #电路 #zk-snarks #证明 #zcash #api #证明 #验证

  31. fcomm

    使用 Lurk 的函数承诺

    v0.2.0 #承诺 #函数 #zk-snarks #lurk #密码学 #证明 #编程语言

    32. 尝试使用 DuckDuckGo 搜索。

  32. fullcodec-bls12_381

    Dusk 团队所需的一些额外工具的 BLS12-381 对友好椭圆曲线实现的分支

    v0.2.0 #椭圆曲线 #bls12-381 #ecc #zk-snarks #密码学

  33. bellpepper

    SNARK 电路库的 Gadgets

    v0.4.1 55K #zk-snarks #电路 #gadget #snark #分叉 #算术 #bellman

  34. bellman_ce

    zk-SNARK 库

    v0.8.0 54K #zk-snarks #查找 #门 #电路 #查找表 #bellman #表

  35. bellman

    zk-SNARK 库

    v0.14.0 23K #zk-snarks #电路 #标量域 #布尔 #算术操作 #数字 #群

  36. rln

    管理、计算和验证 zkSNARK 证明和 RLN 原语的 API

    v0.5.1 #zk-snarks #proof #zk-proofs #verify #system #merkle-tree #zero-knowledge-proofs

  37. vcproof

    zkSNARK实现

    v0.1.0 #zk-snarks #vc-proof #vcproof

  38. spartan2

    高速SNARKs

    v0.1.0 #zk-snarks #proofs #cryptography #proof #zk-snark

  39. groth16

    Bellman的证明者和验证者

    v0.1.0 130 #proving #bellman #verifier #zk-snarks #prover

  40. spartan

    无信任设置的快速zkSNARKs

    v0.8.0 #zk-snarks #proofs #proof #cryptography #zk-snark

  41. lurk-metrics

    lurk的指标汇入

    v0.2.0 #metrics #lurk #sink #zk-snarks #programming-language #recorder #thread-local

  42. zkmatrix

    线性代数的zk-SNAKR

    v0.1.1 #linear-algebra #matrix-multiplication #matrix-operations #zero-knowledge-proofs #zk-snarks #math #random

  43. ark-sponge

    zkSNARK的加密海绵函数

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

  44. circom-scotia

    将Circom电路编译到Bellperson的中件

    v0.2.0 #zk-snarks #proofs #cryptography

  45. fawkes-crypto

    zk-SNARK电路构建框架

    v4.4.0 230 #circuit #zk-snarks #framework #building #merkle-proof #cs #bellman

  46. poseidon-rs

    Poseidon哈希实现

    v0.0.10 100 #poseidon-hash #zk-snarks #github

  47. halo2_gadgets

    Halo 2的可重复使用的小工具和芯片实现

    v0.3.0 15K #zk-snarks #proofs #zkp #zcash #halo #zk-snark

  48. halo2

    [BETA] 无信任设置的快速零知识证明携带数据实现

    v0.1.0-beta.2 12K #zk-snarks #recursion #proofs #zkp #halo #recursive

  49. nova-scotia

    将Circom电路编译到Nova zkSNARK方案的中间件

    v0.5.0 #zk-snarks #proofs #cryptography #proof #zk-snark

  50. fawkes-crypto-bellman_ce

    zk-SNARK 库

    v0.3.5 120 #zk-snarks #groth16 #proof #multi-core #threading #circuit #intended

  51. fawkes-crypto-zkbob-bellman_ce

    zk-SNARK 库

    v0.4.0 #zk-snarks #multi-core #proof #groth16 #threading #circuit #intended

  52. supraseal-c2

    CUDA Groth16 proof generator for Filecoin

    v0.1.0 170 #zk-snarks #filecoin #cuda #proof #groth16 #generator #generate

  53. fawkes-crypto-powersoftau

    Public Parameters 的社区 zk-SNARK MPC

    v0.2.0 #zk-snarks #parameters #mpc #participant #ceremony #public #curve

  54. zksnark

    using groth16

    v0.0.2 #zk-snarks #groth16 #zero #circuit #arguments #module #math

  55. ysbell

    zk-SNARK 库

    v0.1.2 #zk-snarks #circuit #input #sha-256 #bit #variables #gadget

  56. voram

    基于 VOProof 的 RAM-based zkSNARK

    v0.1.0 #zk-snarks #vo-proof #ram-based

  57. bellperson-sha512

    SHA-512 哈希函数的电路

    v0.2.0 #sha-512 #recursion #zk-snarks #circuit #bellman #hashing #bellperson

  58. bellperson-nonnative

    SNARKs 的非原生算术

    v0.4.0 #zk-snarks #proofs #cryptography #zk-snark

  59. zkplonk

    PLONK ZK-Proof算法的一个纯Rust实现

    v0.0.1 #plonk #zero-knowledge #zk-snarks #cryptography #crypto

  60. phase2

    执行创建 zk-SNARK 公共参数的多方计算

    v0.2.2 #parameters #zk-snarks #mpc #public #circuit #performing

  61. voproof

    zkSNARK

    v0.2.0 #zk-snarks #vo-proof #voproof