2d geleden
1/ Er zijn ontelbare ZK-projecten – Zcash, Polygon, StarkNet – elk met zijn eigen frontend-taal, backend bewijs systeem of applicatie.
Maar ze delen allemaal één gemeenschappelijke laag:
Frontend → Algebraïsche Circuit (IR)→ Backend
De Intermediate Representation (IR) of algebraïsch circuit is de gemeenschappelijke draad.
Het minimaliseren van de IR zou de sleutel kunnen zijn tot het bereiken van realtime ZK-bewijzen, niet voor een enkele applicatie, maar voor het hele ZK-ecosysteem.
3/ Omdat het schrijven van een geoptimaliseerde IR moeilijk is.
Het uitbreiden van beperkingen kan leiden tot een explosie in geheugen, en IR-ontwerp in ZK is nog een jong veld, in tegenstelling tot traditionele wiskunde of compiler-theorie, die tientallen jaren optimalisatiewerk hebben gehad.
We geloven dat we door bewezen ideeën uit de algebra en andere wiskundige velden in het ZK-domein te mappen, een nieuwe golf van efficiëntie kunnen ontgrendelen.
4,74K
76
De inhoud op deze pagina wordt geleverd door derden. Tenzij anders vermeld, is OKX niet de auteur van het (de) geciteerde artikel(en) en claimt geen auteursrecht op de materialen. De inhoud is alleen bedoeld voor informatieve doeleinden en vertegenwoordigt niet de standpunten van OKX. Het is niet bedoeld als een goedkeuring van welke aard dan ook en mag niet worden beschouwd als beleggingsadvies of een uitnodiging tot het kopen of verkopen van digitale bezittingen. Voor zover generatieve AI wordt gebruikt om samenvattingen of andere informatie te verstrekken, kan deze door AI gegenereerde inhoud onnauwkeurig of inconsistent zijn. Lees het gelinkte artikel voor meer details en informatie. OKX is niet verantwoordelijk voor inhoud gehost op sites van een derde partij. Het bezitten van digitale activa, waaronder stablecoins en NFT's, brengt een hoge mate van risico met zich mee en de waarde van deze activa kan sterk fluctueren. Overweeg zorgvuldig of de handel in of het bezit van digitale activa geschikt voor je is in het licht van je financiële situatie.