public dev @public_dev_

ZKP / FHE Joined September 2024

Tweets

16
Followers

13
Following

69
Likes

12

David Wong @cryptodavidw

a week ago

did you forget about Bulletproofs? hope not coz here's some more high-level intuitions

4 8 67 6K 41

Download Image

shouki 🧬🐙🪼 @adust09

2 weeks ago

Verifiable PIR with Small Client Storage eprint.iacr.org/2025/1714.pdf

0 1 1 278 0

Vishal Kulkarni @koolkarni42

9 months ago

@public_dev_ and I built a tool that translates Circom circuits into TFHE equivalents. Huge thanks to @kevinchia0907 , Nam, @curryrasul and @zama_fhe team for the help. github.com/Vishalkulkarni…

4 7 27 2K 5

Our project Cyclone Cash won 2nd place in the Counterculture Finance track at #ETHTokyo! Super happy I got to work with such great members: @public_dev_ @cabrio_yugo @yellchan9 @totorovirus More details 🧵

3 4 22 2K 2

Download Image

EF Ecosystem Support Program @EF_ESP

3 months ago

🎊 Grant Announcement: Binius in Lean! Formalizing Polynomial Commitment Schemes built on Binary Tower Fields, specifically Binius and FRI-Binius, within ArkLib (github.com/Verified-zkEVM…), Lean's library of formally verifier SNARKs.

0 4 9 1K 2

RareSkills @RareSkills_io

4 months ago

New blog post is up: Circle FFT — Part 1: Building the Circle Domain Math in ZK is usually done in a finite field, which is a group under addition. But a special optimization is to use a circle as the group domain. A circle is a pair of elements (x, y) that satisfy x² +…

2 9 80 6K 23

Download Image

ZK Hack @zkhack

8 months ago

@danboneh ZK Whiteboard Sessions - S2M7: FRI and Proximity Proofs (Part.1) with @danboneh youtu.be/MBDBrEr2XQg?fe… ☝️ ZK Whiteboard Sessions - S2M8: FRI and Proximity Proofs (Part.2) with @danboneh youtu.be/CWbx_rnj7LI?fe… ✌️