🎯
Focusing
Life is like Markov chains.
-
Zhejiang University
- Zhejiang, China PR
-
21:43
(UTC +08:00) - hinsliu.com
- @hinsliulovezju
Highlights
- Pro
Nethermind
NethermindEth
Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.
Giacomo Fenzi
WizardOfMenlo
PhD student in Cryptography at EPFL.
Interested in proofs systems, zkSNARKs, and more!
EPFL Italy
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Quang Dao
quangvdao
Formal verification for cryptography.
PhD Student at Carnegie Mellon University
Pittsburgh, PA
Zama
zama-ai
Zama is an open source cryptography company building state-of-the-art FHE solutions for blockchain and AI.
Paris
Tangle Network
tangle-network
The developer platform for building, deploying, and monetizing decentralized infrastructure.
SecretFlow
secretflow
A unified framework for privacy-preserving data analysis and machine learning
China
Stackup
stackup-wallet
Stackup helps businesses manage their crypto assets.
United States of America
Tianyi Liu
dreamATD
A PhD student researching on practical ZKP.
University of Illinois at Urbana-Champaign Urbana, IL
PreviousNext