Marcin Kostrzewa
Marcin Kostrzewa
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...
### 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
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...
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...