@Dusk_Foundation #dusk $DUSK DUSK PROVERS THE COMPUTATION BEHIND PRIVATE TRANSACTIONS
Несколько дней назад я читал архитектуру Prover в Dusk Network. Я начал с простого вопроса: как Dusk генерирует ZK-доказательства, которые сохраняют транзакции приватными?
Одна деталь заставила меня задуматься: каждый worker-прoвер использует одно CPU-ядро, а генерация доказательств выполняется в одном потоке.
Это изменило угол для меня.ZK-доказательства могут казаться почти магическими, потому что итоговое доказательство небольшое, а верификация может быть лёгкой. Но сложные вычисления никуда не исчезли. Они переместились на сторону Prover, где машины выполняют нагрузку и выдают доказательство до того, как сеть сможет его проверить.Рассматривая этот процесс, я начал думать о Dusk иначе. Сети не нужно, чтобы каждый верификатор повторял все вычисления целиком. Provers несут более тяжёлую нагрузку, а Verifiers проверяют получившееся доказательство.
Это поднимает интересный вопрос масштабирования для инфраструктуры приватности Dusk.
Если Dusk вырастет до огромных масштабов, где окажется реальное узкое место? В том, насколько быстро сеть может верифицировать доказательства, или в том, сколько инфраструктуры доступно для их производства?Для меня именно поэтому Dusk Provers стоит рассматривать не только через призму ярлыка «приватность». Приватность — это не только про криптографию. Она также зависит от инфраструктуры, которая делает масштабируемое приватное выполнение возможным.
Я продолжу разбираться в мощности Prover и в том, как генерация доказательств может повлиять на масштабируемость приватности Dusk.
@Dusk #dusk
$MAGMA
$TRUMP
Несколько дней назад я читал архитектуру Prover в Dusk Network. Я начал с простого вопроса: как Dusk генерирует ZK-доказательства, которые сохраняют транзакции приватными?
Одна деталь заставила меня задуматься: каждый worker-прoвер использует одно CPU-ядро, а генерация доказательств выполняется в одном потоке.
Это изменило угол для меня.ZK-доказательства могут казаться почти магическими, потому что итоговое доказательство небольшое, а верификация может быть лёгкой. Но сложные вычисления никуда не исчезли. Они переместились на сторону Prover, где машины выполняют нагрузку и выдают доказательство до того, как сеть сможет его проверить.Рассматривая этот процесс, я начал думать о Dusk иначе. Сети не нужно, чтобы каждый верификатор повторял все вычисления целиком. Provers несут более тяжёлую нагрузку, а Verifiers проверяют получившееся доказательство.
Это поднимает интересный вопрос масштабирования для инфраструктуры приватности Dusk.
Если Dusk вырастет до огромных масштабов, где окажется реальное узкое место? В том, насколько быстро сеть может верифицировать доказательства, или в том, сколько инфраструктуры доступно для их производства?Для меня именно поэтому Dusk Provers стоит рассматривать не только через призму ярлыка «приватность». Приватность — это не только про криптографию. Она также зависит от инфраструктуры, которая делает масштабируемое приватное выполнение возможным.
Я продолжу разбираться в мощности Prover и в том, как генерация доказательств может повлиять на масштабируемость приватности Dusk.
@Dusk #dusk
$MAGMA
$TRUMP