Наш отчет об аудите для Ресурсной Машины и Адаптера Протокола EVM от @anoma теперь доступен. Мы рассмотрели реализацию RISC Zero, архитектуру доказательства с нулевым разглашением и интеграцию с Ethereum.