Skip to content

Upgrade spongefish#16

Merged
martyall merged 6 commits intomainfrom
upgrade-spongefish
Nov 30, 2025
Merged

Upgrade spongefish#16
martyall merged 6 commits intomainfrom
upgrade-spongefish

Conversation

@martyall
Copy link
Member

No description provided.

martyall and others added 2 commits November 28, 2025 22:53
- Remove imports of deleted domain separator traits (OpeningProofDomainSeparator, CircuitProofDomainSeparator, etc.)
- Replace old spongefish imports (ProofError, codecs) with minimal setup
- Use domain_separator!() macro with .instance(&0u8) for basic functionality
- Update prove functions to extract proofs from prover_state.narg_string()
- Remove manual .unwrap() calls since prove functions now return Vec<u8> directly
- Remove unused imports and unnecessary mutable variables
- Simplify batch verification to individual verification for benchmarking purposes

All benchmark files now compile successfully with the new spongefish API patterns.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
@martyall martyall force-pushed the upgrade-spongefish branch 2 times, most recently from 6a23457 to 50c7c88 Compare November 29, 2025 07:56
@martyall martyall merged commit bb38a6e into main Nov 30, 2025
2 checks passed
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