Alternatives and similar repositories for dstack-examples

Users that are interested in dstack-examples are comparing it to the libraries listed below

• succinctlabs / sp1-tee
  ☆24Updated last week
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated 2 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 3 months ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆35Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• 0xprames / nitro-revm
  PoC of Revm execution in a Nitro Enclave
  ☆29Updated last year
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated 8 months ago
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆28Updated 8 months ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆23Updated last year
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆67Updated last year
• automata-network / tee-builder
  ☆26Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• iden3 / circom-witnesscalc
  ☆15Updated this week
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆30Updated last year
• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆28Updated 3 months ago
• base / nitro-validator
  AWS Nitro enclave attestation verifier in Solidity, used by:
  ☆17Updated last month
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆25Updated 9 months ago