Dstack-TEE / dstack-examples
examples and utilities of Dstack applications
☆15Updated this week
Alternatives and similar repositories for dstack-examples:
Users that are interested in dstack-examples are comparing it to the libraries listed below
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆17Updated last month
- Axiom smart contracts☆26Updated last year
- Celestia derivation pipeline and proof crate built with kona☆14Updated this week
- A port of TinySMPC into Rust.☆22Updated last year
- A curated list of resources on zkECDSA☆37Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- ☆17Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- ☆26Updated last year
- AWS Nitro enclave attestation verifier in Solidity, used by:☆17Updated 2 months ago
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆40Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- ☆34Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- On-chain Ethereum light client built with SP1☆48Updated 2 weeks ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Breathe air☆23Updated 11 months ago
- ☆24Updated 7 months ago
- Groth16 verifier in EVM☆21Updated last year
- ☆33Updated last year
- Ethereum stateless tools☆46Updated 3 weeks ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆64Updated 3 months ago
- ☆50Updated last year