Flying Nobita

@flyingnobita

25 Following

32 Followers

Flying Nobita pfp

You think you have heard of all the zkvm projects? Think again!

0 reply

0 recast

4 reactions

Flying Nobita pfp

ProgCryptoSG is back with another meetup next week on Thur, May 29th! If you are in Singapore, come hang out and discuss ZK and cryptography! There will be 2 sharing sessions: 1. Sumcheck and GKR by me 2. Applications of Verifiable AI in DeFi by @jseam Link to sign up in replies below👇

1 reply

0 recast

5 reactions

Flying Nobita pfp

Thanks to Jonathan Protzenko and his team, Python now uses HACL*, a formally verified library, for all its hash and HMAC functions. Any updates from HACL* will automatically be pulled downstream to Python https://jonathan.protzenko.fr/2025/04/18/python.html

0 reply

0 recast

0 reaction

Flying Nobita pfp

I was reading the "Intro to ProgCrypto" book by @0xPARC. To understand the examples and algos better, I translated them line-by-line to Jupyter notebooks. I plan to add exercises and use it as a base to learn advanced topics for each chapter. https://github.com/flyingnobita/0xparc_intro_book_workbook

2 replies

0 recast

5 reactions

Flying Nobita pfp

Finally free from FTX! After 2 years, the saga is over 🎉 Was my main CEX and I ALMOST lost BIG. When the fall tweets hit, I laughed but pulled 95% JIC (thanks to tradFi career for op-risk training!). Left a bit for $FTT bounce 🤣. Wrote it off and feels like free money now!

0 reply

0 recast

1 reaction

Flying Nobita pfp

Setting up my new MBP with the NixOS package manager feels liberating. With just one command, I can install the same configuration and apps on my other computers. Long live declarative configs!

1 reply

0 recast

5 reactions

Flying Nobita pfp

I'm preparing material for this ZK workshop with Privacy Scaling & Exploration (PSE). Apply if you are want to learn about ZK and in Singapore on Feb 15 to 16! https://t.co/ErbI3Aurhz

0 reply

0 recast

7 reactions

Flying Nobita pfp

This is a pretty cool and simple way to modify Tornado Cash protocol to be natively compliant. The design allows the "privacy revoker" with its private key to link the deposit address and the withdrawal address, thus deanonymizing the withdrawal https://np.engineering/posts/tornado-anonymity-revoker-design/

2 replies

9 recasts

48 reactions

Flying Nobita pfp

Dan Boneh's follow-up lecture from ZK Whiteboard Session is out. He talks about FRI and Proximity Proofs in this module https://www.youtube.com/watch?v=MBDBrEr2XQg

0 reply

3 recasts

8 reactions

Flying Nobita pfp

I excited to give a talk at the 2nd ProgCryptoSG meetup tonight at NUS! We're teaming up with NUS Fintech Society this time. 1st talk is an Introduction to ZK by me (similar to 1st meet up in case you missed it!) 2nd talk is about zkRollups by Bing Sign up here: https://lu.ma/bng3fu2s

1 reply

0 recast

0 reaction

Flying Nobita pfp

Xmas came early for me this year!

1 reply

0 recast

0 reaction

Flying Nobita pfp

https://snapshot.org/#/yacademy.eth/proposal/0x4f1bfd3be5e652a1b8b0c3e8fc1b7a98704709981ea8f100a631014660cc7748 I just voted on "Rebranding yAcademy" @yAcademyDAO #SnapshotVote

0 reply

1 recast

0 reaction