feat(g16gen, g16ckt): expose groth16 verify over gnark proof#41

Draft

manishbista28 wants to merge 9 commits intomainfrom

feat/verify_gnark_proof_format

Commits on Dec 1, 2025

Commits on Dec 15, 2025

Commits on Dec 16, 2025

add is_on_curve check for uncompressed proof api groth16_verify
manishbista28
committed
Merge branch 'feat/hash_add_blake3_module' into audit/g1_g2_point_decompress_validity
manishbista28
committed
init sp1 raw public input to verifier
manishbista28
committed

Commits on Dec 17, 2025