Mina 是一个轻量级的区块链，采用 zk-SNARK 技术，以递归零知识证明，来实现区块的大小恒定。