zisklib

ZiskLib is the high-level safe layer over the VM syscalls. Each function dispatches to a dedicated state machine inside the zkVM, covering hash functions and elliptic curve arithmetic for secp256k1, secp256r1, BN254, and BLS12-381.

Reference

Hash

SHA-256, Keccak-256, and BLAKE2b compression. Safe wrappers over the hash syscalls.

Reference

secp256k1

Base field Fp, scalar field Fn, curve arithmetic, and ECDSA verify and recover over secp256k1.

Reference

secp256r1 (P-256)

Base field Fp, scalar field Fn, curve arithmetic, and ECDSA verification over P-256.

Reference

BN254

Fp, Fp2, Fr arithmetic, G1 point operations, scalar multiplication, and optimal Ate pairing.

Reference

BLS12-381

Fp, Fp2, Fr arithmetic, G1/G2 operations, MSM, KZG verification, hash-to-curve, and Ate pairing.

Reference

bigint

Arbitrary-precision integer arithmetic: addition, multiplication, division, remainder, and modular exponentiation.

Reference

uint256

256-bit unsigned integer operations: checked/overflowing/wrapping/saturating arithmetic, modular ops, and exponentiation.

Reference

utils

Small helpers: alignment checks, byte-order conversion, comparisons, and zero/one/power-of-two predicates.

Signatures and the hints feature

The signatures on these pages are for the default build. The crypto and big-integer functions are also compiled with an optional hints Cargo feature; when it is enabled, each gains a trailing hints: &mut Vec<u64> parameter used to record proving hints. Leave it out unless you build with hints.

Every function is re-exported at the crate root, so the canonical path is flat — e.g. ziskos::zisklib::sha256 — regardless of which submodule it lives in.