Jason Park

AI vulnerability research is non-deterministic. The same model looking at the same code won't take the same reasoning path every time. Some paths find nothing. Some paths find the bug. A single scan is a coin flip. But what if you keep flipping? Introducing zkao.

You wanted to learn more about the sumcheck? We wrote a whole tutorial to teach the sumcheck and protocols using the sumcheck (hyperplonk, GKR coming soon) with sagemath! Check it out below!

We dive deep into how to make sumchecks faster, along with SageMath implementations!

hello world

We wrote a little something for those who want to write AIRs using S-two, or just want to learn how S-two implements Circle STARKs!

Looking at this past year, Circom is still going strong, being used in many projects on top of many different blockchains (Ethereum, Sui, Aptos, what else?). If you're working on circom, make sure you read our series on Circom pitfalls. link to new post below 👇🏼

Just published a simpler proof of the RBR soundness of FRI! Work with @0xAlbertG and Benedikt Wagner I also wrote a blog post explaining the high level ideas of the proof. All you need to know is how to colour a graph! Links to paper and blog below 1/3

We created a hands-on tutorial so you get to implement plonk from scratch! blog.zksecurity.xyz/posts/plonk-tu…

Trying to learn about the latest stuff in STARK-land? Come check out our new write up: Circle STARKs: Part III, Circle FFT blog.zksecurity.xyz/posts/circle-s…

@wanseoblim It was such a pleasure to have worked with you, thank you for onboarding us onto the space. All the best for your next adventure!

Hey friends, today’s my last day at the Ethereum Foundation. After 8 wild, beautiful years in crypto, I’m starting a new chapter as an entrepreneur. So grateful for everyone I met on this cypherpunk journey. I’ll always be rooting for you all. ❤️

@cryptodavidw why the train from paris?

for people traveling to France for ethCC here are a few advice: take the train from Paris, try to order wine bottles instead of wine glasses, don't carry cash

Cairo devs, tired of juggling multiple tools? We just released the Stone CLI, a one-stop shop Cairo development tool that seamlessly integrates with Ethereum and Starknet zksecurity.xyz/blog/posts/sto…

We've been writing more about Cairo and the Cairo VM! Check out zksecurity.github.io/stark-book/cai… and how the bootloader works here zksecurity.github.io/stark-book/cai…

Can You Prove 2+2=5? A Jolt zkVM Challenge zksecurity.xyz/blog/posts/jol…

Read more on how we were the first non-StarkWare team to submit a Cairo proof to the Ethereum network! zksecurity.xyz/blog/posts/sta…

@Osman808s @zksecurityXYZ Around 0.017eth in total for a fibonacci n=10 program

@zksecurityXYZ How much did it cost?

zkSecurity got Cairo proofs to verify on Ethereum! First time this was done by a team outside Starknet, using the open source Stone prover ⚡️ Our CLI (released soon) will allow anyone to use Cairo on Ethereum directly! etherscan.io/address/0xa1bf…

@0xAbix @ventalitan @lita_xyz @brianseong @adidshaft Interested, can I dm some qs?

gm zk nerds, I'm planning an invite-only session with @ventalitan from @lita_xyz, along with my frens @brianseong and @adidshaft, on the topic "Unboxing Valida zkVM: Architectural Innovations in Custom ISA zkVM Design." When: 18th July, 7 PM CET, Comment below this tweet and I'll share the info ⌨️. Topics planned to be covered 👇🏻: 1. Key technical considerations and innovations in Valida zkVM design. 2. Comparison of performance, energy efficiency, security guarantees, and scalability between Lita's custom ISA zkVM and other general-purpose ISA zkVMs, and between Plonky3 and other SNARK proving systems. 3. Compiler and toolchain for the custom ISA. 4. Future research and development directions for Plonky3 and Valida. 💜🕊️

ELI5: secret sharing scheme underlying @Ledger's recent new feature. @mellowcroc/S1QlffcRj" target="_blank" rel="nofollow noopener">hackmd.io/@mellowcroc/S1…

Join us May 2 @UCBerkeley or online for ZKP Workshop, Hackathon Demos & Awards Ceremony 🎓 With ~4K ZKP MOOC participants, ~600 hackathon participants & ~150 teams from over 60 countries, ~30 finalists competing for $200K+ in prizes! 🏆 Register now 👉 shorturl.at/apwY9