audit ledger 80 distinct engagements & programs 2023 → present

~/work

The work. The evidence.

Explore private reviews, contest findings, bounty triage, and independent disclosures. Every record is visible; use the filters to find experience relevant to your protocol. Working across Move · Rust · Solidity · Cairo · Sway · FunC · Go.

# selected_proof

The work behind the signal.

Three snapshots from the ledger: competitive research, private depth, and production protocol review.

open the full proof explorer
01 / public report Aptos · lending

Aave

Flagship lending protocol research with a public report and actionable findings.

1 H1 Mreported finding set ↗
02 / private depth Sui · CLOB · leverage

DeepBook

Firm-side review of a decentralized order book with margin and leverage surfaces.

privateThree Sigma delivery
03 / multi-surface Sui · EVM · bridge

WaterX

Credit, bridge, perpetuals, and prediction-market surfaces across a live protocol suite.

3+systems reviewed ↗

# proof_explorer

Explore the full track record

// Search by protocol, ecosystem, firm, or review type; some engagements appear in more than one section.

Showing all 79 portfolio entries

All work is visible by default. Choose a filter or search to narrow the list. Clear filters at any time to return to the full portfolio.

Move — Sui, Aptos & Movement

// primary focus ecosystem · object model, abilities, capability boundaries, PTB composition

$ ls ~/audits/move/ 14 records

001Aug 2026

Sui Signed Oracle

Sui
oracle security reviewSui Move signed-oracle protocol review
Three Sigmaprivate delivery
private report
003Jul 2026
prediction marketsSui Move protocol security review
Three Sigmaprivate delivery
private report
004

Aave

Aptos
lendingFlagship lending protocol
Cantinapublic contest
1 H1 M ↗ report
005

DeepBook

Sui
CLOB · marginDecentralized central limit order book with margin and leverage
Three Sigmaprivate delivery
private
006Aug 2025

Elixir

Move
staking · vaultMulti-chain staking vault
Pashovprivate delivery
5 M10 L ↗ report
007

Abyss

Sui
yieldYield aggregator
Three Sigmaprivate delivery
private
008

LayerBank

Aptos
lendingLending and borrowing protocol
Sherlockprivate delivery
private
009Jan 2026

Matrixdock

Sui
RWA · cross-chainTokenized gold (XAUm) with cross-chain transfer surfaces
Cyfrinprivate delivery
010

Decibel

Aptos
perpetualsOnchain perpetual futures engine
Sherlockprivate delivery
private
011Jun 2026

WaterX Perps

Sui
perpetualsPerpetual futures venue
Adevar Labsprivate delivery
012Jun 2026

WaterX Credit / Bridge

SuiEVM
credit · bridgeBacked USDX mint/redeem credit system with Wormhole EVM bridge support
Adevar Labsprivate delivery
013Jun 2026

WaterX Prediction

Sui
prediction marketBroker-layer prediction market giving Sui users Polymarket exposure
Adevar Labsprivate delivery
014

Private Move bounty triage

SuiAptos
bounty validationFirm-side validation across live bounty scopes; validated findings turned into deterministic reviewer-ready PoCs
Pashovtriage role

Rust & Solana

// Anchor and native programs · account validation, PDA derivation, CPI boundaries, SPL / Token-2022

$ ls ~/audits/rust/ 8 records

015

Tensor

RustSolana
NFT · AMMSolana NFT marketplace with an automated market maker
Cantinapublic contest
2 H1 M ↗ 3rd place
016

StarVault

Rust
crowdfundingCrowdfunding platform on Solana
Adevar Labsprivate delivery
2 H9 M8 L private report
017

ImpossibleFinance / Rarible

Rust
Token-2022 · marketplaceNFT marketplace triage on Token-2022 extensions
Zenithtriage role
2 C1 H ↗ triage
018

star-dot-fun v2

Rust
launchpadToken launchpad
Adevar Labsprivate delivery
private
019

Centrifuge

Rust
RWAReal-world-asset tokenization infrastructure
Cantinapublic contest
020

Cudis

Rust
DePINWearable DePIN with health-data reward accounting
Privatedirect engagement
1 M2 L private report
021

CrunchDAO

Rust
DAO · marketplaceData marketplace and DAO tooling
Accretionprivate delivery
private
022Mar 2026

Oro

Rust
RWA · goldGold-backed real-world-asset infrastructure
Adevar Labsprivate delivery

Private Engagements

// delivery as a private or firm-side auditor—not contest participation · eight recent scopes below · the complete 34-entry ledger lives on its own page

Confidential by default. Specific where permitted.

Client names and public reports appear only where disclosure is already authorized. Private reports stay private; references and redacted work samples are available during scoping.

$ head -8 ~/audits/private/ledger 8 of 34

023

Sui Signed Oracle

oracle security reviewSui Move signed-oracle protocol review; implementation details and findings remain private.
Three Sigma
private report
024

Zoth

Movement MoveCollaborative protocol security review; final report updated September 14, 2026.
Sherlock
025

DeepBook Predict

prediction marketsSui Move protocol security review; implementation details and findings remain private.
Three Sigma
private report
026

Mentat Minds BtLending

Bittensor lending with TAO liquidity, subnet collateral, dual-EMA oracles, liquidation, and deregistration settlement.
BurraSec
NDA-protected
027

Infini Finance

Multichain stablecoin expansion covering L2 minting, staking, redemption, bridging, and reserve-to-supply reconciliation.
Three Sigma
NDA-protected
028

WaterX

Sui perpetuals, prediction markets, and a backed credit system with EVM/Wormhole bridge support.
Adevar Labs
029

ORO Protocol

Gold-backed RWA infrastructure on Solana, reviewed across protocol accounting and token flows.
Adevar Labs
030date private

Decibel

Aptos perpetuals trading engine — order lifecycle, margin, liquidation, risk logic, and formal properties.
Sherlock
private report
open the full private ledger → discuss a private review 34 engagements · recent-first · NDA-aware
#05 formal_verification Search and filter portfolio ↑

Formal Verification

// mathematically proving protocol invariants rather than sampling for counterexamples · Certora CVL, Sui Prover, Move Prover

$ ls ~/audits/fv/ 3 records

031

Current Sui

Sui
lendingSui DeFi lending protocol — invariant specification and proof
Sherlockprivate delivery
private
032

Spicenet Solidity

Solidity
delegationSpicenet Delegate contracts — rule authoring and verification
Pashovprivate delivery
private
033

Decibel on Aptos

Aptos
perpetualsPerpetual futures trading engine — global markets, onchain
Sherlockprivate delivery
private
✓Certora CVL
✓Sui Prover
✓Solidity FV
✓Move Prover

Public Contests

// independent competitive research—not private client delivery · Cantina, Sherlock, Code4rena, CodeHawks · 12 of 19 finished top ten

$ ls ~/contests/ | sort -r 19 records

034Jun 2026

Polygon Heimdall V2

Go
consensus clientPolygon PoS consensus client rewrite
results pendingSherlock
26 accepted
035

Arcade

Solidity
NFT lending
🥈 2nd place
1 M
036

Aave

Move
Lending on Aptos
🥉 3rd placeCantina
1 H1 M
037

Tensor

Rust
NFT AMM
🥉 3rd placeCantina
2 H1 M
038

Velvet v4

Solidity
Asset management
🥉 3rd place
6 H7 M
039

Venus

Solidity
Governance
🥉 3rd place
9 L
040

Juicebox

Solidity
Onchain treasury
🥉 3rd place
2 M8 L
041

RedStone

Sway
Oracle
6th place
1 H1 M1 L
042

Chorus One

FunCTON
Staking
7th place
1 H
043

stake.link

Solidity
Liquid staking
8th place
1 H3 L
044

Bima

Solidity
Liquity fork
8th place
1 H3 M
045

Starknet Staking

Cairo
Staking
9th place
1 H1 M1 L
046

Dahlia

Solidity
DeFi
10th place
4 M
047

Opal

Solidity
DeFi
12th place
1 H7 M2 L
048

Centrifuge

Rust
Real-world assets
12th placeCantina
1 M
049

Farcaster

Solidity
Social protocol
17th place
2 M
050

MightyFi

Solidity
DeFi
20th place
6 H3 M
051

ArkProject

Cairo
NFT bridge
20th place
1 H2 M1 L
052

Chakra

Cairo
Cross-chain settlement
unranked
2 H

Triage & Finding Validation

// firm-side validation role—not an authorship claim for submitted reports · severity validation, PoC reproduction, duplicate consolidation, reviewer handoff

$ ls ~/triage/ · Latest additions first 24 records

Accountable Vaults V2

ZenithTriager

EnteleWALLET — Public Website

Zenith
074

Cap Protocol

EVMSolidity
stablecoin · lendingBad-debt accounting, liquidation economics, oracle safety, reward settlement, proxy deployment, and async redemptions
ZenithTriager

25 High-severity candidates triaged · exploitability, trust assumptions, duplicates, PoC validity, and realistic severity reviewed

073

Aave V3 Origin

EVMSolidity
lending marketReserve accounting, oracle, liquidation, incentives, governance/configuration, and upgrade paths
ZenithTriager
internal

38 High-severity candidates reviewed · exploitability, freshness, duplicates, trust assumptions, and realistic severity validated

072

Astros

Sui
Perpetuals
PashovTriager / PoC
071

Navi

Sui
Lending
PashovTriager / PoC
070

Kai Finance

Sui
Lending
PashovTriager / PoC
069

Walrus

Sui
Storage infrastructure
PashovTriager / PoC
068

Scallop

Sui
Lending
PashovTriager / PoC
067

Aptos — Crypto

Aptos
Cryptography
PashovTriager / PoC
066

Sui Framework — Staking

Sui
Staking
PashovTriager / PoC
065

Sui Seal

Sui
Cryptography
PashovTriager / PoC
064

Ladder Markets

EVM
DeFiAsynchronous tranche withdrawals
ZenithTriager / Verified / PoC
063

Divvy.bet

SolanaRust
bettingTournament CPI and house programs
ZenithTriager / priority review
062

ImpossibleFinance / Rarible

SolanaRust
marketplaceToken-2022 NFT marketplace
ZenithTriager / Verified
061

Optimism — Fault Proof

L2Go
fault proofOP Stack · ~12.5k LOC
Pashov Audit GroupVerified / Triaged
060

Balancer v3

EVM
DEX110 contracts · ~25.3k LOC
Pashov Audit GroupVerified / Triaged
059

Royco

EVM
yield90 contracts · ~18.4k LOC
Pashov Audit GroupVerified / Triaged
058

Rails (Liquidity Vault)

StellarSorobanRust
managed vaultXLM collateral with USDT0 yield accounting
ZellicTriager
internal

2 valid, 1 invalid · PoC-backed notes

057

Lido

EVM
liquid stakingEasy Track governance, accounting oracle, council daemon, and validator ejector
ZenithTriager
internal

5 findings reviewed · 1 clear Medium, 4 Low / conditional Medium · PoC-backed validity and severity triage

056

3Jane Money Market

EVM
lending · vault · oracleUnsecured credit money market with USD3/sUSD3 vaults and borrower-specific rates
ZenithTriager
internal

4 highest-severity findings reviewed · validity and severity notes

055

Metronome Synth

EVM
synthetic assetsCollateralized synthetics, rewards, and cross-chain surfaces
ZenithTriager
internal

Priority finding validation · exploitability and severity review

054

Starknet Privacy

CairoRustTypeScript
privacy poolPrivacy pool, discovery service, and SDK
ZellicTriager
internal

Triage complete · 4 highest-severity findings reviewed for validity and realistic severity

053

Noise Sequencer

RustEVM
trading sequencerOff-chain sequencer for market, funding, PnL, ADL, withdrawal, and NAV settlement
ZenithTriager
internal

86 findings triaged · 2 High and 40 Medium finalized · duplicates and invalid reports consolidated

Independent Disclosures

// my own vulnerability reports to L1/L2 programs · submitted outside any firm engagement

$ ls ~/bounties/ 3 records

076

Decibel

Aptos
confirmed & rewardedPerpetual futures engine
1 C2 H5 M
private program
077

OpenZeppelin

Cairo
public · CVE-2024-45304Cairo contracts library
1 M
078

ZKsync Lite

ZK
acknowledgedReported as a known issue
1 C
—
Where a row says private, that is the disclosure status — not the depth of the work. Roughly half this ledger sits behind client confidentiality. References and redacted samples are available during scoping.
security_expertise

Security research by ecosystem and protocol

Explore review scope, relevant findings, and technical writing for your protocol.

#01 signal_profile

The shape of the record

// mutually exclusive delivery categories · cross-listed ecosystem views never increase the total

how the work arrives 80 distinct records
  • Private & firm-side engagements34
  • Public contests19
  • Triage engagements & programs24
  • Independent disclosures3

Formal verification is a three-scope subset of the 34 private engagements, not an extra category. Every displayed row now carries a canonical record ID or an explicit cross-reference. Open the private ledger ↗

where evidence is indexed 79 cross-indexed views
  • Move — Sui, Aptos & Movement31
  • EVM — Solidity22
  • Rust — Solana & Soroban15
  • Cairo — Starknet5
  • Sway · FunC · ZK circuits3
  • Go — consensus & OP Stack2
  • Web — verification & tooling1

These are searchable evidence views, not additive engagements. A cross-runtime scope can appear in multiple stacks; the 80-record total above is deduplicated by delivery record.

how the research places 19 contests
  • Podium — 2nd & 3rd6
  • Top ten — 6th to 10th6
  • Top twenty5
  • Unranked or pending2

12 of 19 competitive entries finished inside the top ten, against open fields of hundreds of researchers. Contest work is independent research — it is listed separately from private client delivery on purpose.

delivered with Three Sigma Pashov Audit Group Sherlock Cantina Cyfrin Zellic Zenith Adevar Labs Accretion BurraSec
#09 next

Need an auditor?

// multi-ecosystem protocol security · private delivery, formal verification, contest research