bb binaries fail when circuit size is 2^20

[kevaundray]

Problem

The intitial SRS is only capable of producing proofs for circuits of size 2^19. When a circuit of size 2^20 is required, the bb binary panics.

Solution

Add logic to handle the case where the srs is not big enough

[kevaundray]

See here where we set the MAX_CIRCUIT_SIZE to be 2^19. It does not seem to get changed after being set here

[kevaundray]

Thinking about it, the rationale here for setting it to 2^19 probably goes like this:

• The browser can only handle circuits of size 2^19
• Users who prove natively will eventually want to prove in the browser
• Therefore limiting the CRS to be 2^19 is reasonable, since even if it was 2^20 natively, you would not be able to create proofs in the browser.