o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps
https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp
Apache License 2.0
521 stars 118 forks source link

Array lookups - JS side #1086

Open mitschabaude opened 1 year ago

mitschabaude commented 1 year ago

Create a TS API for the array lookup features exposed by @dannywillems with this task: https://github.com/MinaProtocol/mina/issues/13087

The API will likely consist of (at least) two constraint-creating methods:

The task for the SnarkyJS team is to package that as part of a nice API that makes array operations in a circuit easy. There's a lot of good prior work on this: #633

stevenpack commented 1 year ago

@garwalsh I moved this up the On Deck list for next sprint after ECDSA. Not a directive, but want to make sure it gets considered, as it looks like a smallish lift in o1js to unlock a significant capability.

Trivo25 commented 2 months ago

see #90 #1062