Skip to main content

Crate binius_circuits

Crate binius_circuits 

Source
Expand description

Standard library of circuit gadgets for Binius64.

This crate provides pre-built circuit gadgets for common cryptographic and computational operations, including hash functions (SHA256, SHA512, Blake2, Keccak), elliptic curve operations (ECDSA, secp256k1), and utility gadgets.

§When to use this crate

Use this crate when building circuits with binius_frontend and you need implementations of common cryptographic primitives. These gadgets are optimized for Binius64’s constraint system.

Modules§

base64
bignum
Arbitrary-precision bignum arithmetic for circuits.
bitcoin
Circuits related to Bitcoin.
blake3
BLAKE3 circuit gadgets.
blake2b
blake2s
BLAKE2s hash function circuit.
bytes
Byte manipulation circuits for Binius64.
concat
ecdsa
ECDSA verification circuits
fixed_byte_vec
float64
hash_based_sig
XMSS signature verification.
hmac
HMAC (Hash-based Message Authentication Code) circuit implementation using SHA-512.
jwt_claims
keccak
multiplexer
popcount
Popcount circuit implementation for counting 1-bits in a 64-bit word.
ripemd
rs256
secp256k1
Implementation of secp256k1 elliptic curve group operations.
sha3
FIPS 202 SHA-3 hash functions: SHA3-256, SHA3-384, and SHA3-512.
sha256
sha512
shift
Variable-amount shift gadgets.
skein512
slice
util
Small shared circuit gadgets.