Examples of Solidity security issues

A practical example on how to perform sandwich attacks on Ethereum

Smart contracts which are formally verified

The smart contracts of the Inverter Network

zero knowledge for those with zero knowledge

A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).

Implementation of a non-transferrable NFT using non-financial incentivization.

Trustless automatic DeFi strategies

A stablecoin-based zkprotocol designed for simplicity, privacy and utility

Cyclone is a multi-chain, non-custodial, privacy-preserving protocol. Cyclone applies zkSNARKs to enable transactional privacy by breaking the on-chain link between depositor and recipient addresse…

Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721A.

Specular Monorepo

Darwinia cross-chain messages gateway and protocol for EVM developers 💌

Modern and exotic solidity smart contract library for wide use cases.

Forge template with Catapulta Chain Ops Suite

JPYC is a JPY-pegged stablecoin, legally dealt as a prepaid payment instrument in Japan.

FinaSwap smart contracts 📝

Static Analyzer for Solidity