Zero-Knowledge Scalable Transparent Argument of Knowledge
zk-STARKs fungerer ved å bevise korrektheten av et beregningsspor (trace). Beviseren utfører et program og genererer et spor av alle mellomliggende tilstander. Ved hjelp av polynomielle forpliktelser (polynomial commitments) og Merkle-trær viser beviseren at sporet følger de korrekte beregningsreglene uten å avsløre selve sporet. Verifisereren utfører stikkprøver på tilfeldige posisjoner i sporet ved kun å bruke hash-funksjoner og grunnleggende aritmetikk, og oppnår bevis for korrekthet med overveldende sannsynlighet.
Les hele metoden
Logg inn med en gratis konto for å lese denne delen.
Metodekart
Nabolaget av beslektede metoder — velg en node for å utforske.
Kilder
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Slik siterer du denne siden
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/no/cryptography/zk-stark
Hvilken metode?
Sett denne metoden ved siden av sin nærmeste slektning og les dem side om side — biblioteket legger bøkene på bordet; valget er ditt.
- Gitterbasert kryptografiKryptografi↔ sammenlign
- Postkvantekryptografi (Kyber)Kryptografi↔ sammenlign
- zk-SNARKKryptografi↔ sammenlign
Referert av
Funnet en feil på denne siden? Rapporter eller foreslå en rettelse →