Vitalik Buterin 為二元域引入高效證明“Binius”
據(jù)ForesightNews報(bào)道,VitalikButerin引入了一種有效的二進(jìn)製字段證明,稱為“Binius”。Binius采用了大量數(shù)學(xué)技術(shù),使其與三年前推出的SNARK和STARK明顯不同。Buterin還解釋了為什麼較小的字段使證明生成更加高效、二進(jìn)製字段具有獨(dú)特而強(qiáng)大的功能的原因,以及Binius用於使二進(jìn)製字段的證明有效工作的技術(shù)。