Add BN254 and BLS12-381 Groth16 verifier (Circom, Gnark, and Arkworks) - #396

Open

mysteryon88 wants to merge 16 commits into

stellar:mainfrom

mysteryon88-forks:main

Commits on Jul 27, 2026

add Soroban Groth16 verifier generator
mysteryon88
committed
cc2f60c
Update groth16_verifier_gen/Cargo.toml

mysteryon88
and
Copilot
committed
e496f80
Update groth16_verifier_gen/contracts/gnark_verifier/src/test.rs

mysteryon88
and
Copilot
committed
d0081a6
fix copilot comments
mysteryon88
committed
60ef054
removed duplicate repository, updated existing example
mysteryon88
committed
188ad5d
fix copilot
mysteryon88
committed
55b6bf6
added bn254 example for gnark
mysteryon88
committed
4dc1b89
Update README and dependencies for groth16_verifier
mysteryon88
committed
8589777
fix: replace deprecated Soroban curve aliases in verifier tests and bump versions
mysteryon88
committed
561d322
Potential fix for pull request finding

mysteryon88
and
Copilot
committed
b3aae58
bump deps
mysteryon88
committed
757b40e
refactor: split groth16 verifier by curve and move fixtures into contract tests
mysteryon88
committed
1fee003
fix makefiles and tests
mysteryon88
committed
b1965a5
fix: update Groth16 verifiers for Soroban SDK 27
mysteryon88
committed
4bef588

Commits on Aug 5, 2026

fix(verifier): reject non-canonical Groth16 public inputs
mysteryon88
committed
1c90909
Merge branch 'stellar:main' into main
mysteryon88
authored
0eb3485