Alternatives and similar repositories for codex-research

Users that are interested in codex-research are comparing it to the libraries listed below

• vacp2p / research
  Thinking in code
  ☆65Updated last month
• protolambda / ethereum-scaling-diagram
  Ethereum scaling diagram
  ☆38Updated 4 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• kilic / evmbls
  ☆20Updated 4 years ago
• protolambda / remerkleable
  Typed mutable SSZ views over cached and immutable binary merkle trees
  ☆25Updated last year
• rairyx / raven
  Anonymous decentralized message broadcasting based on Libp2p and Dandelion++
  ☆18Updated 5 years ago
• zkvalidator / mina-vrf-rs
  ☆37Updated 3 years ago
• interep-project / contracts
  🧾 InterRep Solidity smart contracts.
  ☆30Updated 2 years ago
• ethereum / eth2.0-tests
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆19Updated 6 years ago
• paulmillr / micro-zk-proofs
  Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
  ☆52Updated this week
• ralexstokes / deposit-verifier
  A smart contract to enhance the user experience of the `eth2` deposit contract.
  ☆27Updated last year
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆28Updated 4 years ago
• axic / runevm
  EVM interpreter compatible with the evm2wasm interface
  ☆45Updated 3 years ago
• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated 2 years ago
• ethresearch / p2p
  ☆30Updated 6 years ago
• q9f / eth2-bench-2020-06
  preliminary, high-level eth2-client benchmarks
  ☆16Updated 4 years ago
• barryWhiteHat / baby_jubjub
  Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum
  ☆39Updated 6 years ago
• protolambda / eth2.0-ssz
  Draft of SSZ specs repo
  ☆16Updated 5 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• celestiaorg / lazyledger-prototype
  LazyLedger academic prototype
  ☆50Updated 5 years ago
• musalbas / solidity-BN256G2
  Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.
  ☆57Updated 9 months ago
• waku-org / examples.waku.org
  Examples on how to use the js-waku library
  ☆34Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• iden3 / circom_runtime
  circom runtime
  ☆19Updated 10 months ago
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆31Updated 2 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• vacp2p / rfc
  Modular p2p messaging stack, with a focus on secure messaging.
  ☆115Updated last year
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• benjaminion / c-kzg
  Simple implementation of KZG commitments in C
  ☆36Updated 2 years ago
• OffchainLabs / hashtree
  SHA256 library highly optimized for Merkle tree computations
  ☆37Updated this week