zkSecurity
@zksecurityXYZ
Security audits, development, and research for ZKP, MPC, FHE, PQC, and more generally advanced cryptography. Contact us: hello@zksecurity.xyz
Joined May 2023
18 Following 6.9K Followers
Did you know that Clean has a website and a pragmatic introduction to formal verification for zk devs?
