Meetings

June

June 6 (Tuesday)

Bing

• Finished up the discussion writeup (risc0, triton)
• Going to start with some code - either 1) prove the hash of the image 2) link up with Vivek's draft PR with a new table (memory table) so that we can do lookups - just so we have something to work with

Vivek

• Already have a draft PR up for traces
• Looking into how FFTs are done and how zero polynomials are built
• after FFTs, we have to know how zero polynomials are done, but it's linked to cross-table lookups, but we don't fully understand how this works yet
• (Matthias) suggests first getting inspired from others' code, but we should be careful about not understanding what we port over
• (Sai) will look into Ola's code in order to give suggestions in this regard

Sai

• Caught up on onboarding, reading Notion documentation
• Looking into Ola, RISC-V, Miden, Starky
• Also looking into Polygon ZKEVM to understand how the recursion is done
• Will also prepare a presentation on plonky2 - how to write circuits, custom gates, recursion circuits, zkTree this will happen next week in 2 separate sessions during the

Jose

• Reading up on chats, Notion docs to catch up
• Had meetings with Sai, Matthias, got to know the team
• Ready to get some stuff done!
• Going to pair with Vivek to figure out questions regarding 1) the zero polynomials, 2) how to generate randomness (beta, gamma)

Matthias

• Updated CI checks - disabled MacOS CI runner
• Lots of one-on-one calls with the team