Is there a bridge between Solidity and the Airbender verifier?

[richardcatlin]

I have run the Airbender Prover end to end (https://github.com/matter-labs/zksync-airbender/blob/main/docs/end_to_end.md).

I would like to incorporate the Airbender verifier into a Solidity smart contract on Zksync, similar to the Zksync zk-game example (https://code.zksync.io/tutorials/build-a-zk-game/building-the-contracts) which uses Succint.

Is this currently possible? If so, is there an example? Any help is appreciated.

Thank you,
Richard Catlin

[antonbaliasnikov]

Hi @richardcatlin,

This part isn't well documented yet - there's no direct FRI verifier for Ethereum.

Instead, we wrap the FRI proof into a SNARK using https://github.com/matter-labs/zkos-wrapper, which can then be verified with the PLONK verifier: https://github.com/matter-labs/era-contracts/blob/main/l1-contracts/contracts/state-transition/verifiers/L1VerifierPlonk.sol

You can find an integration example here: https://github.com/matter-labs/zksync-airbender-prover - it computes both the FRI and SNARK proofs.