INTMAX

Mathematicians from Nethermind's Formal Verification team have mathematically proven the safety of the Intmax2 protocol, which is scheduled to launch in Q1 this year!

Formal Verification is a methodology that Toyota has also used to prove the safety of their products in court. It's utilized not only in crypto but also in aerospace engineering and other fields. It even helped identify serious bugs in the early design of Ethereum's Casper FFG.

INTMAX is a completely new type of scaling solution that performs client-side recursive ZKP and Merkle proof distribution off-chain, requiring the utmost care in its operation and implementation. This deepest analysis and verification by Nethermind's professionals represents the best approach to advancing this cutting-edge field.

To everyone on Ethereum, shall we pursue truly serious scaling? Shall we push beyond our current boundaries while proceeding cautiously? New engineering is advancing in the stateless space!

Thanks for the awesome job!!

Privacy is normal @ intmax.io , building the most stateless protocol for /ethereum and ecosystem with first plasma-based EVM-compatible L2 Plasma Free.