Alternatives and similar repositories for arithmetic-circuits:

Users that are interested in arithmetic-circuits are comparing it to the libraries listed below

• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆55Updated 11 months ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆74Updated 4 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆111Updated 4 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆41Updated last year
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆90Updated 4 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 5 months ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆61Updated last year
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• vrahli / Velisarios
  A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems
  ☆31Updated 5 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 5 years ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆46Updated this week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆32Updated this week
• konnov / bymc
  Byzantine model checker
  ☆21Updated last year
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆117Updated this week
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆67Updated last year
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆18Updated this week
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated 9 months ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆126Updated last year
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆41Updated 5 months ago
• o1-labs / snarkette
  Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
  ☆55Updated 5 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆23Updated 3 months ago