zk integration#10
Merged
Merged
Conversation
- Add ArkDoryProof y_com/y_blinding field accessors - Add ArkGT/ArkG1 serialization for transcript binding - Fix typo in transcript.rs - Fix clippy warnings in derive crate
y_blinding was never used by verifier but was being serialized, leaking the blinding factor. Now returned separately from prove().
Destructure (proof, _) tuple from prove() and create_evaluation_proof() which now return (DoryProof, Option<F>). Also add #[cfg(feature = "disk-persistence")] guards to tests using load_setup/save_setup.
ZK mode serializes additional fields (h1_g2_fin) making the URS format
incompatible. Now uses dory_{n}_zk.urs for ZK mode.
markosg04
approved these changes
Jan 28, 2026
markosg04
pushed a commit
that referenced
this pull request
Feb 27, 2026
* feat: add ZK support for Jolt integration
- Add ArkDoryProof y_com/y_blinding field accessors
- Add ArkGT/ArkG1 serialization for transcript binding
- Fix typo in transcript.rs
- Fix clippy warnings in derive crate
* fix: remove y_blinding from proof serialization
y_blinding was never used by verifier but was being serialized,
leaking the blinding factor. Now returned separately from prove().
* fix: update tests for new prove/create_evaluation_proof return type
Destructure (proof, _) tuple from prove() and create_evaluation_proof()
which now return (DoryProof, Option<F>). Also add #[cfg(feature =
"disk-persistence")] guards to tests using load_setup/save_setup.
* fix: use separate URS paths for ZK and non-ZK modes
ZK mode serializes additional fields (h1_g2_fin) making the URS format
incompatible. Now uses dory_{n}_zk.urs for ZK mode.
* chore: format code for CI compatibility
* fix: update examples and benches for new prove return type
* style: add empty .rustfmt.toml for CI consistency
markosg04
pushed a commit
that referenced
this pull request
Feb 27, 2026
* feat: add ZK support for Jolt integration
- Add ArkDoryProof y_com/y_blinding field accessors
- Add ArkGT/ArkG1 serialization for transcript binding
- Fix typo in transcript.rs
- Fix clippy warnings in derive crate
* fix: remove y_blinding from proof serialization
y_blinding was never used by verifier but was being serialized,
leaking the blinding factor. Now returned separately from prove().
* fix: update tests for new prove/create_evaluation_proof return type
Destructure (proof, _) tuple from prove() and create_evaluation_proof()
which now return (DoryProof, Option<F>). Also add #[cfg(feature =
"disk-persistence")] guards to tests using load_setup/save_setup.
* fix: use separate URS paths for ZK and non-ZK modes
ZK mode serializes additional fields (h1_g2_fin) making the URS format
incompatible. Now uses dory_{n}_zk.urs for ZK mode.
* chore: format code for CI compatibility
* fix: update examples and benches for new prove return type
* style: add empty .rustfmt.toml for CI consistency
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
CanonicalSerialize/CanonicalDeserializefor ZK proof types(proof, y_blinding)from prove API for Jolt integrationChanges
ark_serde.rs: serialization forSigma1Proof,Sigma2Proof,ScalarProductProof, setup wrappersevaluation_proof.rs: return y_blinding alongside proofsetup.rs: ZK mode usesdory_{n}_zk.ursfilename