Finst

Ethereum nieuws

Vitalik Buterin wil AI-proofs leesbaar maken met nieuwe taal

Vitalik Buterin wil AI-proofs leesbaar maken met nieuwe taal

Buterin richt zich op formele verificatie: een taal die AI-gegenereerde proofs beter leesbaar maakt voor Lean en HOL. Dat sluit aan bij Ethereum’s Lean-roadmap en de ontwikkeling van een formeel geverifieerde ZK-EVM.

Ethereum het eerste blockchainplatform waarop smart contracts en decentralized apps draaien.

Ethereum maakt meer mogelijk dan alleen betalingen. Ontwikkelaars gebruiken het netwerk voor DeFi, NFT''s, tokens, games en andere programmeerbare toepassingen.