flashbots / geth-sgx-gramine

Related projects ⓘ

Alternatives and complementary repositories for geth-sgx-gramine

• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆20Updated 3 weeks ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• rdi-berkeley / zkp-mooc-lab
  ☆79Updated last year
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 11 months ago
• automata-network / tee-builder
  ☆26Updated last year
• hashcloak / stoffelMPC
  ☆41Updated 11 months ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated last year
• automata-network / automata-dcap-v3-attestation
  ☆23Updated 2 months ago
• witnet / bls-solidity
  ☆32Updated 11 months ago
• crate-crypto / go-eth-kzg
  ☆29Updated 3 months ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆99Updated 7 months ago
• hashcloak / flashbots-privacy
  Practical Experiments on how to add complete privacy to flashbots
  ☆47Updated last month
• nulltea / zk-SQL
  ZK-based engine for self-sovereign SQL queries
  ☆84Updated 2 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆57Updated 7 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• 0xPARC / zk-group-sigs
  group signatures implemented with zkSNARKs
  ☆83Updated 2 years ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆42Updated last month
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆69Updated last year
• geometryxyz / cq
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆56Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆40Updated 3 months ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated 8 months ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆90Updated 11 months ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆56Updated 3 weeks ago
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• 0xPolygonHermez / zisk
  ☆33Updated this week
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆63Updated 5 months ago
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆99Updated 3 years ago
• mmaker / zkalc
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆78Updated last month
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆56Updated 4 months ago
• zkp-application / circom-rsa-verify
  Zero Knowledge Proof for RSA
  ☆52Updated last year