Guo Yu
@1dot2
Followers
2K
Following
4K
Media
8
Statuses
1K
Crypto Maximalist, EVM/cryptography/system/reading/fun, Proud Founder of @SECBIT_IO
Suzhou, China
Joined February 2010
RT @bennypinkas: In a new blog post at we present a method for verifying multi-exponentiations and multi-scalar mu….
0
12
0
RT @GalArnon42: Delighted to share my new paper with Eylon Yogev presenting a new Fiat-Shamir (FS) transformation that aims to be secure ag….
0
35
0
RT @GiacomoFenzi: Amazing new work by @GalArnon42 and Eylon Yogev on how to securely instantiate the Fiat-Shamir transformation and avoid t….
0
12
0
RT @0xAlbertG: Introducing Zinc 🪨: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers ( https://….
0
32
0
RT @surfer__05: In addition to this post, I curated this repo : .I've added a new folder named papers! It contains….
0
1
0
RT @kaijuneer: Wrote a barebone FRI implementation a while ago, mostly for my own understanding, but hopefully also could be helpful to oth….
0
8
0
RT @ant_sabado: Our team's ongoing work on the Halo2 extractor is making great progress toward the formal verification of a zkEVM's Keccak-….
0
1
0
RT @alexhevans: The Accidental Computer with @GuilleAngeris on prover acceleration via DA encodings. In short, proofs-of-encoding (such as….
0
54
0
RT @coset_io: 📢 ZKVM Hacker House in Suzhou is on the way!. In April, we’re hosting a ZK Hacker House in Suzhou, China with @SECBIT_IO , fo….
0
1
0
RT @alrshirzad: Excited to share our new work, DewTwo!. DewTwo is the smallest known transparent pcs (with a 4.5 KB eval proof) built solel….
0
17
0
RT @Istvan_A_Seres: 🚨Quantum computers pose a threat to cryptocurrencies. How do we transition into a post-quantum era?. For Bitcoin, solut….
0
7
0
RT @IrreducibleHW: 🚀Big news! Irreducible launches alpha-ready Binius library and its first application, an Ethereum state proving service.….
0
55
0
see u in Guangzhou.
Just a week ahead! Let's meet up in Guangzhou to talk about ZK and Ethereum in the New Year🫡.
1
1
8
RT @Franci_Deng: Just a week ahead! Let's meet up in Guangzhou to talk about ZK and Ethereum in the New Year🫡.
0
2
0
RT @protocol_fx: 🚀 f(x) v2.0 is LIVE! .After extensive development and testing, we're revolutionizing leverage trading and yield generation….
0
76
0
RT @KaiyuYang4: 🚀 Excited to share our position paper: "Formal Mathematical Reasoning: A New Frontier in AI"!.🔗 LL….
0
125
0
RT @ErrNil: Must-watch 38C3 @ccc talk on low entropy vulnerabilities. Props to Milk Sad team (@JohnNaulty, Christian Reitter & team) for th….
0
4
0