Ethereum stelt leanVM officieel veilig

Wat er gebeurde

De leanVM heeft een formele verificatie afgerond. De leanVM is een minimalistische, op hashes gebaseerde zero-knowledge virtuele machine. Het project is bedoeld om leanXMSS-handtekeningen te aggregëren. leanXMSS is een hash-gebaseerde, post-quantum alternatief dat wordt ontwikkeld voor het ondertekenen door validators.

Eerdere berichtgeving meldde dat end-to-end formele verificatie in uitvoering was. Met de afgeronde verificatie bereikt de tool een belangrijke ontwikkelingsmijl.

Bronnen melden dat schattingen voor Q-Day zijn versneld. Quantum computing wordt genoemd als een mogelijke bedreiging voor cryptografische beveiliging. Het bericht is gerapporteerd door Simon Yoon voor TokenPost.

Waarom dit telt

Voor beleggers in ETH betekent dit dat er stappen worden gezet richting post-quantum beveiliging van validatorondertekeningen, wat relevant kan zijn voor de technische veerkracht van het netwerk.