Skip to content

@Certora Certora

Users following Certora

@Magic-Abracadabra
自有计算（Self-Sovereign Computing） Magic-Abracadabra
让技术守护并发展横向人际关系，而不是纵向人际关系。让愿意者横向关系者亦可成为生产者；让愿意者横向关系者都用得起尖端技术；让愿意者横向关系者都配得主体性。

Human-Centered and Individual-Collective Mutual Empowerment AI, Globally Compliant Web3-Based Decision-Making Tools Globally Decentralized

@Cryptosours
Cryptosours Cryptosours
Nice, But Brutal !! Follow my Tradingview account.

Cryptosours Inc Underground

@0xjoma
Jomael Ortiz Perez 0xjoma
I🎓 Pursuing a M.S. in Cybersecurity | 📖 Avid reader & lifelong learner | 🌐 Passionate about IoT

Oahu, HI

@dioptx
Dennis P dioptx
Surfing on/off-chain Before data @binance, @glassnode, @optimism, @Arkham | All neural outputs are my own or my dog

Athens, Greece

@qanghaa
Nguyen Quang Ha qanghaa
just a gopher

Ho Chi Minh city - Viet Nam

@Sr-santi
Santiago Rios Olaya Sr-santi
TBD
@bswcorp
Sovereign Titan Genesis bswcorp
Founder of Sovereign Titan Genesis (STG) | Quantum-Safe Macroeconomics & Space-Time Folding Architect | Developing the future of RWA at BSWCORP.

Sovereign Titan Government Balikpapan

@shenyimings
Yiming Shen shenyimings
Research Assistant@Zhejiang University, MS'27 in Software Engineering@Sun Yat-sen Univerisity | Web3 Security · LLM4Sec | Open to Fall'27 PhD Opportunities

Sun Yat-sen University 127.0.0.1

@jrey8343
nohead jrey8343
@Oruhkl
Okosun Innocent Oruhkl
Smart Contract Engineer
@jordan-s-certora
jordan-s-certora
@CryptAm
cryptam CryptAm
@keysemails
nichenpc keysemails
"La mémoire poetique, jadis source infinite de jouissances, est devenue an arsénal inépuisable d'instrument de supplices"

Bureau of Minor Applied Speculatio Leipzig

@pdiomede-certora
Paolo Diomede pdiomede-certora
TAM @ Certora

Certora Rome, Italy

@MewMew0000
MyLittleLover MewMew0000
@marvin7122
Marvin marvin7122
@sthfrdbm
sthaford mamahit sthfrdbm
github newbie

manado, north sulawesi

@DHRUVCHARNE
Dhruv Charne DHRUVCHARNE
Curious Full-stack Web3 dev crafting clean code, smart contracts, and AI-powered ideas ⚡🔗🤖

Indore,India

@moon2l
QGW moon2l
@MahimaChauhan7
MahimaChauhan7
@devstar222696
JeRRy devstar222696
Security Researcher @sherlock-audit | Read judge @code-423n4 | Bounty Hunter @hackenproof-public

Tenalia Audits

@0xmahdirostami
mahdiRostami 0xmahdirostami
Master's degree in machine learning. Focused on web3 Security.

Dubai

@Kazopl
Catalin Dinu Kazopl
Full‑stack Web3 engineer focused on wallets, smart contracts, DeFi and MPC. Working with Solidity, Rust, TypeScript, Next.js and EVM chains.

Bucharest

@0xrudra99
Rudra Singh 0xrudra99
Wannabe Pwner
@julianthome
Julian julianthome
@julian-certora
Julian Dolby (Certora work) julian-certora

Certora New York

@mashharuki
Haruki Kondo mashharuki
Web3やAI、AWSなど幅広く勉強中。学生時代はヨット部に所属しており4年間江ノ島の海で活動していました。 情報処理安全確保支援士 第022981号

Japan

@unineko5555
unineko unineko5555
@OJE-07
Daniel imonah OJE-07
Dilettante. Stutter. OCD. Mentally unstable & insane. Let's talk! 😊
@c-plus-plus-equals-c-plus-one
JanuaryPersimmon2024 c-plus-plus-equals-c-plus-one
When the wind of change blows, some build walls, while others build windmills.

Terra incognita.

@songever
Wensong Trivial songever
1021940593@qq.com songever414@gmail.com

Jinan University GuangZhou, China

@lufaque
Nikita Gruzdev lufaque
Head of engineering at Concero

concero.io

@Shirly-Levy
Shirly Shirly-Levy
@pdiomede
Paolo Diomede pdiomede
Technical Account Manager at @Certora

Certora Rome, Italy

@ecivini-certora
Emanuele Civini ecivini-certora
Formal Verification Researcher at Certora. Personal account: @ecivini

@Certora Italy

@0xStabby
0xStabby
@gypsyking18
gypsyking18
@yoursbyte
Byte yoursbyte
A pioneer web3security researcher

@yoursaudit

@rafaelescrich
Rafael Escrich rafaelescrich
Blockchain Engineer, Cryptography enthusiast and studied Information Systems @ Universidade Federal de Santa Catarina in Florianópolis, Brasil

@dfb-chain Florianópolis

@Abbasjafri-syed
Asghar Abbas Abbasjafri-syed
Blockchain Developer [Work - In -Progress]
@TimmyKwesi
Timmy TimmyKwesi
🙂 Security Researcher | Move | Rust
@jimmy93029
Jimmy Wu jimmy93029

沒

@bibiTheBest1
bibi bibiTheBest1
@PlamenCertora
PlamenCertora
@kel-certora
Kevin Lotz kel-certora
@zanderbyte-certora
zanderbyte-certora
@novaman-certora
novaman-certora
@XuHugo
Kent XuHugo

@ beijing

@omerlerinman
omerlerinman

@Certora

@tpiliposian-certora
tpiliposian-certora