[][src]Module ysbell::gadgets

Self-contained sub-circuit implementations for various primitives.

Modules

blake2s

The BLAKE2s hash function with personalization support.

boolean

Gadgets for allocating bits in the circuit and performing boolean logic.

lookup

Window table lookup gadgets.

multieq
multipack

Helpers for packing vectors of bits into scalar field elements.

num

Gadgets representing numbers in the scalar field of the underlying curve.

sha256

Circuits for the SHA-256 hash function and its internal compression function.

test

Helpers for testing circuit implementations.

uint32

Circuit representation of a u32, with helpers for the [sha256] gadgets.

Traits

Assignment

This basically is just an extension to Option which allows for a convenient mapping to an error on None.