Децентрализованные приватные вычисления (DPC) в Aleo

Введение в децентрализованные приватные вычисления (DPC)

Децентрализованные приватные вычисления (DPC) — это новый криптографический примитив. Он открывает новые горизонты для защиты конфиденциальности транзакций. Этот примитив вводится как часть системы, основанной на использовании журналов (ledger-based), где транзакции, обеспечивающие конфиденциальность, подтверждают проведение вычислений вне сети, следуя записям в нано-ядере.

Определение и функциональность DPC-схем

DPC-схемы предназначены для создания системы, где транзакции не только конфиденциальны, но и подтверждают правильность выполненных вычислений. Они обеспечивают безопасность данных, используя идеальную функциональность, выраженную в терминах безопасности.

Конструкция DPC-схемы

Основываясь на Zerocash, DPC-схемы расширяют протокол для поддержки нано-ядра записей и обеспечения безопасности в парадигме моделирования. В этих схемах транзакции потребляют старые записи и создают новые, сохраняя конфиденциальность за счет использования серийных номеров потребляемых записей и обязательств созданных записей.

Приватность и безопасность транзакций

DPC-схемы обеспечивают скорытие транзакцией информации о своих атрибутах, при этом подтверждая ее согласованность с записями нано-ядра. Это достигается через свойства скрытия обязательств и псевдослучайные свойства серийных номеров.

Структура записи и обработка транзакций

Каждая запись связана с публичным ключом адреса и содержит полезные данные, предикаты рождения и смерти, а также серийный номер. Коммитмент записи является обязательством всех этих атрибутов.

Создание и обработка транзакций

Пользователь выбирает записи для потребления и создает новые записи, включая их полезные данные и предикаты. При выполнении всех соответствующих предикатов пользователь может сформировать доказательство с нулевым разглашением для добавления к транзакции.

Достижение краткости и эффективности

Чтобы обеспечить эффективную обработку транзакций в постоянное время, протокол модифицируется с использованием кратких аргументов с нулевым разглашением, вместо обычных доказательств.

Делегирование вычислений ненадёжным работникам

Для устройств с ограниченными ресурсами предусмотрена возможность делегирования создания транзакций ненадежным исполнителям. Это решает проблему высокой стоимости создания транзакций на слабых устройствах.

Заключение

DPC-схемы в Aleo обещают новый уровень конфиденциальности и безопасности. Развитие этих схем требует дальнейших исследований и технических усовершенствований, но их потенциал в области конфиденциальных транзакций несомненен.