Dstack-TEE / dstack-examplesLinks
examples and utilities of Dstack applications
☆17Updated 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☆69Updated last year
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆24Updated this week
- PoC of Revm execution in SGX☆80Updated last year
- Email verification circuit in halo2☆68Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆64Updated 6 months ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 2 years ago
- Ethereum stateless tools☆45Updated 3 months ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- A port of TinySMPC into Rust.☆23Updated last year
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated last year
- ☆47Updated 3 years ago
- ☆39Updated 2 years ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- ☆26Updated last year
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- Batch ECDSA in circom☆34Updated 3 years ago
- Like Safe... but secret 🥷🏽☆62Updated 7 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- RLN circuits in Circom☆30Updated last year