Eigen Labs
Lucas Menéndez
lucasmenendez
Coding lover, ninja developer. I spend my time on learning new things and make my life better, simpler and beautiful with tehm.
@vocdoni Spain
Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
zilong.dai
zilong-dai
What does when mean?
Rust, C++, Go Developer. ZK Engineer @QEDProtocol
QEDProtocol ShenZhen
Tina Sun
Soontina
Results-driven software engineer and open source enthusiast. Specializes in back-end development and enjoys building efficient and scalable systems.
ByteDance Singapore
Караганда
Alejanpro
Exploring the fascinating intersection of math, technology, and humans.
Yandex Russian Federation
Agnish Ghosh
agnxsh
core developer @ethnimbus | interested in ethereum scalability, zero-knowledge proofs, low-level programming and scientific computing
@status-im Kolkata, India
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
Shailesh Nair
sbnair
Working in Ethereum, Tezos, Cosmos, Solana and in the areas related to Cryptography mainly focused on ZKP, DKG,DVT, MPC.
Software Consultant Remote
Chen Kai
GrapeBaBa
https://optimism-java.github.io/ China
PreviousNext