Flying Nobita

@flyingnobita

28 Following

35 Followers

Flying Nobita pfp

The pic is from an eth community call and those were the zkVMs that was about to make an introduction during the call

0 reply

0 recast

1 reaction

Flying Nobita pfp

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

1 reply

0 recast

14 reactions

Flying Nobita pfp

Special thanks to: - imToken for lending us their venue - @ethereum ZK Education Team for their sponsorship - @ziyinlox for the poster design

0 reply

0 recast

0 reaction

Flying Nobita pfp

1 reply

0 recast

0 reaction

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👇

2 replies

0 recast

10 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

This includes the following topics: - 2PC - EdDSA Signature Scheme - Pedersen & KZG Commitments - FHE - Binary Tree ORAM and Path ORAM Run it online without installation: https://mybinder.org/v2/gh/flyingnobita/0xparc_intro_book_workbook/e7f731a32373b3b77ace524dcbf50d2c74bd22b2?urlpath=lab%2Ftree%2Fsrc%2Fdirectory.ipynb

0 reply

0 recast

1 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

I see what you mean. I’ve been using a bunch of bash scripts that are getting messy. Learning Nix is a relatively small price to pay to update my workflow that will hopefully pay dividends for years to come

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

4 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

8 reactions

Flying Nobita pfp

Yes of course. I think whether it is sufficient for TC to allow a user the choice to reveal, or to require TC to reveal transaction details without users intervention is ultimately the choice of the regulators

0 reply

0 recast

0 reaction

Flying Nobita pfp

The existing tool from Tornado Cash allows users to reveal their transaction details, which can then be checked by a 3rd party. The tool from NPLabs allow a 3rd party to reveal the transaction details without the involvement of the transaction users. I think they're very different

1 reply

0 recast

0 reaction

Flying Nobita pfp

yeah i guess it's kinda like a decentralized version of the cex approach

0 reply

0 recast

0 reaction

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

35 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

Isn't Pluto.xyz also don't something similar?

0 reply

0 recast

0 reaction

Vitalik Buterin pfp

Vitalik Buterin

Possible futures of the Ethereum protocol, part 3: The Scourge https://vitalik.eth.limo/general/2024/10/20/futures3.html (I tried my best to be fair to all sides of the debates here!)

58 replies

295 recasts

919 reactions

Flying Nobita pfp

0 reply

0 recast

0 reaction