zkSecurity (@zksecurityxyz) 's Twitter Profile
zkSecurity

@zksecurityxyz

Security audits, development, and research for ZKP, FHE, and MPC applications, and more generally advanced cryptography. Contact us: [email protected]

ID: 1658514510569959427

linkhttps://www.zksecurity.xyz calendar_today16-05-2023 16:47:48

202 Tweet

4,4K Followers

11 Following

Zero Knowledge Podcast (@zeroknowledgefm) 's Twitter Profile Photo

In his talk at #zksummit12, Stefanos Chaliasos, security researcher at zkSecurity, gives a thorough overview of how ZK Rollups work Join us for the next upcoming zkSummit, link & info below!

Lean (@leanprover) 's Twitter Profile Photo

It's great to see more open source projects like clean enter the Lean ecosystem. Great news for folks working with ZK circuits! #LeanLang #LeanProver #ZKProofs

Aleph Zero (@aleph__zero) 's Twitter Profile Photo

Shielder – good to go! ✅ – Audit complete: zkSecurity called the code “clean and well tested.” – Both internal + external audits are now done – All issues already fixed by the team (no major issues found) Your privacy just got a big security boost! 🔒

Shielder – good to go! ✅

– Audit complete: <a href="/zksecurityXYZ/">zkSecurity</a> called the code “clean and well tested.”
– Both internal + external audits are now done
– All issues already fixed by the team (no major issues found)

Your privacy just got a big security boost! đź”’
zkSecurity (@zksecurityxyz) 's Twitter Profile Photo

Variants of KZG: Part I, Univariate. Wanna learn more how people batch verify these KZG proofs? Follow our multi-part series! blog.zksecurity.xyz/posts/kzg-1/

Variants of KZG: Part I, Univariate. Wanna learn more how people batch verify these KZG proofs? Follow our multi-part series! blog.zksecurity.xyz/posts/kzg-1/
zkSecurity (@zksecurityxyz) 's Twitter Profile Photo

Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions. Read more on how we helped optimize P-256 as a side effect of our latest audit. blog.zksecurity.xyz/posts/barrett-…

Optimizing Barrett Reduction: Tighter Bounds Eliminate Redundant Subtractions.

Read more on how we helped optimize P-256 as a side effect of our latest audit. blog.zksecurity.xyz/posts/barrett-…
David Wong (@cryptodavidw) 's Twitter Profile Photo

If we had time to audit an open source cryptography library, what would be in your wishlist? Or what do you think we should look at?

Nazreen (@0xnazreen) 's Twitter Profile Photo

The recent bug in Solana's ZK ElGamal Proof Program is actually similar to the Frozen Heart bug (reported by Portland Trail Blazers ) back in 2022 that affected multiple ZK libraries (Plonk, Bulletproofs, etc). The root cause for both is an incorrect implementation of the Fiat Shamir