Mina Protocol 是一个使用 ZK-SNARKs 零知识证明来将区块链封装在一个单一的、可验证的、轻量级的证明协议，可将区块链的大小从几百 GB 压缩到 22KB。