Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
Nick Ferguson
KJTechnical
KJ Technical has been connecting elite engineers with the world's most interesting crypto projects since the mining of BTC Block 464952.
KJ Technical Denver
Alex Fanat
TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
Cheng JIANG
GopherJ
Rust, CUDA/SIMD, TypeScript, Solidity, Go Developer.
ZK Engineer @QEDProtocol @L2Ordinals
ex-Core @parallel-finance @para-space @Ubudu @casbin
@QEDProtocol c(x, w) = 0
griegog211
griegos211
Marketing and Advertising also Crypto Trading and Anything else you can make money from
Rabbits Creation Spot Bernalillo,New Mexico
Bob Niu
spartucus
Just a slob like one of us.
Just a stranger on a bus.
Trying to make his way home.
web3 world
Simon Emanuel Schmid
schmidsi
Decentralising the interwebs with The
@graphprotocol
💫.
@edgeandnode onchain
C H
cyborgshead
cyber~Congress. SuperIntelligence & consensus computers R&D.
TG: @cyborgshead
@cybercongress Cyberspace
Mentor Reka
0xMentorNotAPseudo
Building the best place to live for savvy traders on #Starknet.
AVNU Switzerland