Certora
Users following Certora
Dhruv Charne
DHRUVCHARNE
Curious Full-stack Web3 dev crafting clean code, smart contracts, and AI-powered ideas โก๐๐ค
Indore,India
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
Haruki Kondo
mashharuki
Web3ใAIใAWSใชใฉๅน
ๅบใๅๅผทไธญใๅญฆ็ๆไปฃใฏใจใใ้จใซๆๅฑใใฆใใ4ๅนด้ๆฑใๅณถใฎๆตทใงๆดปๅใใฆใใพใใใ
ๆ
ๅ ฑๅฆ็ๅฎๅ
จ็ขบไฟๆฏๆดๅฃซ ็ฌฌ022981ๅท
Japan
Daniel imonah
OJE-07
Dilettante. Stutter. OCD. Mentally unstable & Insane. If U still wanna talk, fine?!... ๐ณ.
Send Message
JanuaryPersimmon2024
c-plus-plus-equals-c-plus-one
When the wind of change blows, some build walls, while others build windmills.
pfp "Masks Confronting Death" by James Ensor
Terra incognita.
Emanuele Civini
ecivini-certora
Formal Verification Researcher at Certora.
Personal account: @ecivini
@Certora Italy
Rafael Escrich
rafaelescrich
Blockchain Engineer, Cryptography enthusiast and studied Information Systems @ Universidade Federal de Santa Catarina in Florianรณpolis, Brasil
@dfb-chain Florianรณpolis
BoomchainLabs
BoomchainLabs
Building Web3 infrastructure, smart contract platforms, and tokenized ecosystems.
Repos span Solana, Ethereum, Flask, Wasm, and full-stack blockchain toolkits
@Boomchainlab @ChonkLabs
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
#แฆฯ
ฮนส
ิาฝษพ
DacLuc
๐งฑ ๐ต๐๐พ๐น๐ ๐๐ ๐๐พ๐โ โ ๐ฏ๐?โ ๐๏ธ ๐ต๐๐ ๐๐๐ ๐๐๐ถ๐๐โ ๐ต ๐ฒ๐ฝ๐ถ๐?โ ๐ ๐ช๐๐ ๐ป๐๐ ๐ต๐๐๐โ ๐ค ๐๐๐น?โ ๐ฅ ๐ช๐๐ ๐ป๐๐ ๐ต๐พ๐๐๐
๐ซ๐๐๐๐๐๐ (๐ถ.๐.๐ถ. ๐)
Shane
srunquist-certora
Formal Verification Advocate at @Certora (see other accounts for previous and non-Certora work)
@Certora
PreviousNext