Vitalik thotë se bërja e provave ZK 'të kuptueshme' është e nevojshme për Ethereum

Bërja e provave të njohurive zero (ZKP) "të kuptueshme dhe të arritshme" për njerëzit është e nevojshme për të mbajtur ekosistemin Ethereum "të hapur dhe mikpritës" për njerëzit pa diplomë matematike, shkroi në Twitter më 26 tetor, bashkëthemeluesi i Ethereum, Vitalik Buterin.

ZKP-të shpesh referohen si "matematikë e hënës" për shkak të kompleksitetit të tyre.

Buterin shtoi se "Decentralizimi nuk kërkon të heqësh dorë dhe të tundësh një doktoraturë duke thënë "është një kuti e zezë, ne jemi të zgjuar, na besoni".

Lëvizja, një zgjidhje e shkallëzimit të Ethereum të shtresës 2 me njohuri zero, shpjeguar në një blog si funksionojnë skemat e angazhimit polinom, një pjesë kritike e disa ZKP-ve, dhe si mund të ndihmojnë në shkallëzimin e Ethereum.

Polinomet janë shprehje matematikore që përfaqësojnë më shumë se dy terma algjebrikë. Sipas blogut Scroll, polinomet mund të ndihmojnë në paraqitjen efikase të të dhënave të mëdha.

Një skemë angazhimi është një protokoll kriptografik në të cilin dikush angazhohet për një mesazh dhe e mban atë të fshehur, por mund ta zbulojë mesazhin më vonë. Megjithatë, kryerësi nuk mund ta ndryshojë mesazhin pasi të jetë përkushtuar ndaj tij, gjë që i bën skemat e angazhimit të detyrueshme.

Në një skemë angazhimi polinomial, dikush angazhohet për një polinom në vend të një mesazhi. Skema e angazhimit polinom i plotëson të gjitha vetitë e skemave normale të angazhimit. Por ai ka një veçori shtesë që i mundëson kryerësit të provojë se ai u angazhua për një polinom të caktuar që plotëson vetitë e kërkuara pa e zbuluar vetë polinomin.

KZG në Scaling Ethereum

Ndërsa ekzistojnë skema të ndryshme të angazhimit polinomial, Kate-Zaverucha-Goldberg (KZG) është i popullarizuar në hapësirën e blockchain dhe përdoret nga sistemet e provës së Scroll. KZG gjithashtu do të integrohet në Ethereum me Proto-Danksharding, që do të zbatohet përmes EIP-4844, e cila u propozua në shkurt 2022.

Proto-Danksharding është një zgjidhje ndaluese derisa Danksharding, e cila mund ta bëjë më të lirë përdorimin e grumbullimeve, të mund të zbatohet. Proto-Danksharding prezanton një lloj të ri transaksioni të quajtur "transaksion me blob-carrying". Këto transaksione mbajnë një blob të dhënash prej 128 kb, i cili nuk mund të aksesohet nga shtresa e ekzekutimit të Ethereum. Në vend të kësaj, vetëm angazhimi ndaj blobit të të dhënave do të jetë i aksesueshëm nga Ethereum.

Blloku i të dhënave përfaqësohet si një polinom dhe skema e angazhimit polinomial KZG përdoret për të krijuar një angazhim ndaj të dhënave. Kjo lejon që vetitë e pikës së të dhënave të verifikohen pa zbuluar të gjithë pikën e të dhënave.

Prandaj, përdorimi i KZG mund të mundësojë marrjen e mostrave të disponueshmërisë së të dhënave (DAS), e cila do të zbatohet në rrugën drejt Danksharding të plotë. DAS në thelb u mundëson validuesve të sigurojnë që blobi i të dhënave është i disponueshëm dhe i saktë, pa pasur nevojë të lexojë të gjithë pikën e të dhënave.

Kjo, nga ana tjetër, mund të ndihmojë në mënyrë të konsiderueshme në rritjen e shkallëzueshmërisë së Ethereum pasi që vërtetuesit duhet të merren me më pak të dhëna.

Burimi: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/