С поддержкой от @EthereumFndn наша команда Формальной Верификации разрабатывает инструменты Lean для zkDSL, такие как Plonky3. Узнайте больше ⬇️