wangxiao1254's Stars
addthis/stream-lib
Stream summarizer and cardinality estimator.
DMOJ/online-judge
A modern open-source online judge and contest platform system.
PP-FM/ZKUNSAT
PP-FM/ppsat
code for privacy-preserving sat solver
mit6875/mit6875.github.io
MIT 6.875
facebookresearch/fbpcp
FBPCP (Facebook Private Computation Platform) is a secure, privacy safe and scalable architecture to deploy MPC (Multi Party Computation) applications in a distributed way on virtual private clouds. FBPCF (Facebook Private Computation Framework) is for scaling MPC computation up via threading, while FBPCP is for scaling MPC computation out via Private Scaling architecture.
MPC-SoK/frameworks
Sample code and build environments for MPC frameworks
cpeikert/TheoryOfCryptography
Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
vit-vit/CTPL
Modern and efficient C++ Thread Pool Library