MicroNova Enables Efficient On-Chain Recursive Proof Verification
MicroNova introduces a folding-based recursive argument that achieves step-independent proof size, dramatically lowering the gas cost for verifiable computation on resource-constrained blockchains.
