feat: integrate accumulated args into graph (#174)

* feat: accum pow

* feat: accum pack

* feat: pairwise rescaled ops

* fix examples

* feat: integrate accumulated args into graph

* rm max rotations argument

* update readme

* feat: reuse base gate config

* matmul relu benches

* nil rotation lookup and range

* Update rust.yml

* clippy cleanup

* doc strings

* rm init dot

* fix doc tests

* single lookup as default

* Update integration_tests.rs

* Update rust.yml

* split SRS generation 20/23
This commit is contained in:
dante
2023-03-25 01:14:07 +00:00
committed by GitHub
parent f579967ad1
commit f448150905
51 changed files with 2366 additions and 1744 deletions

View File

@@ -261,7 +261,6 @@ Options:
--public-inputs Flags whether inputs are public
--public-outputs Flags whether outputs are public
--public-params Flags whether params are public
-M, --max-rotations <MAX_ROTATIONS> Flags to set maximum rotations [default: 512]
--pack-base <PACK_BASE> Base used to pack the public-inputs to the circuit. set ( > 1) to pack instances as a single int. Useful when verifying on the EVM. Note that this will often break for very long inputs. Use with caution, still experimental. [default: 1]
--single-lookup Use a single argument for all lookups
-h, --help Print help
@@ -309,7 +308,6 @@ For an example of such a file see `examples/default_run_args.json`:
"public_inputs": false,
"public_outputs": true,
"public_params": false,
"max_rotations": 512
}
```