Dstack-TEE / dstack-examples
examples and utilities of Dstack applications
☆14Updated last week
Alternatives and similar repositories for dstack-examples:
Users that are interested in dstack-examples are comparing it to the libraries listed below
- Celestia derivation pipeline and proof crate built with kona☆13Updated this week
- ☆17Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆17Updated 2 weeks ago
- Axiom smart contracts☆26Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year
- On-chain Ethereum light client built with SP1☆45Updated last week
- ☆34Updated last year
- RLN circuits in Circom☆29Updated 9 months ago
- A curated list of resources on zkECDSA☆37Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- Groth16 verifier in EVM☆21Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Base64 encoding for Aztec's noir language☆16Updated last year
- Ethereum stateless tools☆46Updated 2 weeks ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Polynomial Expression Engine☆35Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 4 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆16Updated 5 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated 10 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated last week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆19Updated 2 years ago