Mina 把整条链的历史折进一条固定大小的递归 SNARK 证明。本文按官方白皮书与技术参考拆解证明怎么逐块折叠、snarked ledger 与 staged ledger 的分工，以及为保住固定大小对共识做的改造。