2021-1149

Topic Replies Views Activity
[Resource Topic] 2021/1149: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
Implementation
2021-1149
0 54 July 31, 2022