Kuderedza computational kuomarara kwagara kuri chimwe chezvinangwa zvekutanga zve blockchain tekinoroji. Imwe nzira inoshanda yekuita izvi ndeyekudzikisa hupamhi hwemunda wekuverenga. Semuyenzaniso, maSNARK anoenderana nema elliptic curves anoita masvomhu muminda ine bit wides ye 256 kana kupfuura, ukuwo maSTARK akashanduka kubva pakushandisa 64-bit Goldilocks munda kuenda ku31-bit Mersenne31 uye BabyBear ndima. Kupfuura kugona kwenhamba dzepamusoro panguva yekushanda kwemodular, kudzikiswa kwakakosha kwehupamhi hwaita kuti Plonky2 iite mazana ekukurumidza kupfuura yakatangira, Plonky. Kutevera nzira iyi, munhu angashamisika: zvinokwanisika here kuseta hupamhi hwemunda kune 1, kunyanya ${\mathbb{F}}_{2}$? Chikwata cheUlvetanna (IRREDUCIBLE) chakapindura mubvunzo uyu mubepa ravo rekutsvagisa rakanzi Succinct Arguments pamusoro peTowers of Binary Fields.  , uye vakaishandisa muRust nepurojekiti yavo, Binius: a Hardware-Optimized SNARK  .   [1]     [2] [3]  Kubva pakaburitswa, Binius akawana kutariswa kwakakosha munharaunda yeZK (Zero-Knowledge). Chikwata cheLambdaClass chapa ongororo dzakati wandei [4][5][6], uye Vitalik Buterin akapa tsananguro inowanika.  . Muchikamu chino, tichaongorora nheyo dzeBinius, tichitarisa paTowers yeBinary Fields, kubva kune zvese zvehunyanzvi uye kuita maonero.   [7]   Binary Fields  Kuitwa kweBinius kwakavakirwa paBinary Fields. MuBinius, Binary Fields inovakwa uchishandisa shongwe dzemawedzero emunda.  Yakareruka Binary Field is   , iyo ine zvinhu zviviri chete   , ine ma operation akaitwa modulo 2: kuwedzera kunoenderana ne bitwise XOR, uye kuwanda kunoenderana ne bitwise. UYE. Nekusarudza polynomial isingachinjiki   , tinogona kugadzira ndima   , apo zvinhu zvinenge zvasara zvepolynomials edhigirii zvakanyanya 1,   ). ${{\mathbb{F}}{2}}$ ${0,1}$ $m(x) = x^{2} + x + 1$ over ${{\mathbb{F}}{2}}$ ${{\mathbb{F}}_{{2^{2}}}}$ $r(x) = ax + b$ (with $a, b \in {0, 1}$  Nepo imwe nzira yekuwedzera minda ichisanganisira kutora zvakasara uchishandisa irreducible polynomials, Binius anoshandisa nzira inoshanda: kushandiswa kweMultilinear Lagrange polynomials sehwaro hwekuwedzera shongwe. Iyi nzira inobvumira kudzokororwa kwemunda wekuwedzera, uko imwe neimwe ndima yekuwedzera inoiswa mukati meiyo yapfuura.  Iko Kunyatsoitwa kweTower Extensions kunotevera: Kutanga,   ; Zvadaro,   ; Zvadaro,  ${{\tau }{0}} = {{\mathbb{F}}{2}}$ ${{\tau }{1}} = \frac{{{\mathbb{F}}{2}}[{{x}{0}}]}{(x{0}^{2} + {{x}_{0}} + 1)}$ ${{\tau }{k}} = \frac{{{\mathbb{F}}{2}}[{{x}{k-1}}]}{(x{k-1}^{2} + {{x}{k-1}}{{x}{k-2}} + 1)}$.  Kubva pakuvakwa kwekuwedzerwa kwemunda, zviri pachena kuti mawedzero anogutsa hukama hunotevera:   . Kune   , kuwedzera kwemunda kunogonawo kuratidzwa nenzira yakananga yemhete se:  ${{\tau }{0}} \subset {{\tau }{1}} \subset {{\tau }{2}} \subset \cdots \subset {{\tau }{m}}$ $k \ge 0$ ${{\tau }{k}}={{{\mathbb{F}}{2}}[{{x}{0,}}\ldots ,{{x}{k-1}}]}/{\left( x_{0}^{2}+{{x}{0}}+1,\ldots ,x{k-1}^{2}+{{x}{k-2}}{{x}{k-1}}+1 \right)}$.   Zvichienderana nekushandiswa uku, kuwedzera kwakasiyana kunogona kuwanikwa sezvinotevera:   ${{\tau }_{0}}=\left{ 0,1 \right}$   ${{\tau }{1}}=\left{ 0+0{{x}{0}},1+0{{x}{0}},0+1{{x}{0}},1+1{{x}{0}} \right}$, or ${{\tau }{1}}=\left{ {{\tau }{0}},0+1{{x}{0}},1+1{{x}_{0}} \right}$   $${{\tau }{2}}=\left{ \begin{align} & 0+0{{x}{0}}+0{{x}{1}}+0{{x}{0}}{{x}{1}},1+0{{x}{0}}+0{{x}{1}}+0{{x}{0}}{{x}{1}},0+1{{x}{0}}+0{{x}{1}}+0{{x}{0}}{{x}{1}}, \ & 1+1{{x}{0}}+0{{x}{1}}+0{{x}{0}}{{x}{1}},\ldots ,1+1{{x}{0}}+1{{x}{1}}+1{{x}{0}}x \ \end{align} \right}$$, Or ${{\tau }{2}}=\left{ {{\tau }{1}},0+0{{x}{0}}+1{{x}{1}}+0{{x}{0}}{{x}{1}},\ldots ,1+1{{x}{0}}+1{{x}{1}}+1{{x}{0}}{{x}{1}} \right}$  Kubva muZvinhu Zviri Mundima Yakawedzerwa Zviripachena kuti chinhu   yakabva pa   , inogona kuderedzwa kuita zvikamu zviviri zvinoti:   . Semuyenzaniso,    ${{b}{0}}{{b}{1}}{{b}{2}}\ldots {{b}{{{2}^{k}}-1}}$ ${{\tau }{k}}$ ${{b}{lo}} + {{x}{k-1}}{{b}{hi}}$ (where ${{b}{lo}}, {{b}{hi}} \in {{\tau }{k-1}}$) $1100101010001111 = 11001010 + 1000111 \times {{x}{3}}$, where $11001010, 10001111 \in {{\tau }{2}}$ .  Nekuwora kwadzokorodza, tinogona pakupedzisira kutaura:  $$1100101010001111=1+{{x}{0}}+{{x}{2}}+{{x}{2}}{{x}{1}}+{{x}{3}}+{{x}{2}}{{x}{3}}+{{x}{0}}{{x}{2}}{{x}{3}}+{{x}{1}}{{x}{2}}{{x}{3}}+{{x}{0}}{{x}{1}}{{x}{2}}{{x}{3}}$$  Pamusoro pezvo, ye   , sezvo   , kuwedzera nekuwanda kunogona kuitwa nemazvo mu iyo binary yakawedzerwa munda. $k > 0$ $x_{k}^{2} = {{x}{k}}{{x}{k-1}} + 1$   Kuitwa kweBinary Fields  Irreducible inopa yakavhurika-sosi Rust kuitiswa kweBinius [3]. Iyo kodhi kodhi inosanganisira kuita kwakazara uye mashandiro eShongwe yeBinary Fields [8,9,10].   Mu [8], sezvakaratidzwa muMufananidzo 1, kushandiswa kunosanganisira tsanangudzo yakazara yekushanda kwebinary fields uye kuvaka Tower of Binary Fields. The Tower of Binary Fields, inotsigira kusvika ku128-bit binary field, inotsanangurwa sezvinotevera:   Pamusoro pezvo, [8] inopa bvunzo uye kodhi kodhi yeShongwe yeBinary Minda uye mashandiro ane hukama.   References  [1]   https://eprint.iacr.org/2023/1784  [2]   https://www.irreducible.com/posts/binius-hardware-optimized-snark  [3]   https://gitlab.com/IrreducibleOSS/binius  [4] SNARKs pamabhinari minda: Binius - Chikamu 1 (lambdaclass.com)  [5] SNARKs pamabhinari minda: Binius - Chikamu 2 (lambdaclass.com)  [6] Binius ari kubatsira sei kufambisa indasitiri yeZK mberi (lambdaclass.com)  [7]   https://vitalik.eth.limo/general/2024/04/29/binius.html  [8] bhinius/crates/field/src/binary_field.rs at main · IrreducibleOSS/bhinius · GitHub  [9] binius/crates/field/src/binary_field_arithmetic.rs at main · IrreducibleOSS/bhinius · GitHub  [10] binius/crates/field/src/extension.rs at main · IrreducibleOSS/bhinius · GitHub

This story will praise and/or roast a product, company, service, game, or anything else people like to review on the Internet.

2022 - HackerNoon Contributor of the Year - Algorithms

2022 - HackerNoon Contributor of the Year - Architecture

2022 - HackerNoon Contributor of the Year - Blockchain

2022 - HackerNoon Contributor of the Year - Optimization

2022 - HackerNoon Contributor of the Year - Privacy

Nominated for 2022 - HackerNoon Contributor of the Year - Optimization

Nominated for 2022 - HackerNoon Contributor of the Year - Algorithms

Nominated for 2022 - HackerNoon Contributor of the Year - Privacy

Nominated for 2022 - HackerNoon Contributor of the Year - Architecture

Nominated for 2022 - HackerNoon Contributor of the Year - Blockchain

Odhiyo iyi inogadzirwa mumutauro wekutanga wenyaya!

Kurebesa; Kuverenga

Download free Tech Leaders Productivity Report!

Maitiro eBinius Anoderedza Computational Complexity neTowers yeBinary Fields

About Author

MACOMMENTS

HONGA TAGS

NYAYA IYI YAKAPIWA MUNA

Related Stories

Meet SNATIKA, Winner of HackerNoon's Startups of The Year 2024 in Training And Consulting

On the Position of Large Factories

Forget Pepe and dogwifhat — Snek Is the Memecoin You've Been Waiting For

Snowdrop & Other Tales by Jacob Grimm and Wilhelm Grimm - Table of Links

Meet SNATIKA, Winner of HackerNoon's Startups of The Year 2024 in Training And Consulting

On the Position of Large Factories

Forget Pepe and dogwifhat — Snek Is the Memecoin You've Been Waiting For

Snowdrop & Other Tales by Jacob Grimm and Wilhelm Grimm - Table of Links

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps