Gregor Mitscha-Baude

**What is the purpose of this pull request? (put an "X" next to item)** [X] Documentation update [ ] Bug fix [ ] New feature [ ] Other, please explain:...

..so we can generate JS types

wasm-parser/wasm-gen or wast-parser/wast-printer incorrectly handle "end" instruction in globals initialization

4

If I take the following `.wat`: ```wat (module (global i32 (i32.const 0)) ) ``` ...and then * compile it with [wat2wasm](https://github.com/AssemblyScript/wabt.js), * parse it to an AST with `wasm-parser` *...

Currently, smart contracts are identified by searching through the `build` folder. If they are not also exported from `index.ts`, then the developer will see a very cryptic sequence of logs...

Ctrl-C should stop verification key generation

1

While the CLI is generating a verification key, Ctrl-C doesn't stop it. It's important CLI UX to be able to kill it at any time

Move examples to snarkyjs repo and pull from there instead of zkapp-cli

1

We should be able to construct a URL for getting snarkyjs at the git tag that corresponds to the npm version number in the template that zkapp-cli pulls from `github:o1-labs/zkapp-cli#main`....

Remove mina-signer's dependency on `mina_base` by deriving `fromJSON` from statically generated JS

2

Impact: This will push the size of mina-signer below 4MB, which currently blocks Auro from supporting zkApps in their Firefox wallet

- companion to https://github.com/o1-labs/snarkyjs/pull/416 - changes methods on primitive types: `ofFields` -> `fromFields`, `ofBits` -> `fromBits`, to be compatible with the new generalized `typ` / CircuitValue in JS - expose...

moved from https://github.com/o1-labs/snarkyjs/issues/471 ``` $ zk project test_snarkyjs_project ✔ Fetch project template ✔ Initialize Git repo ✖ NPM install ✔ Set project name ✔ Git init commit Success! Next steps:...