Stack

// Cargo.toml
──────────────────────
[package]
name     = "4rdiii"
role     = "senior-dev"
since    = 2020

[languages]
solidity = "^0.8.x"
rust     = "anchor"
soroban  = "stellar/xlm"
tolk     = "ton/func"
ts       = "^5"
python   = "^3.11"
vyper    = "^0.3"
huff     = "*"
yul      = "*"

[tools]
foundry  = "*"
certora  = "*"
slither  = "*"
tenderly = "*"
──────────────────────
$ _

┌─[ test.report ]────────────┐
│ compile ............... ok  │
│ slither ............... ok  │
│ aderyn  ............... ok  │
│ fuzz    ... 10k runs .. ok  │
│ invariant .  5k runs .. ok  │
│ certora  ............ pass  │
│                             │
│ coverage        98.4 %      │
│ gas saved       ~20 %       │
│ vulns caught    75+         │
│ audits          25+         │
└─────────────────────────────┘
 └─◉ all green

languages

SolidityRust (Solana)Soroban (Stellar) Tolk (TON)TypeScriptPython VyperHuffYulJavaScript

tools

FoundryHardhatAnchor CertoraSlitherAderyn TenderlyChainlink FunctionsChainlink CRE WormholeEigenCompute TEE

domains

Diamond ProxyCross-chain bridges Account abstraction (4337 / 7702) DeFi protocol designStellar / Soroban Competitive auditing ZK circuitsAgent-based tooling

side projects home