Gregor Mitscha-Baude
Gregor Mitscha-Baude
addresses https://github.com/o1-labs/o1js/issues/1447 but ideally there's a cleaner solution that https://github.com/o1-labs/o1js/pull/1448/commits/68982d9a64fefcd7d9949b78b5fc8f8503c538b4
## Motivation We have nice APIs to do most things on accounts other than our own zkapp, like ```ts let update = AccountUpdate.create(address); // get the other account's balance let...
**Why**: The integration test patterns currently used both within o1js and by the community are a pain to write and read. **How**: A few ideas for improving it: * Default...
Many of o1js APIs are function calls simply because originally, we had to wait for the bindings to be ready before doing stuff, so we couldn't instantiate most o1js types...
This needs two things: * ~~work on the ocaml side to make `isProved` available via grapjql~~ done * tweak the default account update created by a zkApp so it has...
**Why:** o1js has become a powerful library for writing low-level circuits, which hosts highly complex gadgets like ECDSA. Having these gadgets within a single repo, written in a single style...
## Why Currently, the `snarky` DSL which we inherit in methods like `Field.add()`, `Field.mul()`, `Field.assertEquals()` makes it hard to create generic gates optimally. Simple example: We want to prove that...
## Why Currently, when doing chains of `.add()` and `.mul(constant)`, snarky doesn't create any generic gates. Instead, it maintains an arbitrary long unreduced AST using the `Add` and `Scale` combinators....
Closes #629 - Adds bindings to access to snarky's internal state - Uses snarky's `log_constraint` hook to collect constraints + their stack traces - Uses that to automatically compare the...