We intend to make the specification and code of Linea open source.
Some details are already published, including the specification and the prover scheme.
We intend to make the specification and code of Linea open source.
Some details are already published, including the specification and the prover scheme.