Alex Ozdemir 4865ce6b93 Special-case multiply-by-constant in R1CS lowering ...

Previously, to lower z = x * y, we always generated a fresh variable for
z. If a or b were constant, then R1CS optimization killed the fresh
variable.

Now, if a or b are constant, we skip the fresh variable, and just scale
the LC.

2023-03-27 16:11:07 -07:00

..

circify

Spartan Backend (#70)

2022-11-07 10:11:58 -08:00

front

cache zsharp::term::unwrap_array_ir

2023-02-28 09:46:45 -08:00

ir

convert array::store -> tuple::field (#157)

2023-03-21 11:06:02 -07:00

target

Special-case multiply-by-constant in R1CS lowering

2023-03-27 16:11:07 -07:00

util

Configuration system. Kill DFL_T (#127)

2022-12-25 20:53:27 -08:00

cfg.rs

Add option to panic on OOB PfToBv (#129)

2023-01-05 19:57:04 -08:00

lib.rs

Configuration system. Kill DFL_T (#127)

2022-12-25 20:53:27 -08:00