{"id":29840553,"url":"https://github.com/0xeigenlabs/eigen-zkvm","last_synced_at":"2025-07-29T14:16:55.966Z","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-07-24T02:00:45.000Z","size":79261,"stargazers_count":142,"open_issues_count":14,"forks_count":39,"subscribers_count":6,"default_branch":"main","last_synced_at":"2025-07-24T05:36:28.364Z","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,"zenodo":null}},"created_at":"2022-04-08T06:34:01.000Z","updated_at":"2025-07-24T02:00:50.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,"purl":"pkg:github/0xEigenLabs/eigen-zkvm","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","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/0xEigenLabs%2Feigen-zkvm/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":267701656,"owners_count":24130458,"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","status":"online","status_checked_at":"2025-07-29T02:00:12.549Z","response_time":2574,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":"2025-07-29T14:16:38.524Z","updated_at":"2025-07-29T14:16:55.945Z","avatar_url":"https://github.com/0xEigenLabs.png","language":"Rust","funding_links":[],"categories":[],"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"}