Joseandro Luiz

Investigate why some builds take much longer to finish

6

Investigate the root cause of the few builds that take too long (>250m) to finish.

Hi guys, I am having troubles instancing/using this module. I am getting the error: "Result of expression 'Ad.createAdMob' [undefined] is not a functino. at app.js (line 24)" With this code:...

Make the prover run the constraints

1

- Mostly for soundness. - Missing in the definition of the VM instructions: some of these are under-constrained. - Task: perhaps start with a pass to identify these with TODO’s...

There’s no use of lookups in the proof generation right now. We should reuse the same implementation for lookups as in msm. Depends on the implementation available in the large...

- At the end of the protocol, after the aggregation of all intermediate lookup instances has been done, the lookup argument is executed. - That’s when the list of used...

Constraints between lookup columns and entry using as joint combiner

1

- Constraints between lookup columns and entry using as joint combiner the randomness hardcoded - If we have a “grand witness”, this can be done inside the same constraints function,...