o1js

o1js copied to clipboard

Recursive `reduce()`

2

We should make it easier to roll up updates to a Merkle tree with actions /.reducer. Ideal (IMO) architecture is laid out here: https://github.com/o1-labs/snarkyjs/issues/659#issuecomment-1361320687 EDIT: This issue is now specifically...

mitschabaude

mitschabaude

Check examples for vulnerabilities

1

Check examples https://github.com/o1-labs/o1js/tree/main/src/examples and tutorial code, code snippets for vulnerabilities

garwalsh

Internal audit of o1js

3

Prior to the upcoming Mina protocol major upgrade, the o1Labs SDK team will audit the o1js codebase to identify any outstanding vulnerabilities. The deliverables for this issue will be: -...

garwalsh

mitschabaude

mitschabaude

o1js is not quite compatible with NodeNext TSC module resolution

18

If you use `NodeNext` [module resolution](https://www.typescriptlang.org/tsconfig/#moduleResolution) setting, an instance of `ZkProgram` can not be exported. TSC complains it can not actually infer types. See reproduction case: https://github.com/ukstv/o1js-nodenext-repro Probably related issue:...

ukstv

Adjacent nice-to-haves: * Merkle tree type which can be easily passed to provable code directly, get rid of MerkleWitness dance * Reverse internal MerkleList representation and make MerkleList implement `to/fromValue`...

mitschabaude

mina: https://github.com/MinaProtocol/mina/pull/15594 bindings: https://github.com/o1-labs/o1js-bindings/pull/271

mitschabaude

More benchmarks.

1

- [ ] ECDSA - [ ] Compile, prove, verify. - [ ] SHA-256 - [ ] Fibonacci (1, 10, 100, 1_000, 10_000, 100_000) - [ ] Merkle Trees -...

shimkiv