Skip to content

feat: add v6.0.0-rc.1 verifier contracts#69

Closed
fakedev9999 wants to merge 1 commit intomainfrom
fakedev9999/v6-contracts
Closed

feat: add v6.0.0-rc.1 verifier contracts#69
fakedev9999 wants to merge 1 commit intomainfrom
fakedev9999/v6-contracts

Conversation

@fakedev9999
Copy link
Member

Summary

  • Add v6.0.0-rc.1 Groth16 and Plonk verifier contracts generated from corrected S3 artifacts
  • Update sp1-sdk dependency to multilinear_v6 branch with async try_install_circuit_artifacts
  • Add deployment scripts for v6.0.0-rc.1
  • Fix VK_ROOT 33-byte encoding (trimmed leading byte to fit bytes32)

Changes

  • Cargo.toml: sp1-sdk → git dep from sp1-wip multilinear_v6, add tokio
  • src/bin/artifacts.rs: async main with #[tokio::main], .await?
  • contracts/src/v6.0.0-rc.1/: auto-generated verifier contracts
  • contracts/script/deploy/v6.0.0-rc.1/: deployment scripts from v2.0.0 template

Test plan

  • forge build passes
  • forge test passes (16/16 existing tests)
  • Verified contract naming (Groth16Verifier, PlonkVerifier)
  • Verified this.Verify internal call pattern
  • Verified pragma solidity ^0.8.20
  • VK_ROOT is valid bytes32 (32 bytes)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant