Talks

“Functional Commitments and the KZG in ArkLib/Lean”.
ZKProof 8 slides | recording

“On the Formal Verification of Polynomial Commitment Schemes: the KZG and beyond”.
ZKProof 7. slides | recording

“Formally Verifying the KZG Polynomial Commitment Scheme”.
0xCastle. slides