amiller / dstack-vmLinks
☆24Updated 9 months ago
Alternatives and similar repositories for dstack-vm
Users that are interested in dstack-vm are comparing it to the libraries listed below
Sorting:
- Benchmarking Polynomial Commitments☆49Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- For practice to using halo2☆22Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- polynomial commitments from linear codes☆45Updated 6 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆28Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 6 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- Mozak RISC-V Virtual Machine