-
legogroth16
Legosnark variant of Groth16 zkSNARK proof system
-
circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
-
rust-witness
Build a circom witness in Rust
-
circom-prover
Circom prover is a Rust library for generating and verifying proofs for Circom circuits
-
circomspect-program-analysis
Support crate for the Circomspect static analyzer
-
circomspect-parser
Support crate for the Circomspect static analyzer
-
circomspect-program-structure
Support crate for the Circomspect static analyzer
-
ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
-
macro-circom
Circom DSL providing macros used in Light Protocol
-
circomspect-circom-algebra
Support crate for the Circomspect static analyzer
-
worldcoin-ark-circom
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust
-
circom-lsp-type-analysis
Support crate for circom-lsp
-
circom-lsp
LSP server for Circom
-
zkutil
working with circom circuits
-
circom-lsp-program-structure
Support crate for circom-lsp
-
circom-lsp-parser
Support crate for circom-lsp
Try searching with DuckDuckGo.