Filecoin FVM Explained: Storage Deals, Smart Contracts, and Network Demand
Learn how Filecoin’s FVM and FEVM relate to storage deals, when to use direct deals or managed tools, and which metrics reveal real network demand.
ZKsync is an ecosystem of Ethereum scaling technology and chains. This article focuses on ZKsync Era, its established Layer 2 rollup, then notes how newer ZKsync Stack components differ. A rollup executes transactions away from Ethereum Layer 1 (L1), batches the resulting state changes, and submits data and a validity proof to L1. “Layer 2” (L2) is the execution environment; “validity proof” is cryptographic evidence that the batch followed the protocol’s rules.
One useful correction for newcomers: “zero knowledge” in a zero-knowledge proof does not mean that ZKsync Era transactions are private. The proof demonstrates correct execution; it does not hide balances or transaction details from public chain data by default. The ZKsync Era overview describes Era as a ZK rollup using EraVM and Ethereum proof verification.
When a user submits a transaction, the sequencer orders and executes it on EraVM, ZKsync Era’s execution environment. The sequencer provides a quick confirmation, but that early response is not the same as Ethereum finality. Transactions are grouped into batches. The prover then builds a validity proof for the batch, and an Ethereum smart contract checks that proof before the state transition is finalized on L1.
For ZKsync Era, current protocol documentation names Boojum as the prover system. A proof is a compact way for the L1 verifier to check that many L2 operations obeyed the rules, without re-executing every operation as a normal Ethereum transaction. This is why a validity proof can support scaling while retaining an on-chain verification step.
ZKsync’s newer stack also includes ZKsync OS and Airbender, a RISC-V proof system documented as using STARK/FRI techniques. These names describe different parts of an evolving stack. Do not assume that a description of Airbender or ZKsync OS automatically describes the current Era proving path. Check the chain and software version you are evaluating. See the Era proof-system documentation and the separate Airbender overview.
ZKsync Era transaction fees are not simply a fixed “L2 price.” A transaction consumes resources to execute on L2, and the rollup also has costs tied to publishing data and verifying batches on Ethereum. Era is state-diff-based: its documentation explains that the information published for a batch includes changes to state, such as modified storage slots, rather than a full copy of every transaction’s input data.
That makes fees sensitive to more than the apparent complexity of a transaction. The L1 gas market affects the cost of publishing data and proof-related operations. The amount and type of state a transaction changes, its execution gas, and the fee parameters accepted by the account can also matter. Wallets generally provide an estimate before submission; actual charged fees should be checked in the transaction receipt or explorer after completion.
For a practical comparison, record the transaction type, time, estimated maximum fee, actual fee, and whether it succeeded. Compare similar transactions rather than comparing a simple token transfer with a contract deployment. When costs rise, check L1 gas conditions and the transaction’s pubdata or state-change footprint before concluding that the L2 itself has become uniformly more expensive. The official fee model and fee structure explain the parameters and the relationship to L1 costs. Fee settings can change as the protocol is upgraded.
Look beyond the wallet’s first “submitted” or “confirmed” message. ZKsync documentation distinguishes stages in the transaction lifecycle, including inclusion, verification, and failure. A sequencer’s soft confirmation is useful for responsiveness, but it is not a substitute for checking whether a batch has been proved and finalized through the L1 contracts.
If a transaction stays pending or fails, avoid repeated retries until you understand the cause. Check nonce handling, fee settings, network status, and the specific error. The transaction lifecycle documentation explains the sequencer and prover roles and the status fields.
ZKsync governance uses the ZK token for delegated voting on proposals. A delegate is an address that receives voting power from token holders and votes on their behalf. The governance documentation describes separate Governor contracts for different proposal types, including a Protocol Governor for ZKsync Improvement Proposals (ZIPs) that upgrade the protocol or parts of the governance system.
There are additional bodies and emergency procedures. Current ZKsync governance procedures describe roles for the Security Council, ZKsync Guardians, and ZKsync Foundation in emergency responses. The procedures state that an emergency upgrade involves approvals across these bodies. This means a token-holder vote is important, but it is not the only control path, especially during an urgent security response.
To evaluate governance quality, look at who can propose, vote, execute, delay, veto, or approve upgrades; how voting power is delegated; whether proposals include auditable code and a clear rationale; and how emergency powers are bounded. Also check the date of the governance procedures and the actual proposal record. Governance documents can be amended, so an old explainer may not reflect current roles. Start with the ZK Nation governance procedures and the ZKsync governance portal.
A validity proof is a strong check on whether a proposed state transition is valid. It does not by itself decentralize transaction ordering, data availability, software development, upgrades, or governance. Assess each layer separately:
The prover-network announcement is useful evidence of direction, not a current decentralization score. The ZKsync Chains documentation also distinguishes centralized and decentralized sequencer designs. For any specific claim, ask whether it describes a shipped feature, a governance-approved change, an active test, or a future plan.
Useful progress signals include independently operated provers producing accepted proofs, documented force-inclusion paths that work under stress, transparent and reviewable upgrade proposals, broad delegate participation, and clear data-availability and exit procedures. A throughput target, a new prover implementation, or a large token-vote turnout can be encouraging, but none alone proves that all operational control is decentralized.
There are trade-offs. More independent operators can improve resilience, but coordination and hardware requirements still affect who can participate. L1 posting and proof verification contribute to Ethereum-anchored security, but users remain exposed to smart-contract bugs, governance actions, chain outages, and the specific data-availability model. A zero-knowledge validity proof confirms a state transition against defined rules; it cannot certify that an application’s design is safe or that every user will get the outcome they intended.
If these answers are clear and supported by current documentation, you can make a more grounded assessment of ZKsync’s proof guarantees, user costs, governance, and decentralization progress. If key operator, data-availability, or upgrade details remain unclear, treat the uncertainty as a real limit in your evaluation and revisit it as the chain’s implementation changes.
Learn how Filecoin’s FVM and FEVM relate to storage deals, when to use direct deals or managed tools, and which metrics reveal real network demand.
Understand how Lido’s stETH rewards accrue, what validator concentration means, and how to choose between the withdrawal queue and selling stETH.
Understand how Rocket Pool minipools pair operator and pooled ETH, why rETH can trade away from its protocol exchange rate, and how to assess operator rewards, costs, and risks.
Understand how USDS differs from DAI, when conversion matters, how sUSDS fits in, and which Sky governance changes users should verify in 2026.
How Jupiter routes Solana swaps, what fees users may pay, how JUP governance works, and which execution and aggregator risks matter in 2026.
Learn how Ondo’s OUSG and USDY tokenized Treasury products work, what OUSG’s published instant-redemption limits mean, and which issuer, liquidity, fund, and blockchain risks to check.
Compare JitoSOL, native SOL staking, and JTO governance while tracing MEV tips, protocol fees, buybacks, and the risks that affect realized returns.
Learn how Wormhole Guardians, VAAs, and token routes work, what to verify before bridging, and which warning signs call for a different route.
Learn how Pyth’s pull-oracle model delivers price updates on demand, what update fees cost as of September 2026, and how to protect smart contracts from stale or uncertain prices.
Learn how Injective’s on-chain order books work, what INJ burns actually signal, and how to assess liquidity, trading activity, and bridge dependencies.