kobigurk

Доказательство кода Клода: запустите CC внутри TEE и требуйте, чтобы все коммиты были подписаны ключом, сгенерированным внутри, что доказывает, что ни одна строка не была написана человеком

Видео моего выступления на zksummit о Ligerito было опубликовано!

Это о работе @AndrijaNovakov6 и @GuilleAngeris, представляющих небольшую и конкретно быструю схему полиномиальных обязательств.

С тех пор произошло интересное событие —

1/3

кто-нибудь пытается сделать проверяемую трансформацию изображений, как в https://eprint.iacr.org/2024/1066, в быстром доказательном zkVM?

Это один из случаев, когда пройдет много времени, прежде чем вам нужно будет сжать это для быстрой проверки, если вообще потребуется

ZK-протоколы на мобильных устройствах?

некоторые мысли о том, что нужно изменить, чтобы поддерживать те гарантии безопасности, которые мы так усердно добиваемся

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

https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127

Эти HIs не прогнозируют лучший следующий токен для использования на основе их обучения, подсказок и памяти, так что это странно