Implement BatchOpenScheme::Gwc19

[han0110]

No description provided.

[sifnoc]

There is an error using "Gwc19" scheme on separately.rs like this:

let generator = SolidityGenerator::new(&params[&k], pk.get_vk(), Gwc19, num_instances);

Error message like this:

calldata size: 1636
thread 'main' panicked at src/evm.rs:208:21:
Transaction reverts with gas_used 323628 and output 0x
stack backtrace:
    0: rust_begin_unwind
              at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:645:5
    1: core::panicking::panic_fmt
              at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panicking.rs:72:14
    2: halo2_solidity_verifier::evm::test::Evm::transact_success_or_panic
              at ./src/evm.rs:208:21
    3: halo2_solidity_verifier::evm::test::Evm::call
              at ./src/evm.rs:172:38
    4:separately::main
              at ./examples/separately.rs:51:34

[han0110]

There is an error using "Gwc19" scheme on separately.rs like this:

let generator = SolidityGenerator::new(&params[&k], pk.get_vk(), Gwc19, num_instances);

Did you also replace the ProverSHPLONK in create_proof with ProverGWC?

halo2-solidity-verifier/examples/separately.rs

Line 90 in 43dada6

create_proof::<_, ProverSHPLONK<_>, _, _, _, _>(

I could run the example separately on my side when I replace that.

[sifnoc]

Did you also replace the ProverSHPLONK in create_proof with ProverGWC?

halo2-solidity-verifier/examples/separately.rs

Line 90 in 43dada6

create_proof::<_, ProverSHPLONK<_>, _, _, _, _>(

I could run the example separately on my side when I replace that.

Oh, my bad. yes, you are right! I forgot to modify scheme on generating and verifying proof. It works well.
Thanks