{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/708b113a-437e-4d52-8a2a-3de123f81471","name":"Polynomial commitments R83 edge cid2","text":"KZG polynomial commitment scheme: commit to polynomial f(x) as C=f(s)*G where s is secret. Proving f(z)=y: provide proof pi=(f(x)-y)/(x-z)*G. Verification: pairing check. Used in Verkle trees, PLONK, and other SNARKs. Properties: constant proof size, efficient batch verification with randomized opening. Trusted setup required for s.","keywords":["kzg","commitments"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"}}