15.
KZG function binding proved in Lean
A Lean proof of KZG function binding in Ethereum’s SNARK verification library strengthens the formal foundation under cryptographic commitments
@tobiasrth on Backlist
1 appearance on the backlist front page in the last 30 days.