#VitalikButerin Badanie Biniusa: szybsze podejście do dowodów z wiedzą zerową

#Ethereum współzałożyciel #Vitalik Buterin bada „Binius”, nową metodę mającą na celu znaczne przyspieszenie dowodów z wiedzą zerową. Binius skupia się na wydajności, wykonując obliczenia bezpośrednio na bitach binarnych (0 i 1), zamiast na większych liczbach stosowanych w tradycyjnych systemach, takich jak zk-SNARK. To podejście uwzględnia często używane typy danych, takie jak liczniki i flagi logiczne, co potencjalnie prowadzi do szybszych dowodów.

Binius wykorzystuje „binarne pola skończone” do wydajnych operacji arytmetycznych na bitach i wykorzystuje wielowymiarową reprezentację danych w „hipersześcianie”. Dodatkowo wykorzystuje unikalny proces kodowania/dekodowania, aby utrzymać wydajność, umożliwiając jednocześnie przetwarzanie za pomocą wielomianów i dowodów.

Te postępy w arytmetyce rdzenia kryptograficznego systemu dowodowego obiecują zwiększoną skalowalność i wydajność w przypadku złożonych aplikacji kryptograficznych. Dowody #zero-knowledge często korzystają z wielomianów, aby ukryć dane i obliczenia podczas weryfikacji, dzięki czemu potwierdzana jest tylko ważność dowodu, a nie podstawowe informacje.

Chociaż szczegóły techniczne szyfrowania Binius i generowania dowodów wykraczają poza ten zakres, Buterin podkreśla jego potencjał w zakresie znacznej poprawy szybkości, szczególnie w przypadku obliczeń obejmujących małe wartości i operacje na poziomie bitów. Technologia ta opiera się na białej księdze z 2023 roku opracowanej przez firmę Posen and Diamond.

Ogólnie rzecz biorąc, Binius stara się znacznie przewyższyć istniejące systemy dowodowe pod względem szybkości, torując drogę dla szybszych dowodów z wiedzą zerową w przyszłości. Buterin przewiduje w nadchodzących miesiącach dalsze postępy w „technikach dowodzenia opartych na polach binarnych”.