Home

Awesome

Publications

Reports

Consensus Protocols Formal Verification

NameReportArtifactYear
Ethereum Weak SubjectivityPDF2020
Ethereum Gasper (GHOST + Casper)PDFGitHub2020
PlatON GiskardPDFGitHub2020
Ethereum CBC CasperPDFGitHub2019-Present
AlgorandPDFGitHub2019
Ethereum Beacon Chain Phase 0PDFGitHub2019
Ethereum Casper FFGPDFGitHub2018
Elrond ESDTPDF2022
MultiversX Async Calls V2PDFGitHub2023

Infrastructure Security Audit and Formal Verification

NameReportArtifactYear
WasmiWasmi - WebAssembly (Wasm) Interpreter2024

Smart Contracts Security Audit and Formal Verification

NameReportBlog PostArtifactYear
TermFinanceFV Summary2024
OveitPDF2024
Soroswap AggregatorReport Audit Summary2024
Lido (Dual Governance)PDF2024
OptimismBlog PostProofs2024
FxDAOPDF2024
Band Standard Reference ContractPDF2023
SynonymPDF2023
Zivoe Locker ContractsPDF2023
Zivoe Core ContractsPDF2023
Hatom Liquid StakingPDF2023
Blockswap Stakehouse WithdrawalsPDF2023
HydraDX Withdrawal FeePDF2023
Galactic Skyteller v1PDF2023
OjoPDF2023
Gigastar Channel Revenue DistributionPDF2023
Galactic Skyteller Debit Card v0PDF2023
MorphoPDF2023
Proof of Neutrality NetworkPDFBlog PostModel2023
AshSwapPDFBlog Post2023
OptimismPDF2022
EigenLayer Design ReviewPDF2022
WorldMobileGroup OwnershipPDF2022
EUROe StablecoinPDF2022
Tinyman AMM v2PDFBlog Posthere2022
Hatom ProtocolPDF2022
HydraDX OmnipoolPDF2022
xBackedPDFBlog Post2022
Jpg.StorePDF2022
Pact.fi RouterPDFBlog Post2022
Blockswap Stakehouse, 2nd auditPDFBlog Post2022
Blockswap GatewayPDF2022
Swaap Labs PoolsPDFBlog Post2022
Quipuswap StableswapPDFBlog Post2022
HonePDFBlog Post2022
Gyroscope ProtocolPDFBlog Post2022
EXA FinancePDFBlot Post2022
Blockswap StakehousePDFBlog Post2022
Algofi AMM & NanoswapPDF2022
AtlendisPDFBlog Post2022
Folks Finance (Audit)PDFBlog Post2022
Folks Finance (Design)PDFBlog Post2022
Alchemix v2PDFBlog Post2022
Pact.fiPDFBlog Post2022
Pact.fi StableSwapPDFBlog Post2022
SundaeSwapPDF2022
Tinyman (Security Review)PDFBlog Post2022
Tracer Perpetual Pools V2PDF2021
Quipuswap TTDexPDFBlog PostGitHub2021
Stakefish Ethereum Staking 2.0PDFBlog Post2021
Algodex (phase 2)PDF2021
Algodex (phase 1)PDF2021
AlgofiPDFBlog Post2021
Yieldly Multi-Token Staking PoolPDFBlog Post2021
Element Finance GovernancePDFBlog Post2021
Algorand Governance RewardsPDFBlog Post2021
TinymanPDFBlog Post2021
Tezos Liquidity BakingPDFGitHub2021
XET ScriptPDFBlog Post2021
Tezos DexterPDFGitHub2021
Element FinancePDFBlog Post2021
StakerDAOPDF2021
StakeWisePDF2020
StakefishPDFBlog Post2020
Ethereum DepositPDFGitHub2019-2020
Polkadot ModuleGitHub2019-2020
GnosisSafePDFGitHub2019
Ethereum Casper (Deprecated)GitHub2018
Uniswap V1PDFGitHub2018
BihuPDFGitHub2018
ERC20 TokensGithub2017-2018

ZKVM Design Security Audits

NameReportBlog PostArtifactYear
Zorp zkVM design reviewPDF2023

Formal Models and Language Semantics

Virtual Machines

NameReportArtifactYear
Elrond WASMGitHub2020-Present
IELEFM'2019GitHub2016-Present
EVMCSF'2018GitHub2016-Present

Smart Contract Languages

NameReportArtifactYear
Tezos MichelsonGitHub2019-Present

Standard Specifications

NameReportArtifactYear
ERC777GitHub2018
ERC20GitHub2017