Nag-aaral ako kung paano tinutukoy ng Cosmos IBC ang konsensyo sa Ethereum gamit ang SP1 proofs. Isang bagay na mas interesado akong malaman kaysa sa mga ZK proofs mismo ay sino ang nagtataglay ng kontrol sa verifier. Dahil kahit mayroon ka nang matematikal na wastong proofs, kung mayroon kang pahintulot na i-upgrade ang light client o baguhin ang mga verification keys na pinipiwis, iyon ay isang buong iba’t ibang tanong sa seguridad. Ang Ethereum deployment ay gumagamit ng 4-of-7 multisig na may timelocked na administrative controls. Ngayon, gusto kong tukuyin eksaktong ano ang maaaring baguhin ng mga admin, kung maaaring mai-introduce ang isang masamang verifier sa pamamagitan ng upgrade, at ano ang maaaring gawin ng mga user habang nasa timelock. Ang ZK ay nagpapatotoo na isang partikular na computation ay tama na ginawa. Hindi ito nagpapatotoo na ang mga tao na nagtataglay ng kontrol kung anong computation ang i-verify ay hindi maaaring baguhin. Iyon ang bahagi na gusto kong pag-aralan.