Daniel Lubarov a9e5f1e4e2

More routed wires for recursion (#104) ...

* More routed wires for recursion

For the insertion gate, which (with a FRI arity of 4) uses 1 wire for the insertion index, D for the elemnet to insert, 3D for the original list, and 4D for the output list.

* import

2021-07-19 08:52:10 -07:00

..

arithmetic.rs

Simple reduce (#78)

2021-06-29 12:33:11 -07:00

base_sum.rs

Clipp

2021-07-15 10:39:57 +02:00

constant.rs

Draw challenge points from the extension field (#51)

2021-05-30 13:25:53 -07:00

gate_testing.rs

Tiny cleanup

2021-07-18 23:31:21 -07:00

gate_tree.rs

Clippy

2021-07-02 11:01:20 +02:00

gate.rs

Minor

2021-07-15 10:13:13 +02:00

gmimc.rs

Tiny cleanup

2021-07-18 23:31:21 -07:00

insertion.rs

More routed wires for recursion (#104)

2021-07-19 08:52:10 -07:00

interpolation.rs

lagrange.rs -> interpolation.rs

2021-06-18 11:44:06 +02:00

mod.rs

Merge main

2021-07-15 15:06:38 -07:00

noop.rs

Add insert gadget to insert inferred leaf in FRI query rounds

2021-06-14 15:15:22 +02:00