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