quorum

Quorum — это инструмент анализа безопасности Solidity, построенный вокруг роя из девяти независимых линз, которые координируются исключительно через общий слой памяти под названием Sibyl Memory. Каждая линза исследует исходный код на основе разных свидетельств, и находка становится реальной только тогда, когда две линзы, работающие с разными свидетельствами, приходят к одному и тому же выводу. Счётчик согласий хранится в памяти, а не в каком-либо отдельном агенте, что позволяет подтверждать данные между процессами и сессиями. Система работает в цикле: сканирование, подтверждение, запоминание, распознавание, заявка и проверка. Подтверждённые идиомы переводятся в постоянное знание роя, что позволяет позже распознавать тот же паттерн в незнакомых контрактах с одного обнаружения. Человеческие исправления сохраняются через механизм вывода из обращения, предотвращая повторение ложных срабатываний. Ключевая особенность — тест на удаление: запуск с флагом --no-memory отключает слой памяти, и тот же рой на тех же контрактах ничего не подтверждает, демонстрируя, что память является несущей для всей системы. Агенты координируются без шины сообщений, используя оптимистичное резервирование работы в уровне HOT, чтобы избежать дублирования сканирований в отдельных процессах ОС. Публикация заявки в Robinhood Chain сжигает 100 000 токенов QUORUM через собственную функцию сжигания токен-контракта, прежде чем дайджест заявки будет записан. Контракт ClaimRegistry не имеет владельца, возможности паузы или обновления. Заявки можно проверить локально, пересчитав дайджесты из памяти и проверив сжигание в цепочке, а раскрытые заявки могут быть импортированы другими роями в качестве подсказок. Проект включает живой демо-сайт, браузерный верификатор заявок, 49 проходящих тестов и тесты Foundry для контракта реестра. Он был создан для хакатона Sibyl Labs Hackathon и назван утешительным победителем среди 92 заявок.