Matthew Ryan
Matthew Ryan
This PR adds the ability to pay fees using a proof as authorisation. Checklist: - [ ] Modified the current draft of release notes with details on what is completed...
This PR builds upon #11419 to add a unit test for zkApps composability. The example introduces 4 rules: * initialize app * update state (fetching the desired state via a...
This PR simplifies the API provided by `Zkapp_examples`, using an object type to create a less-verbose wrapper around the party type, and moving the party creation into the `Zkapp_examples` helper...
This bit @yourbuddyconner recently. For example, ```json { "daemon": { "genesis_state_timestamp": "1970-01-01 00:00:00.000000Z" } } ``` should warn that `genesis_state_timestamp` is in the `daemon` object when it is expected to...
Currently, `:MerlinLocate` in vim seems to ignore `g:merlin_locate_preference="ml"` when the target module has an interface file (at least when building with dune). In particular, locating a value `M.t` in a...
It would be useful to track all of the locations that resolution passes through when locating an identifier, and allow the user to step backwards and forwards between them. To...
This PR is a first-pass implementation of foreign field addition. TODO: * [x] unify naming * [ ] gate creation Closes #682
This RFC proposes an extension to our use of lookup tables using the PLOOKUP multiset inclusion argument, so that values within lookup tables can be chosen after the constraint system...