Раньше я ненавидел Circom, но теперь это проще простого. Вот мощная среда, которая поможет вам с прототипированием, разработкой и тестированием схем: - Плагин Hardhat без конфигурации - Управляет и загружает компиляторы Circom для вашей архитектуры машины - Генерирует типы TypeScript для сигналов схем, которые будут использоваться в тестах - Перекомпилирует только измененные схемы - Позволяет тестирование свидетелей + подмены через утверждения Chai - Поддерживает как системы доказательства Groth16, так и Plonk - Автоматически загружает файлы PTAU фазы-1 - Опционально генерирует проверяющие для Vyper для любителей Vyper Больше никогда не касаясь cli.