Alternatives and similar repositories for dstack-examples

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

• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆91Updated 3 years ago
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆35Updated 3 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated 2 years ago
• succinctlabs / sp1-tee
  ☆26Updated last month
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 7 months ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆61Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last week
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• flashbots / flashbox
  ☆64Updated 10 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆107Updated 6 months ago
• amiller / dstack-vm
  ☆25Updated last year
• ChorusOne / tendermint-sol
  Tendermint in Solidity
  ☆61Updated 3 years ago
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated last year
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• vlayer-xyz / noir-base64
  Base64 encoding for Aztec's noir language
  ☆16Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆36Updated this week
• spire-labs / litepaper
  Spire Labs' litepaper (it's pretty based bro)
  ☆16Updated last year
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆44Updated 2 years ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆35Updated last year
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆70Updated 3 weeks ago
• ChainSafe / Zipline-lightclient
  Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation
  ☆30Updated 3 years ago
• init4tech / zenith-rs
  rust types and services for Zenith 🎀
  ☆29Updated 8 months ago
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆32Updated last year
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆34Updated 3 years ago
• JohnRising / 4337-bundler-working-group
  Notes from the ERC-4337 bundler working group
  ☆20Updated 2 years ago