Introducing OpenZeppelin Contracts v5.1

Add Tests To Your Stylus Contracts

Motsu, a comprehensive unit test suite for Rust smart contracts which simplifies the process of...

L2's Rust Ecosystem

Protocol Defense Audit

Smart contract audit. We audited Pull Request #524 of the matter-labs/era-contracts repository at...

Security Audits L2's Solidity

Decentralized Governance Audit

For Scope 1, we audited the ZKsync-Association/zk-governance repository at commit a3e361d. Smart...

Security Audits L2's Solidity Governance

ZK Stack VM1.5 Diff Audit

Smart contract Audit. We audited the change to the matter-labs/era-contracts repository between...

Security Audits L2's Solidity Yul

ZKsync State Transition Diff Audit

Smart Contract audit. This upgrade introduces Matter Labs' latest development efforts of...

Security Audits L2's Solidity

Scroll Batch Token Bridge Audit

Smart contract Audit. The newly implemented batch bridge gateway offers users an interface to batch...

Security Audits L2's Solidity

Mantle V2 Solidity Contracts Audit

We audited the mantlenetworkio/mantle-v2 repository at commit e29d360. In scope were the following...

Security Audits L2's Solidity Rollup

Mantle OP-Geth Audit

Mantle V2 is a layer 2 (L2) scaling solution for Ethereum that uses fraud proofs instead of...

Security Audits L2's Go

Mantle Node, Batcher, Proposer, and Tooling Incremental Audit

Mantle V2 is a layer 2 (L2) scaling solution for Ethereum that uses fraud proofs instead of...

Security Audits L2's Go

Scroll EIP-4844 Support Audit

The system upgrade has been executed to support proto-danksharding and utilizing blob-carrying...

Security Audits L2's Solidity

Linea Blob Submission Audit

The code under review introduces a new function to submit compressed layer 2 transactions using...

Security Audits L2's Solidity

Scroll ZKTrieVerifier Audit

The ZkTrieVerifier library consists in an implementation that defines a single method used to...

Security Audits L2's Solidity