В Бангкоке мы объявили, что серьезно рассмотрим внутренние механизмы систем доказательства. Наша цель - выявить все предположения о доверии, сделать эти системы доказательства прозрачными и, что наиболее важно, предоставить всем пользователям легкий доступ к исходному коду программ, которые подвергаются доказательству. Новый ZK Каталог - это результат месяцев работы, и это только начало.