Технология

В данной статье представлен углубленный анализ двух потенциальных уязвимостей в системах доказательства с нулевым разглашением (ZKP): «Load8 Data Injection Attack» и «Fake Return Attack». В статье подробно описаны технические особенности этих уязвимостей, способы их эксплуатации и методы их устранения. Кроме того, в нем обсуждаются уроки, извлеченные из обнаружения этих уязвимостей в ходе аудита и формальной верификации систем ZK, и предлагаются лучшие практики для обеспечения безопасности систем ZK.

В этой статье рассматриваются две потенциальные уязвимости в системах доказательства с нулевым разглашением (ZKP): «Атака внедрения данных Load8» и «Атака с поддельным возвратом». В нем подробно описаны эти уязвимости, способы их эксплуатации и методы их устранения. В нем также обсуждаются уроки, извлеченные из обнаружения этих уязвимостей в ходе аудита и формальной верификации систем ZK, а также предлагаются лучшие практики для обеспечения безопасности систем ZK.

FHE (полностью гомоморфное шифрование) позволяет третьим сторонам выполнять неограниченное количество вычислений и операций с зашифрованными данными без расшифровки, тем самым достигая комбинируемых вычислений конфиденциальности в сети. Компания ArkStream Capital написала статью, в которой представила концепцию, сценарии применения и экосистему FHE, а также решение типа FHE-Rollup Layer2, которое строит Fhenix.

Доказательства с нулевым разглашением могут создать более приватную и масштабируемую экосистему блокчейна. Однако многие аспекты нулевого разглашения понимаются неправильно или отличаются от общепринятых реализаций. В данной статье ZKP анализируются с двух основных точек зрения: с нулевым разглашением и с точки зрения краткости. Когда ZKP и ZK-роллапы в конечном итоге созреют технологически, они, безусловно, предложат лучшие решения для решения трилеммы блокчейна.

С запуском ETF, бурным развитием экосистемы BRC-20 и дополнительным повествованием о халвинге внимание рынка снова сосредоточено на экосистеме Биткойна. Похоже, что CKB всегда придерживался своего первоначального замысла, настаивая на изоморфности с Биткойном, и в дальнейшем преодолел разрыв.