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
• pluto / caratls
  Browser-based Remote Attestation to TDX
  ☆18Updated 11 months ago
• protolambda / dv5das
  Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay
  ☆35Updated 4 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated 2 years ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆92Updated 3 years ago
• flashbots / poc_flashbox
  ☆64Updated 3 weeks ago
• succinctlabs / sp1-tee
  ☆26Updated 4 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated 2 years ago
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆79Updated 2 years ago
• crema-labs / sxg-sp1
  Web Proofs using zk-SXG
  ☆30Updated last year
• gballet / verkle-block-sample
  ☆39Updated 3 years ago
• jsign / eth-stateless
  Ethereum stateless tools
  ☆45Updated 9 months ago
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆32Updated 2 years ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• PufferFinance / rave
  Remote Attestation VErification
  ☆35Updated last year
• amiller / dstack-vm
  ☆26Updated last year
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated 2 months ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆60Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆51Updated 2 years ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• dappnetbby / eth-verifiable-rpc
  Verifiable RPC for Ethereum state, in-browser, no node
  ☆44Updated 2 years ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆37Updated this week
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆73Updated 3 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆34Updated last year
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• iden3 / circom-witnesscalc
  ☆21Updated last week