Crate contract_types

Crate contract_types 

Source

Structs§

Groth16Proof
Groth16 proof composed of points A, B, and C. G2 point B uses Soroban’s c1||c0 (imaginary||real) ordering.
VerificationKeyBytes
Groth16 verification key for BN254 curve (byte-oriented). All G2 points use Soroban’s c1||c0 (imaginary||real) ordering.

Enums§

Groth16Error
Errors that can occur during Groth16 proof verification.

Constants§

FIELD_ELEMENT_SIZE
Size of a single BN254 field element in bytes.
G1_SIZE
Size of a G1 point
G2_SIZE
Size of a G2 point
PROOF_SIZE
Total proof size: A (G1) || B (G2) || C (G1) = 64 + 128 + 64 = 256 bytes.

Statics§

__SPEC_XDR_TYPE_GROTH16ERROR
__SPEC_XDR_TYPE_GROTH16PROOF
__SPEC_XDR_TYPE_VERIFICATIONKEYBYTES