🪑 Session chair: Jan (Duties: Read material above-average carefully 🤓; prepare fallback discussions/questions (worst-case: just prepare some quiz questions about the material) 🙋. Prepare a few slides to guide the session through subtopics (this is not supposed to be a detailed summary of the material)
✍️ Notetaker: Liz (Duties: Take notes during the session, push them to the wiki afterwards 📝. Moderate to get input for the wiki pages 🧠. Make people summarize / dumb down discussion results to keep things comprehensible for everyone 🧑⚖️.)
🎯 Goals
📚 Material
📝 Notes
Subsession 1 (Oct 31)
Subsession 2 (Nov 7)
Open questions:
- Why is it called “rank 1” constraint system?
- What’s a good example where R1CS is a much more efficient representation of the desired relation relation than an Algebraic Circuit?