Module compression

Groth16 proof compression

Ported from https://github.com/worldcoin/world-id-state-bridge/blob/main/src/SemaphoreVerifier.sol

Based upon work in https://xn–2-umb.com/23/bn254-compression/

Structs

CompressedProof

EXP_INVERSE_FP

Exponent for the inverse in Fp

EXP_SQRT_FP

Exponent for the square root in Fp

Constants

FOUR

ONE

P

Base field Fp order P

THREE

TWO

Functions

compress_g1

compress_g2

Compresses the

compress_proof

decompress_g1

decompress_g2

decompress_proof