nulltea / zk-timelock

Related projects: ⓘ

• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆78Updated 10 months ago
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆84Updated 2 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆51Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆40Updated this week
• JumpCrypto / plonky2-crypto
  Crypto Gadgets for Plonky2
  ☆69Updated 4 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆89Updated last month
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆71Updated 2 years ago
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆58Updated last year
• Darlington02 / circom-next-starter
  Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs
  ☆45Updated last year
• paradigmxyz / stress4844
  Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.
  ☆55Updated last year
• aragonzkresearch / noir-trie-proofs
  ☆58Updated last month
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆23Updated 10 months ago
• cronokirby / seed-split
  Splitting seed phrases into shares
  ☆63Updated 2 years ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 7 months ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆62Updated last month
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.
  ☆80Updated 10 months ago
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆47Updated 5 months ago
• gballet / verkle-block-sample
  ☆38Updated last year
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆45Updated last year
• privacy-scaling-explorations / perpetualpowersoftau
  ☆44Updated this week
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• summa-dev / halo2-experiments
  For practice to using halo2
  ☆23Updated last year
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• axiom-crypto / axiom-apps
  ☆33Updated last year
• chainbound / bolt
  Bolt: permissionless proposer commitments on Ethereum
  ☆47Updated this week