Skip to content

Comments

feat: zk#9

Draft
markosg04 wants to merge 3 commits intomainfrom
feat/zk
Draft

feat: zk#9
markosg04 wants to merge 3 commits intomainfrom
feat/zk

Conversation

@markosg04
Copy link
Collaborator

No description provided.

markosg04 and others added 3 commits January 19, 2026 14:08
* 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
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.

2 participants