Skip to content

feat: Add Structural Guards for BN254 Parsing (ZK-075)#441

Open
serfersac wants to merge 1 commit intoANAVHEOBA:mainfrom
serfersac:feat/zk-structural-guards
Open

feat: Add Structural Guards for BN254 Parsing (ZK-075)#441
serfersac wants to merge 1 commit intoANAVHEOBA:mainfrom
serfersac:feat/zk-structural-guards

Conversation

@serfersac
Copy link
Copy Markdown

Resolves #351. Implemented strict structural validation for proofs, Verifying Keys (VK), and public inputs in the offline verification path. This prevents malformed data from triggering parser panics.

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.

ZK-075: Add structural guards for proof, VK, and public-input shapes before BN254 parsing

1 participant