# ZK-team Catchup MOM ## Template ```code= ## yyyy-mm-dd **Attendees**: * Updates: * Next Actions: ``` ## July 19, 2024 Attendees: Anil, Murthy, Akhil, Vishal, Saiteja, Deepan * Updates: * Sai Teja gave demo on zkGov module in cosmos SDK. * Next Actions: * It's a wrap up for zk but until other task is assigned, zk exploration shall be continued and shall be exploring for other useful applications/useCases. * Further, minor zkGov module corrections need to be done. (Like Vote option as 10,11 in code and one time registration for one account, update vote command, multiple vote command) ## July 9, 2024 Attendees: Anil, Murthy, Akhil, Vishal, Saiteja, Deepan * Updates: * Deepan explained about interactive CLI for zk voting and vote option reveal issue. * Sai Teja explained about sp1 exploration progress. * Vishal explained about input reading issues in circom. * Next Actions: * Deepan will be fixing issues in interactive CLI + zkGov module implementation. * Vishal and Sai Teja will be working on zkGov logical flow. ## June 28, 2024 Attendees: Anil, Murthy, Akhil, Vishal, Saiteja, Deepan * Updates: * Deepan explained about interactive CLI for zk voting and signature related issue. * SaiTeja explained about sp1 and witness * Vishal explained about circom implementation issues in reading input from circuit. * Next Actions: * Deepan will be wrapping up the interactive part by Monday and zkGov module by wednesday * Sai Teja will be researching further on SP1 and Plonky3 * Vishal will be helping to develop zkVote in SDK. ## June 25, 2024 Attendees: Anil, Murthy, Akhil, Vishal, Saiteja * Updates: * Vishal explained issues inside involving custom multisig zk circuit implementation * Saiteja explained how circuit setup works and establish trust for verification keys. * Saiteja explained the GNARK ed25519 issue updates. * Next actions: * Vishal will explore other zk circuit DSLs and frameworks * Saiteja will look into SP1 tendermint light client implementation * Governance module for zk based voting ## June 20, 2024 **Attendees**: Anil,Akhil, Sai Teja, Deepan, Vishal * Updates: * Sai Teja explained about signing SHA256 related issue in merkle proof and succint labs research progress * Deepan explained the flow for evoting with circuit and hard coded implmentation. * Vishal explained about input msg reading within circuit. * Next Actions: * Sai Teja * Deepan will implement an interactive workflow for eVoting and push to a new repo. Along with relayer and single uniqueId (if possible) by generating uniqueId2 as dynamic salt. * Vishal will be researching further on reading input from circuit by modifying the ethan's circuit by adding more frontend variables. ## June 12, 2024 **Attendees**: Murthy, Anil,Akhil, Sai Teja, Deepan, Vishal * Updates: * Sai Teja explained about IBC implementation issues regarding secp256k1 and EDDSA. Also explained the flow of Tornado cash using sender-receiver txn. * Vishal explained the input parsing progress within circuit * Deepan explained the top overview approach for eVoting using zkProof tornado cash logic. * Next Actions: * Sai Teja will coordinate with Deepan regarding eVoting implementation and explore on IBC blockages. * Vishal will implement the final flow of input parsing for custom multisig. * Deepan will implement the eVoting using tornado cash logic zkProof concept ## June 6, 2024 **Attendees**: Murthy, Anil, Akhil, Sai Teja, Deepan, Vishal * Updates: * Vishal explained implementation custom threshold multisig with * Deepan explained about the two ways of implementation of e-Voting * Sai Teja explained the key issues in IBC implementation. * Next Actions: * Vishal will be checking if we can read the txnMsg inside the circuit. * Deepan will be checking the possibility of e-governance implementation procedure and secured circuit for the same. * Sai Teja will explore the ethereum IBC implementation and communicate with Aditya (if required). ## May 29, 2024 **Attendees**: Murthy, Anil, Akhil, Sai Teja, Deepan, Vishal * Updates: * SaiTeja explained implementation of Voting and Multisig using zkSnark * Vishal explained the multisig implementation using zk Snark * Deepan explained the multisig implementation using zk Snark * Discussed about IBC arch using zk (Basic overview) * Next Actions: * Deepan will work on e-voting using zk * SaiTeja will prepare rough draft specs on IBC zk. * Vishal will be fixing issues on zk snark multisig implementation and adding extra feature over it. * Anil will verify if sharing the prover key publicly is secured or not. ## May 22, 2024 **Attendees**: Murthy, Anil, Akhil, Sai Teja, Deepan, Vishal * Updates: * Deepan presented session on zkSync. * Akhil presented session on Polygon Hermez. * Vishal presented session on Telepathy of Succinct Labs. * SaiTeja explained proof aggregators and implementation of Ethan Buchman's ZK-account. Proposed idea of implementing same circuits for multisig accounts. Trying to implement circuits for authz module. * Next Actions: * SaiTeja will be focussing on implementing private governance on SDK. * Akhil will be testing zk-account implementation on authz transactions. * Vishal and Deepan will be implementing zk-proof suppported multisig accounts. * Next Session is planned on Wednesday (05/29/2024). ## May 17, 2024 **Attendees**: Murthy, Anil, Akhil, Sai Teja, Deepan, Vishal * Updates: * Sai Teja presented session regarding custom implementation of ZK-proof with bank transfer as example. * Later presented demo of code implementation. * Discussed regarding Ethan Buchman's ZK-account implementation and it needed further investigation as it is related to Celestia Rollup and new team doesn't have much knowledge on it. * Next Actions: * Akhil, Vishal and Deepan will be exploring more on ZK-proofs and each will be exploring one of Polygon Hermez, Succinct labs and zkSync implementations. * Sai Teja will be looking over: * Account issues with current Celestia Rollup and reason for Ethan Buchman's zk-account implementation. * Exploring Proof Aggregator and will try to implement * Trying ZK-proof implementation on complex circuits like authz messages. * Next session is planned on Wednesday (05/22/2024). ## May 14, 2024 **Attendees**: Anil, Bhargav, Chary, Akhil, Sai Teja, Vishal, Deepan * Updates: * Sai Teja presented session regarding * ZK-SNARK * Finite Fields * Modular Arithmetic * Discrete Logarithm Problem * Circuits * CS, R1CS * Polynomial * ZK proof implementation design using GNARK * Present current problem statement SaiTeja working on * Sai Teja will be completing custom implementation and remaining team will be exploring Ethan Buchman's account abstract ZK implementation. * Demos of above both implementations will be given on Thursday (05/16/2024). * Next week onwards, we will be starting on IBC ZK implementation. ## May 9, 2024 **Attendees**: Murthy, Anil, Akhil, Sai Teja, Vishal, Deepan, Deepak * Updates: * We will be having four phases of learning 1) Ground level understanding 2) Brain Storming 3) Implementation 4) Public branding like adding blogs, tweets, threads etc... * We will be having a weekly catchup on every Tuesday along with presenting session. * Akhil will be digging through Eth Buchman's zk-account abstract implementation. * Sai Teja will be presenting a session on next Tuesday (May 14, 2024) regarding Zero Knowledge Proofs and also presenting implementation done till now.