# ZK-team Catchup MOM

## Template

## 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.