Struct KeccakF1600 

pub struct KeccakF1600;

keccak_f1600 as a gadget, so that a circuit can make it a chip.

Its interface is the 25 input lanes and the 25 output lanes, both in lane order x + 5 * y. Every lane is a full 64-bit word; there is no lane packing.

Trait Implementations

impl ChipGadget for KeccakF1600

fn build( &self, builder: &CircuitBuilder, _dimensions: &[usize], inputs: &[Wire], ) -> Vec<Wire>

Emits the gadget’s gates, returning the outputs its shape declares.

impl Hint for KeccakF1600

const NAME: &'static str = "binius.keccak_f1600"

Globally unique name for this hint, which the registry hashes into its key.

fn shape(&self, _dimensions: &[usize]) -> (usize, usize)

Compute the gate’s input/output arity as a function of dimensions.

fn execute(&self, _dimensions: &[usize], inputs: &[Word], outputs: &mut [Word])

Compute the hint’s outputs from its inputs at witness-generation time.