Před 1 dnem
1/ Projektů ZK je nespočet – Zcash, Polygon, StarkNet – každý s vlastním frontendovým jazykem, backend proof systémem nebo aplikací.
Všechny však sdílejí jednu společnou vrstvu:
Frontend → algebraický obvod (IR)→ backend
Přechodná reprezentace (IR) nebo algebraický obvod je společným vláknem.
Minimalizace IR by mohla být klíčem k dosažení důkazů ZK v reálném čase, a to nikoli pro každou jednotlivou aplikaci, ale v celém ekosystému ZK.
3/ Protože psaní optimalizovaného IR je těžké.
Rozšiřující se omezení mohou explodovat v paměti a návrh IR v ZK je stále mladý obor, na rozdíl od tradiční matematiky nebo teorie kompilátorů, které mají za sebou desetiletí optimalizační práce.
Věříme, že mapováním ověřených myšlenek z algebry a dalších matematických oborů do domény ZK můžeme odemknout novou vlnu efektivity.
4,66 tis.
75
Obsah na této stránce poskytují třetí strany. Není-li uvedeno jinak, společnost OKX není autorem těchto informací a nenárokuje si u těchto materiálů žádná autorská práva. Obsah je poskytován pouze pro informativní účely a nevyjadřuje názory společnosti OKX. Nejedná se o doporučení jakéhokoli druhu a nemělo by být považováno za investiční poradenství ani nabádání k nákupu nebo prodeji digitálních aktiv. Tam, kde se k poskytování souhrnů a dalších informací používá generativní AI, může být vygenerovaný obsah nepřesný nebo nekonzistentní. Další podrobnosti a informace naleznete v připojeném článku. Společnost OKX neodpovídá za obsah, jehož hostitelem jsou externí weby. Držená digitální aktiva, včetně stablecoinů a tokenů NFT, zahrnují vysokou míru rizika a mohou značně kolísat. Měli byste pečlivě zvážit, zde je pro vás obchodování s digitálními aktivy nebo jejich držení vhodné z hlediska vaší finanční situace.