Certora

CertoraProverSupplementary

Supplementary Material to be used with the Certora Prover

MemoryIsolationPOC

miso

BordaChallenge

MemoryCorruptionPOC

Example of memory allocation overflow

nirn

OptimizerBugPOC

Proof of Concept of YUL Optimizer Bug

protocol-v2

AaveV2 StaticAtokenLM

rocket-joe-1

🚀 Bootstrapping protocol-owned liquidity

badger-onchain-rewards

Generalized onChain reward contract that allows to retroactively reward depositors with any token

bentobox

contracts-v3

dss-wormhole

joe-core

Contracts for Trader Joe

kashi-lending

LimitOrderV2

nirn-optimiser

Off-chain Typescript for adjusting weightings of Nirn yield aggregator vaults

OpenSea-seaport

Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

optimism-dai-bridge

Optimism Dai and upgradable token bridge

OutputParser-VsCodeExtension

VSCode extension that presents the verification results

prism

Lightweight, robust, elegant syntax highlighting.

PublicProjects

This repository contains links to our completed full-service customer projects

pygments

Pygments is a generic syntax highlighter written in Python

saddle-contract

The smart contracts behind saddle.finance 🤠

SirenMarkets

SIREN Core Smart Contracts

solidity-1

[Optimism] (Slightly) modified Solidity compiler

StorageCorruptionPOC

Suide

sushiswap

Sushiswap smart contracts 🍣 📝

z3

The Z3 Theorem Prover