Blog

ZK state channels on Mina Protocol

A Formal Specification of Zero-Knowledge State Channels for Mina Protocol