Dstack-TEE / dstack

Related projects ⓘ

Alternatives and complementary repositories for dstack

• automata-network / automata-dcap-v3-attestation
  ☆23Updated last month
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆20Updated last year
• automata-network / tee-builder
  ☆26Updated 11 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 4 months ago
• flashbots / geth-sgx-gramine
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆71Updated 7 months ago
• automata-network / sgx-prover
  SGX implementation of the TEE prover used in the Automata Multi-Prover AVS
  ☆20Updated 3 weeks ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆32Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated 11 months ago
• anonklub / anonklub
  Anonymous Proof of Ethereum Address Ownership
  ☆39Updated last month
• amiller / dstack-vm
  ☆13Updated last month
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• zkemail / halo2-regex
  Library and gadget to do regex string matches in halo2
  ☆35Updated 3 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆34Updated 9 months ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆55Updated this week
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆38Updated 4 months ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆28Updated 5 months ago
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆56Updated 4 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 6 months ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆48Updated last year
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆86Updated 2 years ago
• asonnino / arke
  Decentralised Privacy-Preserving Contact Discovery
  ☆18Updated last year
• 0xSage / thaler
  ☆27Updated 2 years ago
• Maddiaa0 / honk-verifier
  Honk Verifier in Solidity
  ☆49Updated last month
• geometryxyz / secp256k1_hash_to_curve
  ☆32Updated last year