Dstack-TEE / dstack-examplesLinks
examples and utilities of Dstack applications
☆15Updated last week
Alternatives and similar repositories for dstack-examples
Users that are interested in dstack-examples are comparing it to the libraries listed below
Sorting:
- ☆19Updated this week
- Axiom smart contracts☆26Updated last year
- Ethereum stateless tools☆45Updated last month
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Writing MACI circuits in Noir☆16Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Browser-based Remote Attestation to TDX☆15Updated 3 months ago
- A curated list of resources on zkECDSA☆36Updated last year
- ☆33Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆40Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- MNIST image classification neural network implemented entirely on the EVM☆29Updated 2 months ago
- Behold the almighty 🗿totem🗿☆18Updated 8 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- ☆34Updated last year
- Like Safe... but secret 🥷🏽☆60Updated 4 months ago
- A port of TinySMPC into Rust.☆22Updated last year
- ☆65Updated 4 months ago
- ☆33Updated last year
- ☆26Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- client side proving☆30Updated 2 months ago
- Trust-minimized commitment pools with zkSNARKs☆39Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Groth16 verifier in EVM☆21Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆48Updated 3 months ago
- Breathe air☆24Updated last year