This crate implements a Verifier compatible with snark-verifier. It does most verification tasks natively in Rust, just like a traditional halo2 verifier would. With the only difference of calling NEAR precompiled contracts to perform group and pairing operations in Bn256 and calculate Keccak256 hash when reading transcript. This reduces the size of verifier WASM binary on NEAR and saves gas.
This crate is used by ZeroPool smart-contract for NEAR. But it's generic enough to verify any Halo2 circuit.