Merge pull request #21 from matter-labs/ad-fix-public-input

Fix final public input

Author: AntonD3

README.md

@@ -28,7 +28,7 @@ The tool also offers to use the 'fake' file - that works for local testing, but
 
 
 ```shell
-cargo run --bin wrapper_generator --release generate-vk --input-binary ../air_compiler/examples/hashed_fibonacci/app.bin --output-dir /tmp --trusted-setup-file crs/setup.key
+cargo run --bin wrapper_generator --release generate-vk --input-binary ../air_compiler/examples/hashed_fibonacci/app.bin --output-dir /tmp --trusted-setup-file crs/setup.key --universal-verifier
 ```
 
 This will generate the verification key (and verification key hash) - that can be put into the solidity code.

wrapper/src/circuits/risc_wrapper.rs

@@ -327,7 +327,7 @@ impl<F: SmallField, V: CircuitLeafInclusionVerifier<F>> RiscWrapperCircuit<F, V>
         {
             let mut lc = Vec::with_capacity(chunk.len());
             // treat as LE
-            for (idx, el) in chunk.iter().enumerate() {
+            for (idx, el) in chunk.iter().rev().enumerate() {
                 lc.push((el.get_variable(), F::SHIFTS[idx * 8]));
             }
             let as_num = Num::linear_combination(cs, &lc);