Спасибо @EF_ESP и @ethereumfndn за постоянную поддержку LLZK 🙏 Мы продолжим укреплять LLZK как инфраструктуру с открытым исходным кодом, ориентированную на верификацию для экосистемы компилятора ZK. Лучшие инструменты, совместимость между DSL и более сильные гарантии корректности.