Dstack-TEE / dstack-examplesLinks
examples and utilities of dstack applications
☆21Updated 2 weeks ago
Alternatives and similar repositories for dstack-examples
Users that are interested in dstack-examples are comparing it to the libraries listed below
Sorting:
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- ☆26Updated 4 months ago
- Arkworks circuits for verifiable time-lock encryption☆92Updated 3 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 4 years ago
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- A port of TinySMPC into Rust.☆22Updated 2 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Email verification circuit in halo2☆68Updated last year
- ☆64Updated 3 weeks ago
- ☆39Updated 3 years ago
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- ☆45Updated 9 months ago
- ☆26Updated last year
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆36Updated 4 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- An implementation of a namespaced merkle tree in Rust.☆32Updated 7 months ago
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- PoC of Revm execution in SGX☆79Updated 2 years ago
- RISC-V interactive fault proof tech☆108Updated 2 months ago
- Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.☆44Updated last year
- ☆26Updated 2 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- Cryptographic protocols☆38Updated 2 years ago
- Browser-based Remote Attestation to TDX☆18Updated last year
- Verifiable RPC for Ethereum state, in-browser, no node☆44Updated 2 years ago