{"id":24016924,"url":"https://github.com/lita-xyz/reva","last_synced_at":"2025-09-14T17:31:06.578Z","repository":{"id":269475161,"uuid":"905423382","full_name":"lita-xyz/reva","owner":"lita-xyz","description":"A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.","archived":false,"fork":false,"pushed_at":"2025-06-16T13:43:50.000Z","size":46608,"stargazers_count":13,"open_issues_count":2,"forks_count":7,"subscribers_count":4,"default_branch":"main","last_synced_at":"2025-06-16T14:46:06.177Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":false,"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/lita-xyz.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE-APACHE","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":"2024-12-18T19:50:19.000Z","updated_at":"2025-06-04T10:56:16.000Z","dependencies_parsed_at":"2025-03-14T13:34:44.211Z","dependency_job_id":"e1223dd7-3890-4ddf-b2da-468e66c4d2dd","html_url":"https://github.com/lita-xyz/reva","commit_stats":null,"previous_names":["lita-xyz/reva"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/lita-xyz/reva","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lita-xyz%2Freva","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lita-xyz%2Freva/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lita-xyz%2Freva/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lita-xyz%2Freva/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/lita-xyz","download_url":"https://codeload.github.com/lita-xyz/reva/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lita-xyz%2Freva/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":275139269,"owners_count":25412218,"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-09-14T02:00:10.474Z","response_time":75,"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":[],"created_at":"2025-01-08T09:01:03.262Z","updated_at":"2025-09-14T17:31:06.548Z","avatar_url":"https://github.com/lita-xyz.png","language":"Rust","funding_links":[],"categories":["Layer 2 ##"],"sub_categories":[],"readme":"# Reth Valida (ReVa)\n\nA minimal implementation of generating zero-knowledge proofs of EVM block execution using [Reth](https://github.com/paradigmxyz/reth). Supports both Ethereum and OP Stack.\n\n\u003e [!CAUTION]\n\u003e\n\u003e This repository is still an active work-in-progress and is not audited or meant for production usage.\n\n### Attribution\n\nThe basis for this work is the existing ['RSP' project](https://github.com/succinctlabs/rsp) by Succinct Labs.\n\n## Getting Started\n\nTo use ReVa, you must first have [the Valida tools](https://github.com/lita-xyz/valida-releases) installed, which includes the Valida VM and Rust compiler. Then follow the instructions below.\n\n### Building the Host application\n\nIn the directory bin/host, run:\n\n```console\ncargo +valida build --target=x86_64-unknown-linux-gnu\n```\n\nthis will build the binary `bin/host/target/release/reva` for your host architecture.\n\n### Running the Host application\n\nRunning the host application will generate an input file to be used by the target/client application. Simply supply a block number, a chain ID (1 for ethereum, 10 for OP), and an RPC URL:\n\n```console\n./bin/host/target/release/reva --block-number 20000005 --chain-id 1 --rpc-url \u003cRPC\u003e\n```\n\nThe host application executes the block while fetching additional data necessary for offline execution. All the data required to run the execution and verification logic inside the Valida VM is serialized into a file `bin/host/input/\u003cchain_id\u003e/\u003cblock_no\u003e.bin`.\n\nYou can also run the host directly by running the following command:\n\n```bash\ncargo run --bin reva --release -- --block-number 20000005 --chain-id 1 --rpc-url \u003cRPC\u003e\n```\n\n### Using client input\n\nThe client input generated by executing against RPC can be used by the respective target/client applications. To build these applications for the Valida VM, use the following commands:\n\n#### Eth client\n\n```bash\ncd bin/client-eth\ncargo +valida build --target=valida-unknown-baremetal-gnu --release\n```\n\n#### OP client\n\n```bash\ncd bin/client-op\ncargo +valida build --target=valida-unknown-baremetal-gnu --release\n```\n\n#### Running/proving\n\nTo run each client application on the given input, simply use `valida run` like so:\n\n```bash\nvalida run --fast target/valida-unknown-baremetal-gnu/release/reva-client-{op,eth} log \u003c bin/host/input/\u003cchain_id\u003e/\u003cblock_no\u003e.bin\n```\n\nTo prove, use:\n\n```bash\nvalida prove target/valida-unknown-baremetal-gnu/release/reva-client-{op,eth} log \u003c bin/host/input/\u003cchain_id\u003e/\u003cblock_no\u003e.bin\n```\n\n## Issue reporting\n\nAny issues report at https://github.com/lita-xyz/valida-releases/issues\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flita-xyz%2Freva","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flita-xyz%2Freva","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flita-xyz%2Freva/lists"}