Functions§
- count_
and_ ⚠add_ kernel - fill_
buffer ⚠ - fix_
last_ ⚠variable_ ext_ ext_ kernel - fix_
last_ ⚠variable_ felt_ ext_ kernel - fix_
last_ ⚠variable_ jagged_ ext - fix_
last_ ⚠variable_ jagged_ felt - fix_
last_ ⚠variable_ jagged_ info - generate_
col_ ⚠index - generate_
start_ ⚠indices - hadamard_
fix_ ⚠last_ variable_ and_ sum_ as_ poly_ base_ ext_ kernel - hadamard_
fix_ ⚠last_ variable_ and_ sum_ as_ poly_ ext_ ext_ kernel - hadamard_
sum_ ⚠as_ poly_ base_ ext_ kernel - hadamard_
sum_ ⚠as_ poly_ ext_ ext_ kernel - initialize_
jagged_ ⚠info - jagged_
constraint_ ⚠poly_ eval_ 32_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 32_ koala_ bear_ kernel - jagged_
constraint_ ⚠poly_ eval_ 64_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 64_ koala_ bear_ kernel - jagged_
constraint_ ⚠poly_ eval_ 128_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 128_ koala_ bear_ kernel - jagged_
constraint_ ⚠poly_ eval_ 256_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 256_ koala_ bear_ kernel - jagged_
constraint_ ⚠poly_ eval_ 512_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 512_ koala_ bear_ kernel - jagged_
constraint_ ⚠poly_ eval_ 1024_ koala_ bear_ extension_ kernel - jagged_
constraint_ ⚠poly_ eval_ 1024_ koala_ bear_ kernel - jagged_
eval_ ⚠kernel_ chunked_ ext - jagged_
eval_ ⚠kernel_ chunked_ felt - jagged_
fix_ ⚠and_ sum - jagged_
sum_ ⚠as_ poly - logup_
gkr_ ⚠circuit_ transition - logup_
gkr_ ⚠extract_ output - logup_
gkr_ ⚠first_ layer_ transition - logup_
gkr_ ⚠first_ sum_ as_ poly_ circuit_ layer - logup_
gkr_ ⚠fix_ and_ sum_ circuit_ layer - logup_
gkr_ ⚠fix_ and_ sum_ first_ layer - logup_
gkr_ ⚠fix_ and_ sum_ interactions_ layer - logup_
gkr_ ⚠fix_ and_ sum_ last_ circuit_ layer - logup_
gkr_ ⚠fix_ last_ variable_ circuit_ layer - logup_
gkr_ ⚠fix_ last_ variable_ first_ layer - logup_
gkr_ ⚠fix_ last_ variable_ interactions_ layer - logup_
gkr_ ⚠fix_ last_ variable_ last_ circuit_ layer - logup_
gkr_ ⚠populate_ last_ circuit_ layer - logup_
gkr_ ⚠sum_ as_ poly_ circuit_ layer - logup_
gkr_ ⚠sum_ as_ poly_ first_ layer - logup_
gkr_ ⚠sum_ as_ poly_ interactions_ layer - mle_
fix_ ⚠last_ variable_ koala_ bear_ base_ base_ constant_ padding - mle_
fix_ ⚠last_ variable_ koala_ bear_ base_ extension_ constant_ padding - mle_
fix_ ⚠last_ variable_ koala_ bear_ ext_ ext_ constant_ padding - mle_
fix_ ⚠last_ variable_ koala_ bear_ ext_ ext_ zero_ padding - padded_
hadamard_ ⚠fix_ and_ sum - populate_
restrict_ ⚠eq_ device - populate_
restrict_ ⚠eq_ host - reduce_
kernel_ ⚠ext - reduce_
kernel_ ⚠felt - round_
kernel_ ⚠1_ 32_ 2_ 2_ false - round_
kernel_ ⚠1_ 32_ 2_ 3_ false - round_
kernel_ ⚠1_ 64_ 2_ 2_ false - round_
kernel_ ⚠1_ 64_ 2_ 3_ false - round_
kernel_ ⚠1_ 64_ 4_ 8_ false - round_
kernel_ ⚠1_ 128_ 4_ 8_ false - round_
kernel_ ⚠2_ 32_ 2_ 2_ false - round_
kernel_ ⚠2_ 32_ 2_ 2_ true - round_
kernel_ ⚠2_ 32_ 2_ 3_ false - round_
kernel_ ⚠2_ 32_ 2_ 3_ true - round_
kernel_ ⚠2_ 64_ 2_ 2_ false - round_
kernel_ ⚠2_ 64_ 2_ 2_ true - round_
kernel_ ⚠2_ 64_ 2_ 3_ false - round_
kernel_ ⚠2_ 64_ 2_ 3_ true - round_
kernel_ ⚠4_ 32_ 2_ 2_ false - round_
kernel_ ⚠4_ 32_ 2_ 2_ true - round_
kernel_ ⚠4_ 32_ 2_ 3_ false - round_
kernel_ ⚠4_ 32_ 2_ 3_ true - round_
kernel_ ⚠4_ 64_ 2_ 2_ false - round_
kernel_ ⚠4_ 64_ 2_ 2_ true - round_
kernel_ ⚠4_ 64_ 2_ 3_ false - round_
kernel_ ⚠4_ 64_ 2_ 3_ true - round_
kernel_ ⚠4_ 64_ 4_ 8_ false - round_
kernel_ ⚠4_ 64_ 4_ 8_ true - round_
kernel_ ⚠8_ 32_ 2_ 2_ false - round_
kernel_ ⚠8_ 32_ 2_ 2_ true - round_
kernel_ ⚠8_ 32_ 2_ 3_ false - round_
kernel_ ⚠8_ 32_ 2_ 3_ true - round_
kernel_ ⚠8_ 64_ 2_ 2_ false - round_
kernel_ ⚠8_ 64_ 2_ 2_ true - round_
kernel_ ⚠8_ 64_ 2_ 3_ false - round_
kernel_ ⚠8_ 64_ 2_ 3_ true - sum_
kernel_ ⚠ext - sum_
kernel_ ⚠felt - sum_
kernel_ ⚠u32 - sum_
to_ ⚠trace_ kernel - zerocheck_
fix_ ⚠last_ variable_ and_ sum_ as_ poly_ base_ ext_ kernel - zerocheck_
fix_ ⚠last_ variable_ and_ sum_ as_ poly_ ext_ ext_ kernel - zerocheck_
sum_ ⚠as_ poly_ base_ ext_ kernel - zerocheck_
sum_ ⚠as_ poly_ ext_ ext_ kernel