Howard Wu

@IAvecilla we'll need to resolve the merge conflict here

^This is the pseudocode algorithm for reference.

@ljedrz can you check the correctness of the Rust syntax and API usage (i.e. we use `.floor()` and `.sqrt()` among many operators) for edge cases that we have not have...

#241

@ljedrz Can we add a unit test for `MemoryMap` with the atomic op? Also clippy may have some lint requests.

I have one request and two questions. Request: can we add an `abort_atomic` method as well? Question 1: what happens if a method `return Err(..)` in between `start_atomic` and `finish_atomic`?...

@Protryon I think we should make all implicit upcasting explicit. In implementing a cryptographic primitive in Leo, it could be risky to support implicit upcasting. For the purposes of Leo,...

^This switches the `Transition` struct from an outer proof to a combination of an inner proof and program proof.

^This removes the outer circuit code and the outer circuit related types and helper methods from the `Network` trait.

^This merges in an FFT performance improvement