Acrozz: OptZKBridge

This is a prototype of a new kind of bridge, which currently works for asset transfers across Ethereum L1 and L2s, and in the future across other different EVMs and other blockchains, pending implementation of the dependent technologies.

This bridge is the least expensive, the fastest and the safest of all bridges. Such hard claim is obvious from its implementation:

the assets transferred in a centralized manner achieving unprecedented speed, and the cost of a single ERC-20 transfer, yet economic incentive/disincentive optimistically keeps the bridge operator(s) honest, the extremely unlikely case of misbehavior of the bridge, whether intentionally or not, can be detected by the interested party which can trigger a sk proof of misbehavior, which verification would result in automatic punishment for delay and/or slashing for transfer failure.

Most of the time the bridging is done by a relayer, accruing only the cost of the asset transfers.

Very unlikely (hopefully never) a proof of misbehavior is generated and used to slash the wrongdoer.

The implementation uses Vlayer, specifically its Teleport feature. This creates a proof that on the input blockchain the asset was deposited. Then, on the destination blockchain the proof is verified, the balance after the desired number of blocks was not deposited and if so, the Relayer is punished.

The code is written in solidity and JavaScript/TypeScript.