https://github.com/martincastroalvarez/zk-proof
Risc Zero Rust App
https://github.com/martincastroalvarez/zk-proof
docker risc-v risczero rust zero-knowledge zero-knowledge-proofs zkvm
Last synced: 2 months ago
JSON representation
Risc Zero Rust App
- Host: GitHub
- URL: https://github.com/martincastroalvarez/zk-proof
- Owner: MartinCastroAlvarez
- Created: 2025-02-16T23:51:20.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-02-17T17:31:21.000Z (over 1 year ago)
- Last Synced: 2025-04-05T20:44:23.154Z (about 1 year ago)
- Topics: docker, risc-v, risczero, rust, zero-knowledge, zero-knowledge-proofs, zkvm
- Language: Rust
- Homepage:
- Size: 3.54 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
Awesome Lists containing this project
README
# zero-knowledge-proof
Smart Contract Development with RISC Zero Integration
## Overview
This project lets you create and verify zero-knowledge proofs using both blockchain and regular web technologies.
TODO: Write a comprehensive overview of the project.
## References
- [RISC Zero Ethereum](https://github.com/risc0/risc0-ethereum) - RISC Zero's Ethereum integration
- [RISC Zero API Documentation](https://dev.risczero.com/api) - Official RISC Zero API docs
- [Alloy](https://github.com/alloy-rs) - Rust Ethereum development framework
- [Anvil](https://book.getfoundry.sh/anvil/) - Local Ethereum node for development and testing
## Documentation
- [Local Setup](./INSTALLATION.md) - How to setup the project
- [Contracts](./CONTRACTS.md) - The smart contracts that run on the blockchain.
- [Rust API Documentation](./API.md) - API Documentation
- [Lint, Test, & Build](./BUILD.md) - How to lint, run unit tests, and build the project
- [Deployment & Monitoring](./DEPLOYMENT.md) - How to deploy and monitor the project
- [Functional Tests](./TESTING.md) - How to run the functional tests once deployed
## Project Tree
```bash
/
├── circuit/
│ ├── src/
│ │ ├── auth.rs # The Rust code for handling authentication.
│ │ ├── contracts.rs # The Rust code for managing smart contract interactions and deployments.
│ │ ├── main.rs # Defines the Web Server, logging, CORS, etc.
│ │ ├── routes.rs # Defines the routing logic for the web server, mapping endpoints to their respective handlers.
│ │ ├── files.rs # Defines the logic for handling common file operations.
│ │ ├── security.rs # Implements verification key management.
│ │ ├── telemetry.rs # Implements OpenTelemetry for tracing and monitoring.
│ │ ├── proof.rs # Contains the logic for generating and verifying zero-knowledge proofs.
│ ├── Cargo.toml
│ ├── foundry.toml
│ ├── ZkManager.sol # The smart contract for managing the zero-knowledge proofs
│ ├── ZkVerifier.sol # The smart contract for verifying the zero-knowledge proofs
│ ├── Dockerfile # Dockerfile for the Rust API
├── infra/
│ ├── grafana/ # Grafana configuration for monitoring
│ ├── prometheus.yml # Prometheus configuration for monitoring
│ ├── start-anvil.sh # Script to start the local Anvil blockchain
│ ├── Dockerfile # Dockerfile for the Anvil container
```
