Alternatives and similar repositories for capabilitiesforcoders

Users that are interested in capabilitiesforcoders are comparing it to the libraries listed below

• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆16Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆60Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆30Updated last year
• penumbra-zone / decaf377
  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
  ☆17Updated 10 months ago
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Updated last year
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆27Updated 3 years ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆16Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆48Updated 5 months ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆37Updated last year
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆23Updated 2 weeks ago
• Veridise / circom2llvm
  Compile circom code to llvm partially
  ☆12Updated 2 years ago
• aptos-labs / keyless-zk-proofs
  Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service
  ☆20Updated this week
• lambdaclass / austral.rs
  An implementation of the Austral language compiler in Rust
  ☆15Updated last year
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• Consensys / corset
  ☆21Updated 2 months ago
• microsoft / Nimble
  Rollback protection for confidential services
  ☆33Updated last month
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• lurk-lab / lurk
  Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …
  ☆157Updated 10 months ago
• microsoft / oZKS
  oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.
  ☆28Updated 3 months ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated last week
• Inria-Prosecco / noise-star
  Verified implementations for the Noise family of protocols
  ☆17Updated last year
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Updated 2 months ago
• kwantam / addchain
  addition chains
  ☆20Updated 7 years ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 3 years ago
• arkworks-rs / gm17
  A Rust library for the preprocessing zkSNARK of Groth and Maller
  ☆13Updated last year
• costa-group / circom_civer
  zkSnark circuit compiler
  ☆12Updated last month