Skip to main content

Specialized functions

Pact includes several built-in functions that are intended for very specific use cases, such as integrating with other tools and working with zero knowledge proofs.

Commitments

Simple payment verification

  • verify-spv Perform a platform-specific simplified payment verification (SPV) proof.

Zero knowledge (ZK) built-in functions

  • pairing-check Perform pairing and final exponentiation on points for a zero knowledge proof.

  • point-add Add two points together for a zero knowledge proof.

  • scalar-mult Multiply a point by an integer value for a zero-knowledge proof.