Skip to main content

Module circuits

Module circuits 

Source

Modulesยง

bip32
BIP32 hierarchical-deterministic key derivation as a Binius64 circuit gadget.
bitcoin_block_contains_transaction
Proof that a Bitcoin block contains a certain transaction.
bitcoin_header_chain
bitcoin_p2pkh
blake3
blake2b
blake2s
blake3_compress
ec_msm
ethsign
hashsign
XMSS multi-signature verification.
independent_hashes
Batches of independent hash primitive evaluations.
keccak
sha3
sha3_512
sha256
sha512
subset_sum
utils
Utilities for hash circuit examples
zklogin