1/ Il existe d'innombrables projets ZK – Zcash, Polygon, StarkNet – chacun avec son propre langage frontend, systĂšme de preuve backend ou application. Mais ils partagent tous une couche commune : Frontend → Circuit AlgĂ©brique (IR) → Backend La ReprĂ©sentation IntermĂ©diaire (IR) ou circuit algĂ©brique est le fil conducteur commun. Minimiser l'IR pourrait ĂȘtre la clĂ© pour atteindre des preuves ZK en temps rĂ©el, non pas pour une seule application, mais Ă  travers l'ensemble de l'Ă©cosystĂšme ZK.
3/ Parce que rédiger un IR optimisé est difficile. L'expansion des contraintes peut exploser en mémoire, et la conception d'IR dans le domaine ZK est encore un domaine jeune, contrairement aux mathématiques traditionnelles ou à la théorie des compilateurs, qui ont bénéficié de décennies de travaux d'optimisation. Nous croyons qu'en cartographiant des idées éprouvées de l'algÚbre et d'autres domaines mathématiques dans le domaine ZK, nous pouvons débloquer une nouvelle vague d'efficacité.
Afficher l’original
4,63 k
75
Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles citĂ©s et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni Ă  titre d’information uniquement et ne reprĂ©sente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas ĂȘtre considĂ©rĂ© comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numĂ©riques. Dans la mesure oĂč l’IA gĂ©nĂ©rative est utilisĂ©e pour fournir des rĂ©sumĂ©s ou d’autres informations, ce contenu gĂ©nĂ©rĂ© par IA peut ĂȘtre inexact ou incohĂ©rent. Veuillez lire l’article associĂ© pour obtenir davantage de dĂ©tails et d’informations. OKX n’est pas responsable du contenu hĂ©bergĂ© sur des sites tiers. La dĂ©tention d’actifs numĂ©riques, y compris les stablecoins et les NFT, implique un niveau de risque Ă©levĂ© et leur valeur peut considĂ©rablement fluctuer. Examinez soigneusement votre situation financiĂšre pour dĂ©terminer si le trading ou la dĂ©tention d’actifs numĂ©riques vous convient.