SIMD-0302

BN254 G2 Arithmetic Syscalls

solana L1 primitive review BN254

Native status: Review
Enables: Advanced ZK verification
Specification: https://github.com/solana-foundation/solana-improvement-documents/blob/main/proposals/0302-bn254-g2-syscalls.md

Extends sol_alt_bn128_group_op with native G2 curve arithmetic (addition, subtraction, and scalar multiplication) on BN254, which otherwise must run in BPF at roughly ten to twenty times the cost; required for advanced ZK verification methods and batch proof verification.

Implementations

No audited implementation is catalogued for this entry yet.

Relationships

Depends on: SIMD-0129