{"id":25244199,"url":"https://github.com/martincastroalvarez/zk-proof","last_synced_at":"2026-04-04T20:32:57.244Z","repository":{"id":286341602,"uuid":"933903922","full_name":"MartinCastroAlvarez/zk-proof","owner":"MartinCastroAlvarez","description":"Risc Zero Rust App","archived":false,"fork":false,"pushed_at":"2025-02-17T17:31:21.000Z","size":3709,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-05T20:44:23.154Z","etag":null,"topics":["docker","risc-v","risczero","rust","zero-knowledge","zero-knowledge-proofs","zkvm"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MartinCastroAlvarez.png","metadata":{},"created_at":"2025-02-16T23:51:20.000Z","updated_at":"2025-02-17T17:31:24.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/MartinCastroAlvarez/zk-proof","commit_stats":null,"previous_names":["martincastroalvarez/zk-proof"],"tags_count":null,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MartinCastroAlvarez%2Fzk-proof","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MartinCastroAlvarez%2Fzk-proof/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MartinCastroAlvarez%2Fzk-proof/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MartinCastroAlvarez%2Fzk-proof/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MartinCastroAlvarez","download_url":"https://codeload.github.com/MartinCastroAlvarez/zk-proof/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247399885,"owners_count":20932876,"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":["docker","risc-v","risczero","rust","zero-knowledge","zero-knowledge-proofs","zkvm"],"created_at":"2025-02-12T01:18:01.782Z","updated_at":"2025-12-30T22:20:11.932Z","avatar_url":"https://github.com/MartinCastroAlvarez.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"# zero-knowledge-proof\n\nSmart Contract Development with RISC Zero Integration\n\n![lock2.jpg](./lock2.jpg)\n\n## Overview\n\nThis project lets you create and verify zero-knowledge proofs using both blockchain and regular web technologies.\n\nTODO: Write a comprehensive overview of the project.\n\n## References\n\n- [RISC Zero Ethereum](https://github.com/risc0/risc0-ethereum) - RISC Zero's Ethereum integration\n- [RISC Zero API Documentation](https://dev.risczero.com/api) - Official RISC Zero API docs\n- [Alloy](https://github.com/alloy-rs) - Rust Ethereum development framework\n- [Anvil](https://book.getfoundry.sh/anvil/) - Local Ethereum node for development and testing\n\n## Documentation\n\n- [Local Setup](./INSTALLATION.md) - How to setup the project\n- [Contracts](./CONTRACTS.md) - The smart contracts that run on the blockchain.\n- [Rust API Documentation](./API.md) - API Documentation\n- [Lint, Test, \u0026 Build](./BUILD.md) - How to lint, run unit tests, and build the project\n- [Deployment \u0026 Monitoring](./DEPLOYMENT.md) - How to deploy and monitor the project\n- [Functional Tests](./TESTING.md) - How to run the functional tests once deployed\n\n## Project Tree\n\n```bash\n/\n├── circuit/\n│ ├── src/\n│ │ ├── auth.rs # The Rust code for handling authentication.\n│ │ ├── contracts.rs # The Rust code for managing smart contract interactions and deployments.\n│ │ ├── main.rs # Defines the Web Server, logging, CORS, etc.\n│ │ ├── routes.rs # Defines the routing logic for the web server, mapping endpoints to their respective handlers.\n│ │ ├── files.rs # Defines the logic for handling common file operations.\n│ │ ├── security.rs # Implements verification key management.\n│ │ ├── telemetry.rs # Implements OpenTelemetry for tracing and monitoring.\n│ │ ├── proof.rs # Contains the logic for generating and verifying zero-knowledge proofs.\n│ ├── Cargo.toml\n│ ├── foundry.toml \n│ ├── ZkManager.sol # The smart contract for managing the zero-knowledge proofs\n│ ├── ZkVerifier.sol # The smart contract for verifying the zero-knowledge proofs\n│ ├── Dockerfile # Dockerfile for the Rust API\n├── infra/\n│ ├── grafana/ # Grafana configuration for monitoring\n│ ├── prometheus.yml # Prometheus configuration for monitoring\n│ ├── start-anvil.sh # Script to start the local Anvil blockchain\n│ ├── Dockerfile # Dockerfile for the Anvil container\n```\n\n![lock1.jpg](./lock1.jpg)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmartincastroalvarez%2Fzk-proof","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmartincastroalvarez%2Fzk-proof","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmartincastroalvarez%2Fzk-proof/lists"}