Небольшой бонус, если вас задели Bulletproof: я добавил короткую запись о расширенной эмуляции свидетелей в свой блог Если вы, как и я, WEE — это одно из тех странных понятий безопасности, которые вы проигнорировали в первый раз, когда читали Bulletproofs, и больше к ним не возвращались. Пора это сделать!

@mmaker Интуитивно, разве мы не можем просто взять экстрактор в стиле Дамгарда? Против проверов, у которых вероятность успеха больше каппы, этот экстрактор всегда будет выдавать действительное свидетельство. Против всех остальных он может потерпеть неудачу, но вероятность того, что проверяющий выдаст 1, меньше каппы.