Closed ratankaliani closed 4 months ago
The recent changes introduce a new submodule sp1-contracts
, update import paths, and modify dependencies across various files. Key updates include reorganizing proof generation commands, adjusting Solidity contract imports, updating verification keys and proofs, and switching proof methods in a Rust script. These updates aim to streamline the development process and ensure compatibility with the latest versions of dependencies and tools.
File(s) | Summary |
---|---|
.gitmodules |
Added submodule declaration for sp1-contracts . |
README.md |
Reorganized commands for generating and verifying proofs. |
contracts/lib/sp1-contracts |
Added new submodule with commit 2ca7f3b36b43423492012c5f7be01b31d0d5b3dc . |
contracts/remappings.txt |
Introduced remapping directive for sp1-contracts . |
contracts/src/Fibonacci.sol |
Updated import path for SP1Verifier ; minor formatting changes. |
contracts/src/fixtures/fixture.json |
Updated vkey and proof field values. |
contracts/test/Fibonacci.t.sol |
Updated import path for SP1Verifier . |
program/Cargo.toml |
Updated sp1-zkvm dependency to version 1.0.4-testnet . |
script/Cargo.toml |
Added [workspace] , updated sp1-sdk and sp1-helper dependencies. |
script/src/bin/prove.rs |
Changed proof generation method to prove_plonk . |
sequenceDiagram
participant Dev as Developer
participant Repo as Repository
participant Contracts as Contracts
participant Script as Script
Dev->>Repo: Add sp1-contracts submodule
Repo->>Contracts: Update import paths for SP1Verifier
Contracts->>Script: Update proof generation method to prove_plonk
Script->>Contracts: Generate proof using prove_plonk
Contracts->>Repo: Commit updates to vkey and proof in fixture.json
In the code where changes bloom, New paths set to clear the gloom. Proofs now plonk, no longer groth, Dependencies updated, nothing lost. Submodules join the fray, Streamlined work, a brighter day.
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?
sp1-contracts
for importing the SP1 verifiers.sp1
.