Leo: Язык программирования для формально верифицированных приложений с нулевым разглашением

Децентрализованные реестры, поддерживающие сложные приложения, сталкиваются с тремя фундаментальными проблемами: ограниченные…