joe

years of machine learning dev, now working on cryptographic research & engineering on ZKP

[Saman Habibi Esfahani @Saman_Habibi_E]

Hi friends! I’m back to uploading my Algebraic & Complex Geometry course online. I was busy starting my postdoc at Harvard so there was a gap. This summer I’ll be posting the rest of the course. Here’s the latest lecture:

https://t.co/0eXhlxi6lQ

[Math, Inc. @mathematics_inc]

We have verified the security of the Fast Reed–Solomon Interactive Oracle Proof (FRI) protocol - a cornerstone of modern transparent, STARK-style zero-knowledge proofs - by autoformalizing "Succinct Proofs and Linear Algebra" by Evans-Angeris with Gauss.

https://t.co/btyAi8SKIx

[joe @pingzhouyuan]

Just checked my Cysic airdrop — I'm eligible! 🚀 https://t.co/HPrMSJ371f

[Binyi Chen @Charles_Chen533]

Excited to share https://t.co/PhHBgrv7Eo, which rethinks the usage of folding in succinct proof systems.
We provide a new framework to build folding-based SNARKs, by eliminating the need to prove Fiat-Shamir inside circuits and by introducing a high-arity lattice folding scheme

[Yupeng Zhang @YupengZhang7]

Excited to share our new paper: https://t.co/EIsfIsZAW4! We made Groth16 dynamic - proofs can now be efficiently updated when the witness changes slightly. Amazing that after 10 years, we still have new insights of Groth16 and Pinocchio. Joint work with two brilliant new students

[Kirk Baird @kirkthebaird]

This is a great resource for ZK Auditors!

Thanks @trailofbits

https://t.co/lxKOLwNlBd

[joe @pingzhouyuan]

@tinyxiong_eth 老板是好人😀

[David Seroy 🏔️ @david_seroy]

Glock (🔫💥) paper + code has dropped!

- 99.8% reduction in on-chain costs over BitVM2.
- 100x reduction in off-chain costs over BitVM3.

@liameagen and rest of @AlpenLabs Research are legends.

[joe @pingzhouyuan]

@sd_eigen Goat is in the right position with customerized ZKM for GC

[joe @pingzhouyuan]

@simanta @storopoli I like these words, congtats! @storopoli

[joe @pingzhouyuan]

@david_seroy @liameagen @AlpenLabs e2e codebase is ready?

[IACR ePrint Updates @Lhree]

[Revised] SoK: BitVM with Succinct On-Chain Cost (Weikeng Chen) https://t.co/oFBrcn9Zhm

[joe @pingzhouyuan]

@pumatheuma congrats! amazing journey

[Ariel Gabizon @rel_zeta_tech]

From current sbc talk by David Tse - a nice statistic on how much btc is currently on (trusted) bridges

[IACR ePrint Updates @Lhree]

[New] Collaborative zkSNARKs with Sublinear Prover Time and Constant Proof Size (Zhiyong Fang and Sanjam Garg and Bhaskar Roberts and Wenxuan Wu and Yupeng Zhang) https://t.co/056Rw0pwSt

[joe @pingzhouyuan]

I'm eligible to receive ~600 PROVE from the @SuccinctLabs airdrop! Thank you~

[IACR ePrint Updates @Lhree]

[New] A Compact Post-quantum Strong Designated Verifier Signature Scheme from Isogenies (Farzin Renan) https://t.co/lLXFqbCiHs

[IACR ePrint Updates @Lhree]

[New] Fast AVX-512 Implementation of the Optimal Ate Pairing on BLS12-381 (Hao Cheng and Georgios Fotiadis and Johann Groschdl and Daniel Page) https://t.co/M7QwQwFdma

[joe @pingzhouyuan]

@david_seroy @ekrembal @liameagen looking forward to it!