Skip to content
View clarus's full-sized avatar
🐻
☾λ
🐻
☾λ

Highlights

  • Pro

Organizations

@coq-bench @coq-concurrency @coq-io

Block or report clarus

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
@0xMushow
0xMushow
Security Engineer @formal-land | Solidity & Rust Smart Contract Auditor πŸ¦€ β€” Interest in Blockchain, Cryptography, ZKP β€” Building https://severum.xyz

Formal Land Paris, France

@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@8sunyuan
Michael Sun 8sunyuan
Just a blockchain enjoyer
@wadealexc
Alex wadealexc
Oolong maximalist. Bouldering enthusiast. Certified dog evaluator. Prev: security researcher at Consensys Diligence.
@yi-sun
Yi Sun yi-sun

@axiom-crypto

@Savio-Sou
Savio Savio-Sou
Product Manager of @noir-lang

@noir-lang

@rkdud007
Ο€a rkdud007
blazingly fast with lofi

korea but south

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@storyprotocol
Story storyprotocol
Story is the world's IP blockchain.

United States of America

@AshtonStephens
Ashton Stephens AshtonStephens
Dedicated engineer with a passion for education and innovation. Expertise in embedded systems, computer engineering, and managing high performing teams.

TrustMachines Boston

@martinvol
MartΓ­n Volpe martinvol
Full stack eng turned engineering manager Typescript, Solidity and Python

@celo-org Barcelona, Spain

@Galileo-Protocol-io
Galileo Protocol Galileo-Protocol-io
At Galileo Protocol, our mission is to create a world where everything gets tokenised.

France

@blockcheers
Blockcheers blockcheers
Senior Blockchain Engineer
@KanievskyiDanylo
Danylo Kanievskyi KanievskyiDanylo
Web3 Typescript Developer

Kyiv

@devdacian
Dacian devdacian
deep diving smart contract security

@Cyfrin in your storage

@xklob
klob | various ramblings xklob
PRIORITY: URGENT | SHELTER | #LAWFARE | SEE klob.substack.com/p/lawfare

@SegfaultSecurity San Francisco, CA

@carlosdimatteo
Carlos D. Di Matteo carlosdimatteo
Full Stack Software Engineer

Collar Networks

@freeelancer
Lance Lan Meng freeelancer
Software Engineer focused on blockchain applications

Singapore

@MANTRA-Chain
MANTRA Chain MANTRA-Chain
MANTRA is a Security First RWA Layer 1 Blockchain, capable of adherence to real world regulatory requirements.

Switzerland

@RensR
Rens Rooimans RensR
Blockchain engineer at Chainlink Labs

Chainlink Labs @smartcontractkit Netherlands

@0xA5DF
0xA5DF
Move fast, break things, and get paid for it
@tudoriliuta
Dragos Tudor tudoriliuta
Data Science and Machine Learning Scholar

Quasar Labs London

@dianakocsis
diana dianakocsis
Protocol Eng @Uniswap

New York City

@hensha256
Alice hensha256
Protocol Eng @Uniswap. Previously Auditor for @OpenZeppelin.

New York