There's a question that doesnt get asked enough about ZK-based blockchains. what happens when the cryptography gets better?
zero-knowledge proof systems are not static. the field moves. new research produces more efficient proving schemes, better curves, faster verification. what worked well in 2023 may be significantly outperformed by 2026. and a blockchain that locked itself permanently into one proof system no matter how good it was at launch has a ceiling.
Midnight addresses this directly. SNARK Upgradability is listed as a Testnet-stage feature in the litepaper roadmap. the placement matters. it isnt deferred to a distant future milestone. it comes before mainnet. meaning by the time Midnight launches to the public, the ability to upgrade the underlying SNARK proof system is already part of the architecture.
from what i understand, a SNARK Succinct Non-interactive ARgument of Knowledge is the specific type of zero-knowledge proof Midnight uses. the "succinct" part means proofs are small and fast to verify. the system Midnight is built on uses zkSNARKs through the Halo2 framework with BLS12-381 curves. this is a well-established, well-tested combination that supports recursion and cross-chain integration.
but Halo2 is not the last word in ZK proof systems. and the people building Midnight know that. SNARK Upgradability means the proof system sitting under the entire privacy architecture isnt frozen. if a meaningfully better proving scheme emerges more efficient, more secure, cheaper to generate proofs on consumer hardware the network can adopt it without rebuilding everything from the ground up.
this is harder than it sounds. proof systems are deeply embedded in how a blockchain processes and verifies transactions. changing the SNARK scheme isnt like updating a library. it touches the Compact compiler, the circuit descriptions, the proof generation process, and the verification logic. the fact that Midnight is designing for this to be possible at the Testnet stage rather than bolting it on later suggests the architecture was built with this in mind from early on.
the practical implication for anyone building on Midnight is worth sitting with. a DApp written in Compact today isnt necessarily locked into the cryptographic assumptions of today. if the underlying proof system improves, those improvements can propagate through the network. the privacy guarantees dont have to degrade over time as cryptography advances they can advance with it.
most conversations about ZK blockchains focus on what the proof system does right now. SNARK Upgradability is about what happens when right now becomes five years ago.
if a blockchain cant upgrade its cryptography, how long before the cryptography becomes the weakest part of it?
#night #NIGHT $NIGHT @MidnightNetwork
