Skip to content
View mratsim's full-sized avatar
:shipit:
:shipit:
924 followers · 419 following
  • Paris

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@numforge

Block or report mratsim

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@XuehaiPan
Xuehai Pan XuehaiPan
Ph.D. student at Peking University | Leading Agent/RL Infra @deepseek-ai Interested in Reinforcement Learning & Multi-Agent Systems & Distributed Computing.

CFCS @ PKU | @deepseek-ai Peking University, Beijing

@tcoratger
Thomas Coratger tcoratger
PhD in applied mathematics. Research at Ethereum Foundation.

Ethereum Foundation France

@DarkStarStrix
Darkstalker DarkStarStrix
AI systems engineer

None USA

@Chloezhu010
Chloe Zhu Chloezhu010
Coding @42school
@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@jrudolf
Josh Rudolf jrudolf
@Ko-
Ko-
@kyren
Catherine West kyren
@rkdud007
πa rkdud007

korea but south

@GrapeBaBa
Chen Kai GrapeBaBa

https://optimism-java.github.io/ China

@jph00
Jeremy Howard jph00
CEO / R&D @ answer.ai; Founder fast.ai

@answerdotai Brisbane, Australia

@cryspen
Cryspen cryspen
High Assurance Software & Tools

France

@PatStiles
PatStiles
@StefanosChaliasos
Stefanos Chaliasos StefanosChaliasos
PhD Student @imperial College London / Security Researcher @zksecurity

Imperial College London London, UK

@morganthomas
Morgan Thomas morganthomas

Manchester, NH

@tess-eract
Tess Dore tess-eract
i like geometry, arithmetic, and privacy. these things are more closely related than they might appear. note: my name appears as "Dan Dore" in some places.

@lita-xyz Oakland, CA

@Validark
Niles Salter Validark
Gotta go fast! Validark@pm.me

tvScientific

@euisuny
Irene Yoon euisuny
@dmpierre
Pierre dmpierre
@WizardOfMenlo
Giacomo Fenzi WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!

EPFL Italy

@greenhat
Denys Zadorozhnyi greenhat
@quilt
quilt
@levs57
levs57
@eth-clients
eth-clients
A place to coordinate ethereum chain configurations.
@karalabe
Péter Szilágyi karalabe
Dreamer and builder @dark-bio; former Go @ethereum lead (2015-2025)
@geometers
Geometry Research geometers

Israel

@spapinistarkware
Shahar Papini spapinistarkware
@shaharsamocha7
shaharsamocha7
@sarah-quinones
sarah quiñones sarah-quinones
@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@smtmfft
smtmfft

@taikochain

@Brechtpd
Brecht Devos Brechtpd
@CeciliaZ030
CeciliaZ030
@0xbok
0xbok 0xbok
ZK and smart contract dev and auditor; prev: @privacy-scaling-explorations, @electisec
@Swoir
Swoir
@dyxushuai
John Xu dyxushuai
@compsec-epfl
Laboratory for Computation Security compsec-epfl

Switzerland

@bragaigor
Igor Braga bragaigor
Lead Rust Engineer, Speaker, Mentor, Tennis player, sweets connoisseur

Zircuit Canada

@niconiconi
Tiancheng Xie niconiconi
CTO of Polyhedra Network, Ph.D in Computer Science, UC Berkeley, Former member of ACM Class, SJTU

UC Berkeley Berkeley, CA

@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. Lean and TypeScript hacker with 🍓 for crypto, math, ZKPs, P2P, Wasm, open source

@zksecurity Vienna, Austria

@nau
Alexander Nemish nau
Former engineer @ IOG, developed Marlowe. Blockchains, FP and programming languages enthusiast, musician, skydiver and more.

@input-output-hk France

@rdubois-crypto
Renaud Dubois rdubois-crypto
- Expert Cryptographer in Ethereum Ecosystem (mainnet + L2's) for 2 years. - Expert Cryptographer for the Defense Industry (17 years).

Erdos Number : 4 zknox.eth

@rakita
rakita

Serbia

@taikoxyz
Taiko Labs taikoxyz
A decentralized, Ethereum-equivalent ZK-Rollup
@kevjue
Kevin Jue kevjue

San Francisco

@jtguibas
John Guibas jtguibas

Succinct San Francisco, CA

@puma314
puma314
@dreamATD
Tianyi Liu dreamATD
A PhD student researching on practical ZKP.

University of Illinois at Urbana-Champaign Urbana, IL

@dataforgoodfr
Data For Good France dataforgoodfr

France