{"id":13754477,"url":"https://github.com/0xEigenLabs/eigen-zkvm","last_synced_at":"2025-05-10T00:31:01.681Z","repository":{"id":37962904,"uuid":"479273080","full_name":"0xEigenLabs/eigen-zkvm","owner":"0xEigenLabs","description":"A Rust zkVM with a Modular Proof System","archived":false,"fork":false,"pushed_at":"2025-03-14T17:08:47.000Z","size":79374,"stargazers_count":141,"open_issues_count":17,"forks_count":36,"subscribers_count":6,"default_branch":"main","last_synced_at":"2025-03-14T18:30:16.300Z","etag":null,"topics":["circom","plonk","rust","snarkjs","stark","zkp","zkvm"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/0xEigenLabs.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-04-08T06:34:01.000Z","updated_at":"2025-02-24T05:34:58.000Z","dependencies_parsed_at":"2023-10-12T07:20:28.808Z","dependency_job_id":"ea6e778b-68cc-403b-ba01-876efec64da0","html_url":"https://github.com/0xEigenLabs/eigen-zkvm","commit_stats":null,"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xEigenLabs%2Feigen-zkvm","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xEigenLabs%2Feigen-zkvm/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xEigenLabs%2Feigen-zkvm/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xEigenLabs%2Feigen-zkvm/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/0xEigenLabs","download_url":"https://codeload.github.com/0xEigenLabs/eigen-zkvm/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253346355,"owners_count":21894263,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["circom","plonk","rust","snarkjs","stark","zkp","zkvm"],"created_at":"2024-08-03T10:00:22.834Z","updated_at":"2025-05-10T00:31:01.675Z","avatar_url":"https://github.com/0xEigenLabs.png","language":"Rust","funding_links":[],"categories":["Implementations","Technical details"],"sub_categories":[],"readme":"# eigen-zkvm\n\neigen-zkvm is a zkVM on a layered proof system, allowing the developers to write Zero-knowledge applications, proving with the layered proof system to achieve no trusted setup, constant on-chain proof size and low gas cost, and finally generating the solidity verifier.\n\n- [x] zkit: universal command line for stark, plonk, and groth16.\n\n- [x] Circom 2.x support;\n\n- [x] Proof composition: proof aggregation and recursion on Stark;\n\n- [X] Proof Recursion with Snark on Stark;\n\n- [x] Solidity verifier generation;\n\n- [x] GPU acceleration for proving, not open-sourced;\n\n- [x] Eigen zkVM: basing on RISCV ISA.\n\n## How the layered proof system works\n\n![mixed-proof-system](./docs/mixed-proof-system.png)\n\n## Tutorial\n* Generate universal setup key\n```\nzkit setup -p 13 -s setup_2^13.key\n```\nFor the power from 20 to 26, you can download directly from [universal-setup hub](https://universal-setup.ams3.digitaloceanspaces.com).\n\n* Snark aggregation proof\n\n\u003e [test_aggregation.sh](./test/test_aggregation.sh)\n\n* Stark aggregation proof\n\n\u003e [stark_aggregation.sh yes BN128](./test/stark_aggregation.sh)\n\n\u003e [stark_aggregation.sh yes BLS12381](./test/stark_aggregation.sh)\n\n* Stark proof and recursive stark prove\n\u003e [starky](./starky)\n\n* Layered proof\n\n\u003e [starkjs](./starkjs)\n\n## Applications\n* [Rust zkVM/Risc V/REVM)](https://docs.powdr.org/backends/estark.html)\n* [REVM](https://github.com/powdr-labs/powdr/tree/main/riscv/tests/riscv_data/evm)\n* [zkml-rust](https://github.com/eigmax/zkml-rust)\n* [eigen-secret](https://github.com/0xEigenLabs/eigen-secret)\n* [zk-mixer](https://github.com/0xEigenLabs/zk-mixer)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F0xEigenLabs%2Feigen-zkvm","html_url":"https://awesome.ecosyste.ms/projects/github.com%2F0xEigenLabs%2Feigen-zkvm","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F0xEigenLabs%2Feigen-zkvm/lists"}