Eduardo Morais

Include chunked phase2 script

4

Ongoing work. Currently getting the following error: ``` Running `/media/eduardo/DATA/eduardo/Aleo/code/aleo-setup/target/release/setup2 new --curve-type bw6 --chunk-size 131072 --batch-size 131072 --contribution-mode full --challenge-fname challenge --challenge-hash-fname challenge.verified.hash --phase1-fname ../../phase1-cli/scripts/combined --phase1-powers 18 --num-validators 1 --num-epochs...

NIL is not a symbol

6

[Here](https://github.com/lurk-lang/lurk-rs/blob/master/src/eval.rs#L444) NIL is treated as a symbol, but actually NIL currently has its own expression tag. It could be clearer to make NIL also a symbol, such that it has...

Write [rustdoc](https://doc.rust-lang.org/rustdoc/write-documentation/documentation-tests.html) examples showing how to use the multicase gadget. See this [unit test](https://github.com/lurk-lab/lurk-rs/blob/master/src/circuit/gadgets/case.rs#L428) for a reference.

Write [rustdoc](https://doc.rust-lang.org/rustdoc/write-documentation/documentation-tests.html) examples showing how to use the poseidon gadget. Take a look [here](https://github.com/lurk-lab/lurk-rs/blob/master/src/circuit/gadgets/hashes.rs#L130).

Implement common trait for both hiding and non-hiding KZG

1

We need to define and implement a common interface that any implementation of KZG (hiding or non-hiding) must implement in order be used as a building block for ZeroMorph. Remark:...