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 decider_vp = (g16_vk, kzg_vk);
19let verified = DECIDER::verify(
20    decider_vp, nova.i, nova.z_0, nova.z_i, &nova.U_i, &nova.u_i, proof,
21)
22.unwrap();
23assert!(verified);
24```
25
26In 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).