✨ AI-Resumo
- La bloga afiŝo diskutas la aperon de ZK-akumulaĵoj kiel solvo al la limigoj, kiujn alfrontas Blockchain-teknologio, rilate al transakcia trairo kaj altaj kotizoj.
- ZK-akumuliĝoj, ankaŭ konataj kiel nul-sciaj akumuliĝoj, estas tavolo-2-skala aliro kiu kombinas la sekurecon de la subesta Blokĉeno kun eksterĉena transakcia prilabora efikeco.
- Ĉi tio atingiĝas per la uzo de nul-sciaj pruvoj, kie transakcioj estas faskigitaj en arojn, prilaboritaj ekster la ĉeno, kaj poste kontrolitaj sur la ĉefa ĉeno sen malkaŝi specifajn detalojn.
- La afiŝo komparas ZK-kunplikojn kun optimismaj kunplikoj, elstarigante la pli fortajn sekurecgarantiojn kaj plibonigojn de skalebleco de ZK-kunplikoj.
- Ankaŭ estas provizitaj realvivaj ekzemploj de efektivigo de ZK-kuniĝoj fare de kompanioj kiel Matter Labs, StarkWare, Loopring, Immutable X, kaj Hermez.
La apero de blokĉena teknologio kaŭzis malcentralizitajn kaj sekurajn transakciojn, sed ĝi ankaŭ enkondukis limigojn rilate al transakcia trairo kaj altaj kotizoj. Ĉi tiuj limigoj malhelpis la ĝeneraligitan adopton de blokĉena teknologio. Jen kie ZK-akumulaĵoj aperis.
Kio estas ZK-Amasoj?
ZK-akumuliĝoj, ankaŭ konataj kiel nul-sciaj akumuliĝoj, estas tavolo-2-a blokĉena skala aliro desegnita por redukti transakciajn kostojn kaj plibonigi skaleblon. Ili kombinas la sekurecajn garantiojn de la subesta blokĉeno kun la efikeco de eksterĉena transakcia prilaborado. ZK-akumuliĝoj funkcias per kunigado de pluraj transakcioj en unuopan aron, konatan kiel akumuliĝo, kaj poste generado de konciza pruvo, kiu atestas la validecon de ĉiuj transakcioj en la aro.
Ĉi tiu pruvo estas generita per nul-sciaj pruvoj, kriptografia tekniko kiu permesas al pruvanto demonstri scion pri certaj informoj sen malkaŝi la faktajn informojn mem. En la kazo de zk-akumulaĵoj, la pruvo montras, ke la transakcioj en la akumulaĵo estas validaj laŭ la reguloj de inteligenta kontrakto sen malkaŝi la detalojn de ĉiu individua transakcio.
Kiel funkcias ZK-kunigoj?
Jen paŝon post paŝa superrigardo pri kiel funkcias ZK-agregaĵoj:
- Transakcia Agrego: Uzantoj sendas siajn individuajn transakciojn al ZK-akumula funkciigisto. Ĉi tiuj transakcioj estas kolektitaj kaj kunigitaj en akumulan aron. Ĉi tiu agregado reduktas la nombron de transakcioj, kiujn oni devas prilabori sur la ĉefa ĉeno.
- Eksterĉena Komputado: Post kiam la kuniga aro estas formita, la ZK-kuniga operatoro prilaboras la transakciojn ekster la ĉeno. La komputado implikas la plenumon de la inteligentaj kontraktoj aŭ transakcia logiko asociita kun ĉiu transakcio en la kunigo. Ĉi tiu komputado okazas ekster la ĉeno, kio signife reduktas la komputilan ŝarĝon sur la ĉefa ĉeno.
- Pruvoj de Nulo-Scio: Post la eksterĉena komputado, la ZK-akumula operatoro generas nul-scian pruvon. Ĉi tiu pruvo estas kriptografia konstruo, kiu montras la validecon de la transakcioj en la akumula aro sen malkaŝi la specifajn detalojn de ĉiu transakcio. Nul-sciaj pruvoj ebligas kontroli la korektecon kaj plenumon de la reguloj de la inteligenta kontrakto de la transakcioj sen malkaŝi sentemajn informojn.
- Ĉefa Ĉena Submetiĝo: La ZK-akumula funkciigisto sendas la nul-scian pruvon kune kun resumo aŭ haŝo de la akumula aro al la ĉefa ĉeno. La ĉefa ĉeno ne bezonas plenumi la plenan kalkulon de ĉiu transakcio aŭ konservi ĉiujn transakciajn detalojn. Anstataŭe, ĝi kontrolas la validecon de la nul-scia pruvo kaj la integrecon de la resumo, certigante, ke la akumula aro konformas al la reguloj de la inteligenta kontrakto.
- Ŝtata Ĝisdatigo: Post kiam la ĉefa ĉeno kontrolas la pruvon de nul-scio kaj la integrecon de la kuniga aro, ĝi ĝisdatigas la staton de la inteligenta kontrakto sur la ĉefa ĉeno surbaze de la rezulto de la kuniga aro. La stattransiro estas tipe reprezentita kiel kunpremita versio aŭ Merkle-radiko de la statŝanĝoj ene de la kuniga aro, kiu estas stokita sur la ĉefa ĉeno.
- Sekureco kaj Fineco: La sekureco de ZK-kunmetaĵoj dependas de la ĉifraj ecoj de la nul-scia pruvsistemo kaj la supozoj de la konsenta mekanismo de la subesta Blokĉeno. Post kiam la stato estas ĝisdatigita sur la ĉefa ĉeno, la kunmeta aro fariĝas finpretigita, kaj la rezultoj estas konsiderataj tiel validaj kaj sekuraj kiel la subesta Blokĉeno mem.
ZK-Kompletigoj kontraŭ Optimismaj Kompletigoj
Kvankam kaj optimismaj kaj ZK-akumuliĝoj celas plibonigi skaleblon kaj redukti transakciajn kostojn, ili uzas malsamajn alirojn por atingi ĉi tiujn celojn.
- Valideca Aserto
En optimismaj resumoj, transakcioj estas komence supozataj validaj kaj prilaboritaj ekster la ĉeno sen tuja konfirmo sur la ĉefa ĉeno.
ZK-kunmetaĵoj uzas nul-scion pri pruvoj, kiuj permesas al la pruvanto montri la validecon de transakcioj sen malkaŝi iliajn detalojn.
- Sekureco
Anstataŭ kontroli ĉiun transakcion individue, optimismaj amasiĝoj dependas de defio-bazita mekanismo, kie uzantoj povas sendi fraŭdopruvojn se ili detektas iujn ajn malvalidajn aŭ malicajn transakciojn.
ZK-kunigoj provizas pli fortajn sekurecgarantiojn, ĉar la valideco de ĉiu transakcio estas matematike pruvita ene de la nul-sciaj pruvoj. Tio forigas la bezonon de fraŭdopruvoj kaj la rilatajn defiojn.
- Eblaj Kompromisoj
Optimismaj kunigoj povas havi pli altan latentecon kompare kun ZK-kunigoj, ĉar ekzistas tempoprokrasto inter la eksterĉena prilaborado kaj la fina konfirmo sur la ĉefa ĉeno. Ankaŭ ekzistas malgranda ŝanco, ke fraŭdaj transakcioj restos nerimarkitaj ĝis ili estos defiitaj.
ZK-kunigoj povas postuli pli kompleksajn kriptografiajn kalkulojn kaj pli altan nivelon de teknika kompetenteco por efektivigi. Ili ankaŭ povas havi iomete pli altajn komputilajn kostojn kompare kun optimismaj kunigoj.
Primaraj Defioj Solvitaj per ZK-Amasoj
- escalabilidad
Blokĉenaj retoj, kiel ekzemple Ethereum, alfrontas limigojn de skaleblo rilate al transakcia trairo. ZK-agregaĵoj ebligas la kunigon de pluraj transakcioj en unuopan aron, reduktante la nombron de ĉenaj transakcioj kaj signife pliigante la skaleblon de la reto.
- Altaj Transakciaj Kostoj
Tradiciaj ĉenaj transakcioj povas esti multekostaj pro gaskostoj. ZK-agregaĵoj reduktas transakciajn kostojn per agregado de pluraj transakcioj en unuopan aron, minimumigante la komputilajn kaj stokajn postulojn en la ĉefa ĉeno.
- Privateco kaj Konfidenco
ZK-agregaĵoj uzas nul-sciajn pruvojn por validigi la integrecon de transakcioj sen malkaŝi la detalojn de la transakcio. Tio certigas privatecon kaj konfidencon, ĉar sentemaj informoj restas kaŝitaj dum ili ankoraŭ estas konfirmeblaj.
- Eksterĉena Komputado
ZK-agregaĵoj plenumas plejparton de la komputila laboro ekster la ĉeno, reduktante la ŝarĝon sur la ĉefa ĉeno. Ĉi tiu eksterĉena komputado ebligas pli rapidan transakcian prilaboradon kaj pli efikan uzon de blokĉenaj rimedoj.
- interoperabilidad
ZK-agregaĵoj povas faciligi interoperacieblecon inter malsamaj blokĉenaj retoj per agregado de transakcioj de pluraj ĉenoj en unuopan agregaĵon. Tio ebligas transĉenajn transakciojn kaj interagojn sen la bezono de kompleksaj pontoj aŭ perantoj.
Realvivaj Ekzemploj de Efektivigo de ZK-Aro
- Materiaj Laboratorioj
Matter Labs disvolvis la protokolon zkSync, kiu estas Tavolo-2-skala solvo bazita sur ZK-kunigoj por Ethereum. zkSync celas provizi altan skaleblon kaj malaltajn transakciajn kostojn, samtempe konservante sekurecon kaj malcentralizon.
- Starkware
StarkWare disvolvis la platformon StarkEx, kiu uzas ZK-akumulaĵojn por skali Ethereum kaj aliajn blokĉenajn retojn. StarkEx ebligas altan trairon, permesante milojn da transakcioj po sekundo, samtempe utiligante nul-sciajn pruvojn por privateco kaj skalebleco.
- Loopring
Loopring estas malcentralizita interŝanĝa (DEX) protokolo kiu uzas ZK-akumulojn por plibonigi skaleblecon kaj redukti kostojn. La ZK-akumula teknologio de Loopring ebligas alt-efikecan mendo-akordigon kaj -setladon sur Ethereum, provizante senjuntan komercan sperton minimumigante gasajn kotizojn.
- Neŝanĝebla X
Immutable X estas Tavolo-2 skala solvo por Ethereum konstruita sur ZK-akumula teknologio. Ĝi fokusiĝas al skalado de videoludado kaj ne-interŝanĝeblaj ĵetonoj (NFT) aplikoj. Immutable X ofertas rapidajn kaj sekurajn transakciojn, ebligante skaleblajn videoludajn spertojn kaj reduktante la median efikon de NFT-kreado kaj komercado.
- Hermez
Hermez estas projekto, kiu uzas ZK-akumulaĵojn por ebligi skaleblajn kaj efikajn ĵetontranslokigojn sur Ethereum. Ĝi celas provizi malcentralizitan kaj senfidan solvon por pagoj kaj translokigoj, permesante altan trairon kaj malaltajn kotizojn, samtempe certigante privatecon kaj sekurecon.
Kontaktu niajn fakulojn por disvolvi solvojn por skalado de blokĉeno de tavolo 2 hodiaŭ.
Plani Senpagan Demonstraĵonkonkludo
Konkluzive, la bezono de ZK-agregaĵoj ekestis pro la kreskanta postulo je blokĉenaj retoj por pritrakti pli altan kvanton da transakcioj laŭ pli efika kaj kostefika maniero. Oferante skaleblan solvon, kiu konservas la sekurecajn garantiojn de la subesta blokĉeno kaj samtempe protektas privatecon, ZK-agregaĵoj gajnis atenton kaj adopton en la merkato kiel praktika rimedo por plibonigi la skaleblon kaj uzeblecon de blokĉenoj. Kvankam la ekosistemo de ZK-agregaĵoj konstante evoluas, oni atendas, ke multaj kompanioj aliĝos al la spaco dum la teknologio maturiĝas kaj akiras pli larĝan adopton.
Antier estas ĉefa blokĉena disvolva kompanio, kiu helpas entreprenojn efektivigi ZK-kompletigojn en siaj ekzistantaj blokĉenaj solvoj.
