avatar

Quang Dao

Formal verification for cryptography. PhD Student at Carnegie Mellon University

Joined on Sep, 201618 repositories

Pull Requests

79

Code Reviews

54

Activity Feed (Latest 20)

!

commented on issue Verified-zkEVM/ArkLib#85

15 hours ago

pushed to main in Verified-zkEVM/ArkLib

15 hours ago

created a branch fix-algebra-tower in Verified-zkEVM/ArkLib

17 hours ago

pushed to refine-security-defs in Verified-zkEVM/ArkLib

2 days ago

pushed to refine-security-defs in Verified-zkEVM/ArkLib

3 days ago

pushed to master in ianm1129/Polytime-Formalizations

4 days ago

pushed to refine-security-defs in Verified-zkEVM/ArkLib

4 days ago

deleted branch polynomial-like at Verified-zkEVM/ArkLib

4 days ago

pushed to main in Verified-zkEVM/ArkLib

4 days ago

merged a pull request in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

4 days ago

opened a pull request in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

4 days ago

pushed to polynomial-like in Verified-zkEVM/ArkLib

5 days ago

created a branch polynomial-like in Verified-zkEVM/ArkLib

5 days ago

pushed to refine-security-defs in Verified-zkEVM/ArkLib

5 days ago

pushed to refine-security-defs in Verified-zkEVM/ArkLib

5 days ago