Alex Beregszaszi

Create WebAssembly build

2

For quite a long time we considered creating a WebAssembly build, going back as far as when [runevm](https://github.com/axic/runevm) was created. We did try, but since evmone was using exceptions at...

This would enable using a much larger variety of inputs for benchmarking, including token contracts, dexes, and #224.

Add homebrew package

1

This could be useful as a preparation for geth or other use cases to make it simple for users' to acquire evmone. @chfast what do you think?

Include snailtracer in benchmarking suite

1

See https://github.com/axic/snailtracer

See https://eips.ethereum.org/EIPS/eip-663 It would be nice to see some benchmarks in order to decide between those options.

Out-of-bounds access crashes the static analyser

2

``` def main(): u32[16] memory = [0; 16] memory[17] = 1 return ``` ``` Compiling bug1.zok index out of bounds: the len is 16 but the index is 17 (/Users/alex/Projects/ZoKrates/zokrates_core/src/static_analysis/propagation.rs:85:77)...

Support creating proofs using the BLS12-381 curve

3

Follow up of #90.

The optimizer is not removing side-effect free constraints

1

``` struct Memory { u8[6] values } def main(Memory memory): // 56 constraints with this line, or 54 if this is commented out bool x = memory.values[1] != 0 return...

Switch ZIR serialisation away from bincode

1

Currently the IR format is sparingly described at https://zokrates.github.io/toolbox/ir.html  *bincode* is a Rust-specific serialisation format capable of seamlessly handling Rust structs, but [according to its author](https://github.com/bincode-org/bincode/issues/221#issuecomment-345031157) is not meant...

Implement bignum system library using intx

8

Closes #526.