Cardinal-Cryptography / zk-apps

Related projects: ⓘ

• Brushfam / sol2ink
  ☆17Updated last year
• polytope-labs / ismp-solidity
  Solidity implementation of the Interoperable state machine protocol
  ☆15Updated this week
• han0110 / halo2-kzg-srs
  ☆32Updated 8 months ago
• CardsAgainstBlockchain / CardsAgainstBlockchain
  Cards Against Blockchain
  ☆31Updated last week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆31Updated last year
• paritytech / arkworks-extensions
  Library to integrate arkworks-rs/algebra into Substrate
  ☆47Updated last month
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 2 weeks ago
• vacp2p / zk-explorations
  ☆31Updated 5 months ago
• AstarNetwork / plonk
  ☆16Updated 2 years ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆32Updated last week
• anton-rs / cannon-rs
  An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
  ☆57Updated last month
• carver / eth-trie.rs
  Rust implementation of the Modified Patricia Tree (aka Trie).
  ☆19Updated 11 months ago
• webb-tools / gadget
  A framework for building modular AVS and Tangle Blueprints: https://docs.tangle.tools/developers/blueprints.
  ☆11Updated this week
• webb-tools / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆24Updated 8 months ago
• tommyrharper / evm-from-scratch
  Rust implementation of the EVM
  ☆9Updated last year
• privacy-scaling-explorations / poseidon
  ☆39Updated last month
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆49Updated 9 months ago
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆29Updated 2 months ago
• malik672 / uniswap-sdk-core-rust
  uniswap sdk core in rust
  ☆43Updated last week
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆28Updated last month
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆43Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated this week
• 0xPolygonZero / plonky2-semaphore
  Plonky2 Semaphore example for ZKHack
  ☆25Updated 2 years ago
• alexander-camuto / rs-gkr
  ☆19Updated last year
• Phala-Network / phat-offchain-rollup
  Phat Contract Offchain Rollup implementation
  ☆18Updated 4 months ago
• distributedstatemachine / eigenlayer-rs
  ☆18Updated 5 months ago
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆47Updated this week