Публикация: 2013
Первая стабильная реализация: 2016
Первое блокчейн применение: 15 месяцев
3 дня назад
Удобный DSL для написания R1CS SNARKs
https://github.com/o1-labs/snarky
Proof
Verify
By alerdenisov