amiller / dstack-vmLinks
☆25Updated last year
Alternatives and similar repositories for dstack-vm
Users that are interested in dstack-vm are comparing it to the libraries listed below
Sorting:
- ☆45Updated 6 months ago
- Browser-based Remote Attestation to TDX☆15Updated 9 months ago
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Crypto Gadgets for Plonky2☆74Updated last year
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆85Updated 2 months ago
- A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
- On-chain Ethereum light client built with SP1☆76Updated 3 weeks ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆63Updated 2 weeks ago
- Simple implementation of KZG commitments in C☆36Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- KZG commitments over BLS12-381☆36Updated 3 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- For practice to using halo2☆23Updated 2 years ago
- RISC-V interactive fault proof tech☆107Updated 6 months ago
- DPC with Universal Setup☆46Updated 2 years ago
- A Risc-V CPU implemented as a zk-SNARK☆51Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆27Updated 11 months ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Testudo: Spartan + Groth16☆53Updated last year