Alternatives and similar repositories for thetacrypt

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

• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆44Updated last year
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆48Updated 5 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆60Updated last year
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆14Updated this week
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆53Updated last year
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• Verified-zkEVM / ArkLib
  Formally Verified Arguments of Knowledge in Lean
  ☆152Updated this week
• pornin / ecgfp5
  Curve ecGFp5
  ☆69Updated 3 years ago
• kobigurk / aggregatable-dkg
  Aggregatable Distributed Key Generation
  ☆49Updated 3 years ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆58Updated 4 years ago
• sigma-rs / sigma-proofs
  ☆25Updated this week
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆74Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 2 years ago
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 3 years ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆84Updated 9 months ago
• kwantam / addchain
  addition chains
  ☆20Updated 7 years ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆87Updated last month
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• CertiKProject / zkwasm-fv
  Formal verification of the zkWasm project
  ☆16Updated last year
• zkcrypto / group
  Elliptic curve group traits and utilities.
  ☆99Updated 9 months ago
• fairmath / openfhe-rs
  OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
  ☆55Updated 11 months ago
• boltlabs-inc / tss-ecdsa
  An implementation of a threshold ECDSA signature scheme
  ☆17Updated 11 months ago
• zkcrypto / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆66Updated 4 months ago
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆58Updated 2 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• cathieyun / bfv12
  toy implementation of bfv in rust
  ☆27Updated 3 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆14Updated 2 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆91Updated 3 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 3 years ago