
Alex Xiong
@alex_xiong_
Another Look™ at cryptographic engineering made simple, revisited. @EspressoSys
ID: 2911905230
https://github.com/alxiong 27-11-2014 13:21:08
494 Tweet
1,1K Followers
478 Following







Excited to share this new paper with Jack O'Connor and Nick Spooner! We improve our ZK-PCP construction to cover all of NEXP (with exponential proofs), scale it to NP with polynomial proofs, and obtain O(1)-locality via composition--yielding a ZK analogue of the PCP theorem. 1/3



1/ Excited, but frankly quite worried, about a new work with the wonderful 🏴 levochka.eth 🏴 💙💛🇮🇱☀️🦁🗡️ and Dmitry Khovratovich: ia.cr/2025/118 We break soundness of a standard protocol (essentially commit to witness and run GKR) by constructing a circuit for which we can prove a false statement.





Unreal to live in Silicon Valley moment. I tasked Google Gemini App to fix a specific function, explicit target It went off, doing AGI level thinking for 10mins, Then I’m glad to see it reported “All tests passing!” Then, hmmm… why 0 tests? Ah, entire file incl tests deleted.
