Linea

List of verifiers

Name

Verification status

LineaVerifier

Unsuccessful

(performed by L2BEAT)

Verifier

Last used

Today

Description

Since the circuit is not public, we are not able to verify any claim about the proof system.

Name	Proof system	Arithmetization Shows how the computation is represented mathematically.	PCS Shows what Polynomial Commitment Scheme is used.	Trusted setup Shows if the proof system requires a trusted setup.	Source code
Main circuit	?	?	?	?	—

Description

Since the circuit is not public, we are not able to verify any claim about the proof system.

Name	Proof system	Arithmetization Shows how the computation is represented mathematically.	PCS Shows what Polynomial Commitment Scheme is used.	Trusted setup Shows if the proof system requires a trusted setup.	Source code
Main circuit	?	?	?	?	—

L2BEAT was not able to independently regenerate the onchain verifier since the circuit source code is not publicly available.