Quang Dao
Formal verification for cryptography. PhD Student at Carnegie Mellon University
Pull Requests
79
Code Reviews
54
Top Repositories
| # | Repository | Stars | Forks | Issues | Contributors |
|---|---|---|---|---|---|
1 | quangvdao/asiacrypt-2025-submission | 1 | 0 | 0 | -1 |
2 | quangvdao/zkhack-test-puzzle | 0 | 0 | 0 | -1 |
3 | quangvdao/Spartan | 0 | 0 | 0 | -1 |
4 | quangvdao/sonic | 0 | 0 | 0 | -1 |
5 | quangvdao/quangvdao.github.io | 0 | 0 | 0 | -1 |
6 | quangvdao/PyTorch-Tutorial | 0 | 0 | 0 | -1 |
7 | quangvdao/old_template | 0 | 0 | 0 | -1 |
8 | quangvdao/Nova | 0 | 0 | 0 | -1 |
9 | quangvdao/Morse-Code-Decoder | 0 | 0 | 0 | -1 |
10 | quangvdao/mathlib4 | 0 | 0 | 0 | -1 |
Activity Feed (Latest 20)
commented on issue Verified-zkEVM/ArkLib#85
pushed to main in Verified-zkEVM/ArkLib
created a branch fix-algebra-tower in Verified-zkEVM/ArkLib
pushed to refine-security-defs in Verified-zkEVM/ArkLib
pushed to refine-security-defs in Verified-zkEVM/ArkLib
pushed to master in ianm1129/Polytime-Formalizations
pushed to refine-security-defs in Verified-zkEVM/ArkLib
deleted branch polynomial-like at Verified-zkEVM/ArkLib
pushed to main in Verified-zkEVM/ArkLib
merged a pull request in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
opened a pull request in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
pushed to polynomial-like in Verified-zkEVM/ArkLib
created a branch polynomial-like in Verified-zkEVM/ArkLib
pushed to refine-security-defs in Verified-zkEVM/ArkLib
pushed to refine-security-defs in Verified-zkEVM/ArkLib