Ma na celu osiągnięcie znacznej poprawy wydajności w porównaniu z konwencjonalnymi systemami sprawdzającymi.
Binius może efektywniej obsługiwać dane bazowe, pracując bezpośrednio na bitach zgodnie z Buterinem.
Vitalik Buterin, współzałożyciel Ethereum, omówił nową metodę dowodu kryptograficznego, która zwiększyłaby skuteczność dowodów z wiedzą zerową.
Metoda szybkich dowodów kryptograficznych na polach binarnych, „Binius”, została szczegółowo opisana w poście na blogu Buterina z 29 kwietnia. System aspiruje do osiągnięcia znacznej poprawy wydajności w porównaniu z konwencjonalnymi systemami dowodowymi, takimi jak zk-SNARK.
Zwiększanie znacznej wydajności
Poprzez redukcję obliczeń do operacji na pojedynczych bitach binarnych (zestaw wszystkich możliwych wartości liczby) zamiast na większych liczbach, Binius ma nadzieję uzyskać większą wydajność. Klasyczne metody dowodzenia kryptograficznego, takie jak SNARK i STARK, które zajmują się większymi liczbami całkowitymi (64-bitowymi lub 256-bitowymi), zainspirowały to podejście.
Według Buterina Binius może obsługiwać podstawowe dane wydajniej, pracując bezpośrednio na bitach. Dane te zazwyczaj składają się z małych wartości, takich jak flagi boolowskie, indeksy i liczniki. Buterin twierdzi, że nowy system dowodowy ma wiele zalet, takich jak możliwość wydajnego wykonywania operacji arytmetycznych na bitach i sekwencjach bitów oraz możliwość reprezentowania danych jako wielowymiarowego „hipersześcianu” bitów.
Przy zachowaniu zalet wydajnościowych pracy w systemie binarnym, wykorzystuje wyrafinowaną technikę kodowania i dekodowania w celu przekształcenia danych na poziomie bitów do formatu nadającego się do przetwarzania „wielomianowego” i dowodów Merkego.
Zwiększenie wydajności i skalowalności skomplikowanych aplikacji kryptograficznych jest możliwe dzięki systemowi binarnemu, który odblokowuje znaczące ulepszenia podstawowej matematyki systemów dowodów kryptograficznych. Aby zilustrować, w jaki sposób protokół Biniusa hermetyzuje dane, tworzy dowody i umożliwia weryfikatorom skuteczne badanie tych dowodów, Buterin zademonstrował złożoną matematykę.
Najważniejsze dzisiejsze wiadomości ze świata kryptowalut:
Spotkanie FOMC pobudza zmienność kryptowalut, niedźwiedzie obejmują prowadzenie