Solidity-based Components

Key contracts to leverage cross-chain composability with zk-proofs

• https://github.com/malda-protocol/malda-lending/blob/main/src/verifier/ZkVerifier.sol

• https://github.com/malda-protocol/malda-lending/blob/main/src/mToken/BatchSubmitter.sol

Example adjustment on the Malda contracts form integrating proof based state updates in a lending protocol

• https://github.com/malda-protocol/malda-lending/blob/main/src/mToken/BatchSubmitter.sol