Miyamura80 / SuperParallel

Related projects ⓘ

Alternatives and complementary repositories for SuperParallel

• manuj-mishra / zkdiffpriv
  Zero knowledge proofs of differential privacy mechanisms
  ☆22Updated last year
• lambdaclass / era_vm
  EraVM implementation
  ☆20Updated 2 months ago
• erhant / zkbrainfuck
  A Brainfuck zkVM with Circom.
  ☆58Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 months ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆48Updated 2 years ago
• zk-bankai / uZumaKi
  ZK Benchmarking Suite
  ☆22Updated 7 months ago
• scroll-tech / ceno
  Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆40Updated this week
• flashbots / rollup-boost
  Sidecar to Enable Rollup Extensions
  ☆51Updated this week
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• PufferFinance / rave
  Remote Attestation VErification
  ☆29Updated 3 months ago
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 6 months ago
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• distributedstatemachine / eigenlayer-rs
  ☆18Updated 7 months ago
• succinctlabs / sp1-contracts
  Contracts for onchain verification of SP1.
  ☆59Updated last week
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆33Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• primev / mev-commit
  establishes a p2p network, allowing mev actors to issue bids and commitments for execution in real time
  ☆34Updated this week
• personaelabs / merkle-tree
  ☆31Updated 8 months ago
• jsign / phant
  A stateless Ethereum execution client
  ☆19Updated 2 months ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated 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
• erhant / circom101
  Circom circuits explained in depth.
  ☆24Updated last month
• hecmas / zkNotebook
  My personal notebook for various zk-related topics
  ☆48Updated 6 months ago
• 0xfuturistic / sequencer-commitments
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Updated 11 months ago
• hooperben / noir-hardhat-template
  Deprecated - use https://github.com/hooperben/noir-hardhat-template-v2
  ☆15Updated 3 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated last year