olegbunin Mar 12 at 12:01

Криптографические пруфы zkSNARKs для масштабирования и безопасности

Hard

15 min

1.7K

Конференции Олега Бунина (Онтико) corporate blogInformation Security*Cryptography*Algorithms*Mathematics*

Review

Comments 4

Akriosss47 Mar 18 at 07:29

Интересно,но в математике полный ноль:(

BoogerWooger Mar 18 at 10:40

Ну, фишка последних лет, что сейчас на современых фреймворках уже можно писать не вдаваясь сильно в математику пруфов. Просто понимтаь что прям много всего не засунешь, и просто тестировать, стараясь чтобы proving и verification time/proof size были нормальными, чтобы система работала

aleks_raiden Mar 19 at 00:07

По железу для улучшения работы этого дела тоже ведут работы. Можно почитать первые наметки - https://medium.com/@omershlomovits/revisiting-paradigm-hardware-acceleration-for-zero-knowledge-proofs-16f717a49555 и https://hackmd.io/@Cysic/BJQcpVbXn

BoogerWooger Mar 21 at 09:58

ведут, и довольно активно. Как минимум есть несколько проектов, которые пытаются создать железо для прувинга. Плюс многие новые пруф системы умеют эффективно использовать много конвейеров GPU, на котором получают буст производительности в разы, а то и десятки раз. Это не нейросети, но все равно - очень значимый прирост. А на одной из конференций, где я был, посвященной чисто пруф-системам и ZK, был, например, доклад от AMD. С чего бы это?