1 d sedan
1/ Det finns otaliga ZK-projekt â Zcash, Polygon, StarkNet â var och en med sitt eget frontend-sprĂ„k, backend-bevissystem eller applikation.
Men de har alla en sak gemensamt:
Frontend â Algebraic Circuit (IR)â Backend
Den mellanliggande representationen (IR) eller den algebraiska kretsen Àr den röda trÄden.
Att minimera IR kan vara nyckeln till att uppnÄ ZK-bevis i realtid, inte för nÄgon enskild applikation, utan över hela ZK-ekosystemet.
3/ Eftersom det Àr svÄrt att skriva en optimerad IR.
Expanderande begrÀnsningar kan explodera i minnet, och IR-design i ZK Àr fortfarande ett ungt omrÄde, till skillnad frÄn traditionell matematik eller kompilatorteori, som har haft decennier av optimeringsarbete.
Vi tror att genom att kartlÀgga beprövade idéer frÄn algebra och andra matematiska omrÄden till ZK-domÀnen kan vi lÄsa upp en ny vÄg av effektivitet.
4,63Â tn
75
InnehÄllet pÄ den hÀr sidan tillhandahÄlls av tredje part. Om inte annat anges Àr OKX inte författare till den eller de artiklar som citeras och hÀmtar inte nÄgon upphovsrÀtt till materialet. InnehÄllet tillhandahÄlls endast i informationssyfte och representerar inte OKX:s Äsikter. Det Àr inte avsett att vara ett godkÀnnande av nÄgot slag och bör inte betraktas som investeringsrÄdgivning eller en uppmaning att köpa eller sÀlja digitala tillgÄngar. I den mÄn generativ AI anvÀnds för att tillhandahÄlla sammanfattningar eller annan information kan sÄdant AI-genererat innehÄll vara felaktigt eller inkonsekvent. LÀs den lÀnkade artikeln för mer detaljer och information. OKX ansvarar inte för innehÄll som finns pÄ tredje parts webbplatser. Innehav av digitala tillgÄngar, inklusive stabila kryptovalutor och NFT:er, innebÀr en hög grad av risk och kan fluktuera kraftigt. Du bör noga övervÀga om handel med eller innehav av digitala tillgÄngar Àr lÀmpligt för dig mot bakgrund av din ekonomiska situation.