Zero-knowledge proof verifieert specifieke bitcointransactie zonder onderliggende data

Wat er gebeurde

Een zero-knowledge proof is een cryptografische techniek waarbij een prover een verifier kan overtuigen dat een bepaalde bewering waar is, zonder de onderliggende data te laten zien. In Optimism’s voorstel is die bewering heel specifiek: dat een bepaalde Bitcoin-transactie is opgenomen in een bepaald Bitcoin-block, zoals vastgelegd in de Merkle tree van dat block.

Zonder zo’n proof moest een netwerk als Optimism vaak vertrouwen op tussenpersonen, bijvoorbeeld een multisig-groep, die meldde dat een transactie had plaatsgevonden. De zero-knowledge aanpak vervangt die vertrouwenslaag door een wiskundig verifieerbaar bewijs dat een smart contract on-chain kan checken.

Het proof verifieert alleen de ene, specifieke feitelijke claim over opname in een block. Het zegt niets over waarom de transactie is gedaan, of over eventuele afspraken buiten de keten, of over de rechten van de persoon die het bewijs indient. Het is dus geen algemene attestatie van betrouwbaarheid.

Technisch noemen de auteurs oplossingen als SP1 en RISC Zero zkVM, gecombineerd met een efficiënte verifier zoals Groth16. Volgens het voorstel kost een verificatie op Optimism ongeveer 200.000 gas, wat laag genoeg zou zijn voor herhaald gebruik in praktijk. Het voorstel staat op het governance forum van Optimism en vraagt $5.000 om ‘BitcoinMerkleVerifier_ZK’ te implementeren. Het bericht komt van Cryip, geschreven door Ilampirai Arivazhagan.

Waarom dit telt

Voor beleggers in projecten rond cross-chain verifieerbaarheid laat dit zien hoe technische keuzes de veiligheids- en vertrouwensstructuur bepalen. Een efficiënt zero-knowledge proof kan interketen-checks goedkoper en minder afhankelijk van tussenpersonen maken, maar biedt alleen zekerheid over zeer specifieke feiten.