{"id":19155145,"url":"https://github.com/starkoracles/zkos","last_synced_at":"2025-04-19T17:31:25.368Z","repository":{"id":63925528,"uuid":"525584697","full_name":"starkoracles/zkos","owner":"starkoracles","description":"Cross-zk-rollup aggregation","archived":false,"fork":false,"pushed_at":"2023-02-17T20:21:58.000Z","size":15159,"stargazers_count":59,"open_issues_count":0,"forks_count":6,"subscribers_count":6,"default_branch":"main","last_synced_at":"2024-11-09T08:37:55.613Z","etag":null,"topics":["starks","zk-framework","zk-rollup","zkproof"],"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/starkoracles.png","metadata":{"files":{"readme":"README.md","changelog":null,"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-08-17T00:25:29.000Z","updated_at":"2024-09-10T18:07:59.000Z","dependencies_parsed_at":"2024-11-09T08:40:31.237Z","dependency_job_id":null,"html_url":"https://github.com/starkoracles/zkos","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/starkoracles%2Fzkos","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/starkoracles%2Fzkos/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/starkoracles%2Fzkos/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/starkoracles%2Fzkos/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/starkoracles","download_url":"https://codeload.github.com/starkoracles/zkos/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249749946,"owners_count":21320050,"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":["starks","zk-framework","zk-rollup","zkproof"],"created_at":"2024-11-09T08:29:15.953Z","updated_at":"2025-04-19T17:31:24.204Z","avatar_url":"https://github.com/starkoracles.png","language":"Rust","readme":"# zkOS - a new cross-proof-system execution layer\n\n[![Twitter URL](https://img.shields.io/twitter/follow/stark_oracle?style=social)](https://twitter.com/stark_oracle)\n\n## What is a zkOS?\n\nA zkOS takes a different approach to most infrastructure projects we are currently seeing. Instead of building a vertical ecosystem, we believe that creating an open layer will enable faster growth and will enable zk to become mainstream faster. We see our zkOS evolving into a protocol which will serve a multitude of core functions necessary for deploying any zk-based dApp:\n\n* Scale - We want to allow apps to achieve scale and cost-effectiveness, by allowing different apps to collaborate and aggregate their proofs into a single final proof to be posted on chain.\n* Interoperability - We are in the early innings of innovation in zk. We believe that creating a unified API for zk will encourage the creation of different approaches which will fit different problems.\n* Batteries included - Most zk libraries aren't ready to deployment, we would like to make it easy and quick to reach production, without needing to rebuild everything yourself.\n\n**It is important to note this code is unaudited and is NOT ready for production use.** We are working very closely with several auditors to turn this prototype into something production ready. \n\n## What is included?\n\nWe chose to showcase how powerful this approach can be by leveraging two leading (and fully open source) implementations -- Winterfell and Risc0. Our main example showcases how **two** Fibonacci proofs (generated by Winterfell) are verified within a Risc0 zkVM. This example shows a roadmap for achieving interoperability and scale -- we can verify zk proofs coming from different systems and aggregate them into a single final proof which can be verified on-chain. \n\n## Roadmap\n\n| Milestone | Goal |\n| --- | --- |\n| Risc0 recursion | Unlocks multi-layer recursion | \n| Deployment of WASM verifier | Start experimenting with on-chain proofs |  \n| Solidity verifier for Risc0 | EVM on-chain proofs |\n| Miden support | Allow full cross-VM interoperability |\n| Integrate MUL Goldilocks accelerator | Performance |\n\n## Benchmarks\n\n(To be added)\n\n## Quickstart\n\n* Ensure you've cloned the repo with all submodules\n* Install rustup\n* This project uses a nightly version of Rust. The rust-toolchain file will be used by cargo to automatically install the correct version.\n* `cd zkos`\n* `cargo run --release` -- please note, compilation time will be high (around 20 minutes on MacBook M1) due to Risc0 circuit size configuration. For development use-cases, feel free to modify [the build configuration](https://github.com/starkoracles/risc0-test/blob/main/zkos/methods/build.rs#L8) to 12.\n\n\n## Security parameters\n\nThe default implementation generates proofs with 82bit security. This is relatively slow to run (around 4 minutes), for development use-cases, feel free to use the cmd parameters to lower security to run faster. Please refer to [security analysis](https://github.com/starkoracles/risc0-test/blob/main/zkos/zkprunner/src/main.rs#L52) (from ethSTARK paper).\n\n## Profiling the execution trace\n\n(To be added)","funding_links":[],"categories":["Ecosystem"],"sub_categories":["Contributors \u0026 Integrations"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstarkoracles%2Fzkos","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstarkoracles%2Fzkos","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstarkoracles%2Fzkos/lists"}