Georg Wiese

Forward References

3

Do you support forward references? I'm getting this behavior: ```python import enforce import typing MyType = typing.List[typing.Union[int, 'MyType']] @enforce.runtime_validation() def foo(x: MyType): pass foo([1, 2]) # Good foo([1, [2]]) #...

Depends on #1249 To make the Groth16 MPC trusted setup work, we need to depend on two versions of `bellman_ce`. I implemented this by splitting the `zokrates_bellman` crate. Also, I...

Plonk: Add solidity verifier

1

The main changes are: - `zokrates_bellman`: - `plonk.rs`: `serialize_vk()` now pre-computes `omega`. This is redundant, but needed to render the solidity verifier. - `zokrates_cli`: - `tests/integration.rs`: Adjusted the `test_compile_and_witness_dir` test...

`Circuit::configure()` forces you to know the circuit configuration at compile time

1

The `Circuit` trait requires me to implement the `configure()` function, defined as: ```rust /// The circuit is given an opportunity to describe the exact gate /// arrangement, column arrangement, etc....

This is needed so that proofs and verification keys can be instantiated from other crates (e.g. in ZoKrates). I also added `.vscode` to `.gitignore`.

Just came across this bug tracker, very cool :) I found a bug in the Polygon zkEVM which allows a malicious prover to return "0" when reading any storage slot...