Skip to content

@Certora Certora

@norah-certora
Norah_Certora norah-certora
@srunquist-certora
srunquist-certora
Formal Verification Advocate at @Certora (see other accounts for previous and non-Certora work)

@Certora

@calc1f4r
Calc1f4r calc1f4r
Expertise in Rust & Solidity
@divyaranjan1905
Divya Ranjan divyaranjan1905
Mathematics, Philosophy, Libre Software.

India

@kespinola
Kyle Espinola kespinola
Co-founder @abk-labs Prev @holaplex @procore

abk labs Ventura, CA

@Shikhar1808
Shikhar Saxena Shikhar1808

Bareilly

@Osub
webstar Osub
积累与实践是进步的基石😊
@cr-eative-dev
< cr-eative-dev /> cr-eative-dev
Software Engineer (Rust / Solidity / Typescript) • 3D • Designer • @Polkadot-Blockchain-Academy #6 Lucerne Graduate • PBA-X Cohort #1 Alumni
@rejwar
Md. Rejwar Rahman Rifat rejwar
Стоя vor o mundo et 弯腰 前に الله.

@FatherLink In your Heart🫀

@KirillZiborov
krlz KirillZiborov
Formal Methods, C++, Blockchain Enthusiast
@abakst
Alexander Bakst abakst
Formal Methodist

San Diego, CA

@AikenConsultingLLC
AikenConsultingLLC
@horizon-eth
Horizon horizon-eth
Blockchain Developer | Solidity | TypeScript | Hardhat | Foundry Specializing in Writing & Integrating & Auditing Smart Contracts

Turkey

@mysteryon88
Sergey mysteryon88
Audit, web3 security researcher
@jiangplus
jiangplus jiangplus

shenzhen, china

@0xlemon-certora
0xlemon-certora
@certorator
NikolaFromCertora certorator
I will formally ask you to verify your code

@Certora

@LSHFGJ
LSHFGJ
@wenweih
huangwenwei.com wenweih
Coding for fun @metanethub

Internet

@0xZRA
0xZRA

Los Angeles

@marchev-certora
marchev marchev-certora
@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@ecivini
Emanuele Civini ecivini
@swimricky
swimricky
@0xDmitry
Dmitry 0xDmitry
Cooking Hack the TON
@VincenzoImp
Vincenzo Imperati VincenzoImp
PhD student @ Sapienza University of Rome
@Iam0TI
Iam0TI Iam0TI
Breaking software for fun and profit
@doughnutsz
Zhan Song doughnutsz
@svishnus
Sundara Vishnu svishnus
CS + Math + Music @ UMich

University of Michigan, Ann Arbor Ann Arbor, MI

@AuditorPraise
Auditor Praise AuditorPraise
Blockchain Security Researcher
@0xSin0x
DEV 0xSin0x
building@web3
@naeemtarik
Tariq Naeem naeemtarik
@0xgreywolf
0xgreywolf 0xgreywolf
@palmcivet7
palmcivet7
@theoreu
Theoreu theoreu
formal verification / security researcher
@amarinkovic
Aleksandar Marinković amarinkovic
Software Engineer at @nayms

@nayms

@BigGod12
TheRealinvisible BigGod12
When righteousness turns to retribution, even the noblest warrior can transform into a rogue.

my own world

@0xsmarter
0xsmarter
@jf-li00
Jiefeng Li jf-li00

Huazhong University Of Science and Technology Wuhan, Hubei, China

@0x3f97
0x3f97
pwn sleep eat
@mojtaba-eshghie
Mojtaba Eshghie mojtaba-eshghie
PhD Student @ KTH Royal Institute of Technology

KTH Royal Institute of Technology Stockholm

@Pascal4me
Pascal4me
@ParsaAminpour
0xParsa | Σ🧠Ξ ParsaAminpour
Blockchain Eng | Most of repos/projects are private

Monster, Inc e2-pawn

@gdemarcsek
György Demarcsek gdemarcsek
@mmsaki
Meek mmsaki
@derek-certora
Derek derek-certora

@certora

@JaniAnttonen
Jani Anttonen JaniAnttonen
p2p & applied crypto

@STRGL-XYZ Turku, Finland

@george0st
jist george0st
The architect with an overlap into development and analysis. "Almost everything is possible, it's just a matter of time⌚, resources💰 and quality⭐"

Europe, Czech Republic, Prague

@MaryemHadjWannes
Maryem Hadj Wannes MaryemHadjWannes
Engineer by day, digital explorer by night.

National Engineering School of Sousse Moon 🌚

@gabrieledm
Gabriele Del Monte gabrieledm

Rome