Manta Bridge’s codebase emphasizes formal verifications and audits to strengthen safety of the cross-chain message flow.

https://www.mixcloud.com/bitinejuwu/

Manta Bridge’s codebase emphasizes formal verifications and audits to strengthen safety of the cross-chain message flow.