Alternatives and similar repositories for math-notes

Users that are interested in math-notes are comparing it to the libraries listed below

• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated last year
• narodnik / abstract-algebra-pinter-solutions
  Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
  ☆48Updated 2 years ago
• 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 …
  ☆85Updated 3 months ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆26Updated last year
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 3 years ago
• NilFoundation / zkllvm-blueprint
  Circuit components definition library for zkLLVM circuit compiler
  ☆43Updated 10 months ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆29Updated 5 months ago
• sedaprotocol / bn254
  ☆17Updated last week
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Updated last year
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• ChorusOne / celo-light-client
  Celo Light Client (IBC compatible)
  ☆16Updated 3 years ago
• nulltea / tlock-rs
  Rust library for practical time-lock encryption using `drand` threshold network
  ☆40Updated 2 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆72Updated 2 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆33Updated this week
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• qope / SIPP
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Updated last year
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆48Updated 11 months ago
• thibmeu / tlock-rs
  Rust encryption library for practical time-lock encryption.
  ☆30Updated last year
• o1-labs / verkle-tree
  ☆27Updated 3 years ago
• penumbra-zone / decaf377
  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
  ☆17Updated 4 months ago
• iden3 / circom_runtime
  circom runtime
  ☆19Updated 9 months ago
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated last month
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆35Updated 3 years ago
• daira / describe-curve
  Describe elliptic curves
  ☆35Updated 4 years ago