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?
