Lib.rs

› 关键词 ＃zero-knowledge ＃analyzer ＃circomspect ＃static ＃zk-snarks ＃linter ＃dsl

＃circom

  1. legogroth16

    Groth16 zkSNARK 证明系统的 Lego Snark 变体

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

  2. circomspect

    Circom 零知识 DSL 的静态分析器和代码检查器

    v0.9.0 130 ＃static-analysis ＃circom ＃zero-knowledge ＃cryptography ＃programming-language

  3. circomspect-program-structure

    Circomspect 静态分析器的支持包

    v2.1.4 170 ＃circom ＃circomspect ＃analyzer ＃linter ＃dsl ＃zero-knowledge ＃static

  4. circomspect-parser

    Circomspect 静态分析器的支持包

    v2.2.0 ＃circom ＃circomspect ＃analyzer ＃zero-knowledge ＃linter ＃static

  5. rust-witness

    使用 Rust 构建 circom 证明

    v0.1.0 110 ＃witness ＃circom ＃macro ＃generate ＃transpile ＃circuit ＃wasm

  6. circomspect-program-analysis

    Circomspect 静态分析器的支持包

    v0.8.2 ＃circom ＃circomspect ＃analyzer ＃zero-knowledge ＃static

  7. mopro-ffi

    Mopro 是一个用于移动端 ZK 应用开发的工具包。Mopro 使得移动端的客户端证明变得简单。

    v0.1.0 130 ＃mobile ＃proving ＃zk ＃client-side ＃mopro ＃toolkit ＃circom

  8. macro-circom

    Circom DSL 提供了 Light 协议中使用的宏

    v0.1.0 ＃circom ＃light ＃macro ＃dsl ＃protocols

  9. circomspect-circom-algebra

    Circomspect 静态分析器的支持包

    v2.0.2 ＃circom ＃circomspect ＃analyzer ＃linter ＃zero-knowledge ＃static

    10. 尝试使用 DuckDuckGo 进行搜索。https://duckduckgo.com/?q=site%3Alib.rs+circom.

  10. circom-lsp

    Circom 的 LSP 服务器

    v0.1.3 ＃circom ＃lsp ＃language-server

  11. circom-lsp-type-analysis

    circom-lsp 的支持包

    v2.1.5 ＃circom ＃lsp ＃language-server

  12. circom-lsp-program-structure

    circom-lsp 的支持包

    v2.1.5 ＃circom ＃lsp ＃language-server

  13. circom-lsp-parser

    circom-lsp 的支持包

    v2.1.5 ＃circom ＃lsp ＃language-server

  14. ark-circom

    Arkworks 绑定到 Circom 的 R1CS，用于在 Rust 中生成 Groth16 证明和证据

    v0.1.0 130 #生成 #见证 #证明 #circom #arkworks #r1cs #groth16

  15. zkutil

    与circom电路一起工作

    v0.5.0 #电路 #circom #生成 #zk-snarks #密钥 #导入 #分叉