Nicholas Ward 7f92a33964 cargo fmt

2021-07-21 13:05:40 -07:00

..

bin

More routed wires for recursion (#104)

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

field

cargo fmt

2021-07-21 13:05:40 -07:00

fri

cargo fmt

2021-07-21 13:05:40 -07:00

gadgets

FRI tweaks (#111)

2021-07-20 12:49:02 -07:00

gates

More routed wires for recursion (#104)

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

polynomial

Tree of scopes (#106)

2021-07-19 12:22:18 -07:00

util

No Copy on ReducingFactor (#110)

2021-07-20 09:27:35 -07:00

circuit_builder.rs

fixes

2021-07-21 13:05:32 -07:00

circuit_data.rs

Merge pull request #90 from mir-protocol/insertion_gate

2021-07-19 07:59:55 -07:00

context_tree.rs

Tree of scopes (#106)

2021-07-19 12:22:18 -07:00

copy_constraint.rs

Comments

2021-07-15 10:24:11 +02:00

generator.rs

Minor

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

gmimc.rs

Fix some warnings (#94)

2021-07-15 07:34:46 -07:00

hash.rs

Merge branch 'main' into more_recursive_verifier

2021-07-19 07:08:06 +02:00

lib.rs

Tree of scopes (#106)

2021-07-19 12:22:18 -07:00

merkle_proofs.rs

Tree of scopes (#106)

2021-07-19 12:22:18 -07:00

merkle_tree.rs

Clipp

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

permutation_argument.rs

Simplify

2021-07-19 19:42:39 +02:00

plonk_challenger.rs

Clipp

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

plonk_common.rs

Optional zk (#101)

2021-07-18 23:24:33 -07:00

proof.rs

Optional zk (#101)

2021-07-18 23:24:33 -07:00

prover.rs

Optional zk (#101)

2021-07-18 23:24:33 -07:00

recursive_verifier.rs

route -> assert (#112)

2021-07-20 13:04:34 -07:00

rescue.rs

Fix some warnings (#94)

2021-07-15 07:34:46 -07:00

target.rs

cargo fmt

2021-07-01 10:36:31 -07:00

vanishing_poly.rs

Add a context for each gate evaluation (#108)

2021-07-20 09:27:18 -07:00

vars.rs

Almost working recursive verifier

2021-07-12 14:25:28 +02:00

verifier.rs

zs_root -> zs_partial_products_root

2021-07-15 10:59:53 +02:00

wire.rs

Added comments

2021-06-22 15:34:50 +02:00

witness.rs

Clipp

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