diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md new file mode 100644 index 0000000..229aad4 --- /dev/null +++ b/CONTRIBUTING.md @@ -0,0 +1,15 @@ +# Contribution Guidelines + +Please ensure your pull request adheres to the following guidelines: + +- Search previous suggestions before making a new one, as yours may be a duplicate. +- Suggested packages should be tested and documented. +- Make an individual pull request for each suggestion. +- Use the following format: `[PACKAGE](LINK) - DESCRIPTION.` +- New categories, or improvements to the existing categorization are welcome. +- Keep descriptions short and simple, but descriptive. +- End all descriptions with a full stop/period. +- Check your spelling and grammar. +- Make sure your text editor is set to remove trailing whitespace. + +Thank you for your suggestions! diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..2618d34 --- /dev/null +++ b/LICENSE @@ -0,0 +1,21 @@ +MIT License + +Copyright (c) 2024 rkdud007 + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in all +copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE +SOFTWARE. \ No newline at end of file diff --git a/README.md b/README.md new file mode 100644 index 0000000..98f74ce --- /dev/null +++ b/README.md @@ -0,0 +1,76 @@ +
+

Awesome zkVM

+ +A curated list of zkVM, zero-knowledge virtual machine. + +

+ + awesome list badge + + + GitHub contributors + + + pull requests welcome badge + +

+ +
+ +[Contributions](./CONTRIBUTING.md) and suggestions are always welcome; open issues or pull requests with any changes you want to be made. + +# Contents + +- [Projects Repositories](#projects-repositories) +- [Bench](#bench) +- [Papers](#papers) +- [Resources](#resources) +- [Related awesome lists](#related-awesome-lists) + +## Projects Repositories + +- [cairo](https://github.com/lambdaclass/cairo-vm) +- [jolt](https://github.com/a16z/jolt) +- [miden](https://github.com/0xPolygonMiden/miden-vm) +- [nexus](https://github.com/nexus-xyz/nexus-zkvm) +- [o1vm](https://github.com/o1-labs/proof-systems/tree/master/o1vm) +- [olavm](https://github.com/Sin7Y/olavm) +- [powdr](https://github.com/powdr-labs/powdr) +- [risc0](https://github.com/risc0/risc0) +- [sp1](https://github.com/succinctlabs/sp1) +- [sphinx](https://github.com/argumentcomputer/sphinx) + - [eigen zkvm](https://github.com/0xEigenLabs/eigen-zkvm) +- [triton vm](https://github.com/TritonVM/triton-vm) +- [valida](https://github.com/valida-xyz/valida) +- [zkWasm](https://github.com/DelphinusLab/zkWasm) + +## Bench + +- [benchmarks (lita)](https://lita.gitbook.io/lita-documentation/architecture/benchmarks) +- [benchmark (risc0)](https://reports.risczero.com/benchmarks/Linux-cpu) +- [zkvm-benchmarks (a16z)](https://github.com/a16z/zkvm-benchmarks) +- [zkvm perf (succint)](https://github.com/succinctlabs/zkvm-perf) + +## Papers + +- [Cairo – a Turing-complete STARK-friendly CPU architecture](https://eprint.iacr.org/2021/1063.pdf) + +## Resources + +- [A Zero-knowledge paradigm series](https://www.lita.foundation/blog/zero-knowledge-paradigm-zkvm) +- [Lasso + Jolt playlist](https://youtube.com/playlist?list=PLjQ9HCQMu_8xjOEM_vh5p26ODtr-mmGxO&si=Uega8IMg_J8kNaa8) +- [NEW PARADIGM IN ETHEREUM L2 SCALING: MULTI-PROVING AND ZK-VMS](https://www.mikkoikola.com/blog/2023/12/11/new-paradigm-in-ethereum-l2-scaling-multi-proving-and-zk-vms) +- [The Nexus v1.0 zkVM - Daniel Marin (Nexus)](https://www.youtube.com/watch?v=UtzFOwQp8n4) +- [ZK Whiteboard Sessions – Module Seven: Zero Knowledge Virtual Machines (zkVM) with grjte](https://www.youtube.com/watch?v=GRFPGJW0hic) +- [ZK10: Analysis of zkVM Designs - Wei Dai & Terry Chung](https://www.youtube.com/watch?v=tWJZX-WmbeY&t=325s) +- [ZK11: o1VM: Building a Real-World zkVM for MIPS - Danny Willems](https://www.youtube.com/watch?v=HDH2KXRAxAc) +- [ZK12: Memory checking in IVC-based zkVMs - Jens Groth](https://www.youtube.com/watch?v=kzSYNFh4uQ0&list=PLothk45x3HC9Oz4f3e9-OoYUEytfHWCl5) +- [Zeroing into zkVMs](https://taiko.mirror.xyz/e_5GeGGFJIrOxqvXOfzY6HmWcRjCjRyG0NQF1zbNpNQ) +- [zkVM Design Walkthrough with Max and Daniel](https://www.youtube.com/watch?v=aobrJ-zTcAU) + +## Related awesome lists + +- [awesome risc0](https://github.com/inversebrah/awesome-risc0) +- [awesome sp1](https://github.com/gakonst/awesome-sp1) +- [awesome starknet #cryptography-and-maths](https://github.com/keep-starknet-strange/awesome-starknet?tab=readme-ov-file#cryptography-and-maths) +- [awesome zkp](https://github.com/matter-labs/awesome-zero-knowledge-proofs)