1# Decider verify
 2We can now verify the Decider proof
 3
 4```rust
 5// this is the same that we defined for the prover
 6type DECIDER = Decider<
 7    Projective,
 8    GVar,
 9    Projective2,
10    GVar2,
11    CubicFCircuit<Fr>,
12    KZG<'static, Bn254>,
13    Pedersen<Projective2>,
14    Groth16<Bn254>,
15    NOVA,
16>;
17
18let verified = DECIDER::verify(
19    decider_vp, nova.i, nova.z_0, nova.z_i, &nova.U_i, &nova.u_i, proof,
20)
21.unwrap();
22assert!(verified);
23```
24
25In the Ethereum Decider case, we can generate a Solidity smart contract that verifies the proofs onchain. More details in the [next section](solidity-verifier.md).