Skip to content

SMT Inclusion proof#6

Merged
BertrandD merged 15 commits intomainfrom
smt_inclusion_proof
Mar 5, 2026
Merged

SMT Inclusion proof#6
BertrandD merged 15 commits intomainfrom
smt_inclusion_proof

Conversation

@BertrandD
Copy link
Member

No description provided.

BertrandD and others added 15 commits March 2, 2026 15:33
Replace SHA256Hasher with Poseidon2Hasher in the Rust SMT and rewrite
the Noir circuit hash helpers to use Poseidon2 field-element arrays.
This drastically reduces ZK circuit constraints since Poseidon2 is
native to the BN254 proving backend.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Update compiled circuit JSON, VK, and frontend public copy after
the SHA256 to Poseidon2 hashing migration.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Switch SMT hashing from SHA256 to Poseidon2 (BN254-native)
@BertrandD BertrandD merged commit 96d5fd2 into main Mar 5, 2026
3 of 4 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.

2 participants