Mikä on Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) on todistusjärjestelmä, jonka avulla voidaan todistaa laskutoimituksen oikeellisuus paljastamatta syötteitä tai koko laskutoimitusta. Se skaalautuu ja on läpinäkyvä, koska se ei vaadi luotettua seremoniaa vaan perustuu yksinkertaiseen hash-matematiikkaan, mikä sopii hyvin yhteen myös kvanttilaskennan jälkeisten menetelmien kanssa. Ajattele sitä pienenä, todennettavana kuittina, joka vahvistaa tehtävän tehdyksi näyttämättä itse tehtävää.
”zk-STARK on vain sama asia kuin SNARK.” Ei aivan. Se on eräs nollatietotodistuksen (ZKP) muoto, mutta se välttää luotetun alustuksen, pyrkii kestämään kvanttilaskennan uhkia ja hyväksyy hieman suuremmat todistukset vastineeksi nopeasta, julkisesta varmennuksesta.
Miten Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) toimii
Kuvittele rollup, joka todistaa tuhansien kauppojen käsittelyn tapahtuneen oikein. Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) -menetelmän avulla lohkoketjun ei tarvitse suorittaa kaikkea uudelleen. Se vain tarkistaa tiiviin todistuksen ja jatkaa eteenpäin.
- Vaihe 1: Todistaja valitsee väitteen, jonka haluaa todistaa, esimerkiksi ”tämä tapahtumaerä noudatti sääntöjä”.
- Vaihe 2: Laskutoimituksesta muodostetaan rakenteinen jälki. Todistaja sitoutuu jälkeen hasheilla, jotta sitä ei voida muuttaa myöhemmin.
- Vaihe 3: Monimutkaista matematiikkaa, joka on kätketty helppolukuisen koodin taakse. Todistaja rakentaa pienen todistuksen, jota olisi hyvin vaikea väärentää.
- Vaihe 4: Todiste lähetetään varmentajalle, usein älysopimukselle. Varmentaja suorittaa kevyet tarkistukset.
- Vaihe 5: Jos todistus läpäisee tarkistukset, tulos hyväksytään lohkoketjussa ja tila päivittyy. Lopputuloksena on parempi suorituskyky ja kapasiteetti pienemmällä datamäärällä.
Siinä toimintamalli, liitupölyä lukuun ottamatta.
Miksi Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) on tärkeä
Tämä on tärkeää, koska se muuttaa tapaa, jolla lohkoketjuista tehdään nopeita ja yksityisiä luopumatta luottamuksesta.
- Hyöty: Suuret laskutoimitukset muuttuvat pieniksi tarkistuksiksi, mikä säästää kuluja ja aikaa.
- Näkökulma: Voit todistaa oikeellisuuden ja samalla säilyttää syötteiden yksityisyyden. Jaa todiste, älä salaisuuksia.
- Merkitys: Näet tätä rollupeissa, pelaamisessa, NFT:issä ja maksuissa, joissa nopeus ja varmuus ovat tärkeitä.
Kun näet projektin käyttävän zk-STARKia, tarkista kaksi asiaa: välttääkö se luotetun alustuksen ja pitääkö se calldata-datan määrän pienenä rekursion tai kekseliään datan saatavuusratkaisun avulla. Nämä valinnat vaikuttavat kuluihin ja käyttömukavuuteen.
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) -menetelmän keskeiset ominaisuudet
Tässä ovat sen erottavat piirteet:
- Läpinäkyvä: Ei luotetun alustuksen seremoniaa, joten sinun ei tarvitse luottaa mihinkään erityiseen ryhmään.
- Skaalautuva: Suunniteltu merkittävään skaalautuvuuteen; suuret työmäärät kootaan pieniksi todistuksiksi.
- Kvanttilaskennan kestävä: Perustuu hash-funktioihin, joiden katsotaan kestävän paremmin tulevaisuuden kvanttitemppuja.
Muunnelmat
Tässä muutamia samankaltaisia menetelmiä, joista kuulet:
- SNARKit: Pienemmät todistukset ja nopea varmennus, mutta vaativat usein luotetun alustuksen. zk-STARKeihin verrattuna kompromissit ovat erilaiset.
- Validiteettitodistukset: Yläkäsite, joka kattaa SNARKit ja STARKit. Niillä todistetaan tilapäivityksen oikeellisuus.
- Petostodistukset: Käytössä optimistisissa rollupeissa. Oletetaan toiminta oikeaksi, kunnes joku todistaa virheen ja esittää haasteen.
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) todistaa oikeellisuuden, ei laillisuutta tai oikeudenmukaisuutta. Se voi piilottaa syötteet, mutta oletusarvoisesti se ei piilota kaikkia metatietoja, ellei sovellusta ole suunniteltu sitä varten.
Esimerkki
DeFi-pörssi Starknetissä kokoaa kauppoja eriin ja julkaisee yhden zk-STARK-todistuksen Ethereumissa, jolloin lohkoketju voi varmentaa koko erän mahdollisimman pienillä gas-kuluilla.
Hauska fakta
Lyhenteen loivat tutkijat, mukaan lukien Eli Ben Sasson, ja kyllä, STARK tarkoittaa myös saksaksi vahvaa. Se sopii hyvin, sillä menetelmä perustuu vankkoihin hash-funktioihin raskaiden julkisen avaimen seremonioiden sijaan.
Yhteenveto
Lyhyesti: zk-STARK tuottaa pieniä todistuksia siitä, että suuri työ on tehty, joten voit luottaa tuloksiin näkemättä dataa.