runtimeverification / beacon-chain-verification

Related projects ⓘ

Alternatives and complementary repositories for beacon-chain-verification

• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last month
• ChihChengLiang / modexp
  ☆12Updated 4 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• iden3 / wasmcurves
  Web Assembly low level implementation of pairing friendly curves.
  ☆16Updated 6 months ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 2 years ago
• asonnino / fraudproofs-prototype
  Prototype of fraud proofs.
  ☆12Updated 2 years ago
• kobigurk / privacypass-rs
  Fully-compatible implementation of Privacy Pass in Rust.
  ☆35Updated 4 years ago
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 3 years ago
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆18Updated last month
• argumentcomputer / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 8 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• AztecProtocol / plonk-with-lookups
  ☆18Updated 4 years ago
• ZeroKnowledgefm / STARKs
  A spot to start collecting info about STARKs for our study group
  ☆11Updated 3 years ago
• supranational / vdf-fpga-round1-results
  ☆10Updated 5 years ago
• ethereum / yul-isabelle
  ☆40Updated 2 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆21Updated 9 months ago
• jwasinger / geth-mev-plugin
  ☆10Updated 7 months ago
• ZenGo-X / rust-elgamal
  Rust implementation of ElGamal encryption
  ☆14Updated 9 months ago
• kobigurk / legogro16
  LegoGroth16 implementation on top of Zexe
  ☆21Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆15Updated 2 years ago
• celo-org / plumo-prover
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Updated 2 years ago
• eth-clients / slashing-protection-interchange-tests
  Tests for the EIP-3076 slashing protection interchange format
  ☆9Updated 11 months ago
• Poseidon-ZKP / merkle-forest
  ☆10Updated last year
• yondonfu / sol-baby-jubjub
  Solidity implementation of the baby jubjub curve
  ☆22Updated 6 months ago
• tse-group / goldfish-experiments
  Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"
  ☆13Updated last year
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated last year