Jay
Security Researcher - specialization in Formal Verification
@movejay
sr
Public earnings
$0
Public findings
0
Skillset
Self-reported
Admin verified
Account Abstraction & Wallets
Intents / SolversMultisig (Safe)Social Recovery
Blockchain Platforms (L1 + VM)
AptosEVMSolanaSui
Consensus & Node Infra
Consensus (PoS / BFT)
Cross-Chain & Interoperability
Cross-Chain BridgesMessaging Protocols (LayerZero/CCIP/Wormhole)
Worked with
Private reviews
Engagement | Project title | Timeframe | Researchers |
|---|---|---|---|
Coinbase | Coinbase: solana-stable-swapper | Aug 2026 - Aug 2026 | |
Coinbase | Coinbase: Base Precompile Macros & Storage | Jun 2026 - Jun 2026 | +1 |
Coinbase | Coinbase: Precompiles Src | Jun 2026 - Jun 2026 | +1 |
Eco Foundation | Eco Routes SVM | Apr 2026 - Apr 2026 | |
Coinbase | Sunrisedotdev: Settlementsale | Apr 2026 - Apr 2026 | |
Coinbase | Coinbase: Multiproof | Mar 2026 - Mar 2026 | |
Sanctum | Sanctum: Sols | Feb 2026 - Mar 2026 | |
Echo | Echo | Oct 2025 - Oct 2025 | |
Avara | Aave: Aptos V3.1-3.3 Core Upgrades | Mar 2025 - Apr 2025 | +1 |
Avara | Aave: Aptos V3.0.2 Periphery | Mar 2025 - Apr 2025 | +1 |
Avara | Aave: Aptos V3.0.2 Core | Mar 2025 - Apr 2025 | +1 |