Marcin Kostrzewa

Class injections

1

Adds the possibility to include classes in object graph.

### Pull Request Description This PR makes the compiler look into the type signatures for the first time ever. It also shows off the new system by making the suggestion...

Autogenerated code for type error reporting in builtin methods is wrong

2

### General Summary Autogenerated code for type error reporting returns misleading results. ### Steps to Reproduce Run the following code: ``` import Standard.Builtins main = Builtins.Meta.get_unresolved_symbol_name 123 ``` ### Expected...

In the original text, the choice of `m` is unfortunate, because `m` is already bound in the type. While the meaning is clear, it made me to trip and re-parse...

Simple mistake in a worked example

Eliminate debugger overhead when running gnark

1

Following https://github.com/golang/go/issues/57651, we change how golang runs in debugger mode, resulting in Gnark becoming one of the strongest contenders. The proper setting is added to the xcode project and should...

This adds benchmark results for a OnePlus 6T and instructions for building and running on android.

Build a separately deployable service with a single endpoint allowing the caller to request the proof of insertion for a given batch. Open API schema should be provided as part...

Tune batch sizes

1

The proving service should provide different batch size endpoints, such that different service loads can be serviced without undue delay vs. wasting prover time. Should be done in anticipation of...