- Introductions: we have a packed agenda!
- Presentation from Avradip on ZK frameworks.
- Introduction to ZK proofs (at a high level, theory-based).
- Discussion of zkinterface.
- Suitability for this type of interface for Ursa?
- Discussion of what to do with any work in this area.
- Discussion on what to do with pairing plus.
- How to best handle?
- Probably put in HL repo somewhere, but clearly designate as a fork.
- Ursa HW interface.
- Gauging interest in hardware.
- Go implementation of BBS+: will be open-sourced soon.