Quang Dao
PhD Student at Carnegie Mellon University. Interested in cryptography and formal verification
Pull Requests
73
Code Reviews
53
Top Repositories
Activity Feed (latest 50)
pushed to main in Verified-zkEVM/ArkLib
Jul 3, 2025, 4:12 PM
pushed to master in ianm1129/Polytime-Formalizations
Jul 3, 2025, 3:03 PM
Description of `MemberEvent` isn't defined
Jul 3, 2025, 3:03 PM
reviewed a pull request in leanprover-community/mathlib4
Jul 3, 2025, 6:55 AM
commented on issue leanprover-community/mathlib4#25491
Jul 3, 2025, 6:54 AM
pushed to bump-v4.22.0-rc2 in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:53 PM
pushed to bump-v4.22.0-rc2 in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:41 PM
pushed to bump-v4.22.0-rc2 in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:35 PM
opened a pull request in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:26 PM
pushed to bump-v4.22.0-rc2 in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:26 PM
created a branch bump-v4.22.0-rc2 in Verified-zkEVM/ArkLib
Jul 1, 2025, 4:09 PM
Description of `ReleaseEvent` isn't defined
Jul 1, 2025, 4:06 PM
created a tag v4.22.0-rc2 in dtumad/VCV-io
Jul 1, 2025, 4:06 PM
deleted branch bump-v4.22.0-rc2 at dtumad/VCV-io
Jul 1, 2025, 4:05 PM
pushed to master in dtumad/VCV-io
Jul 1, 2025, 4:05 PM
merged a pull request in dtumad/VCV-io
Jul 1, 2025, 4:05 PM
opened a pull request in dtumad/VCV-io
Jul 1, 2025, 4:00 PM
pushed to bump-v4.22.0-rc2 in dtumad/VCV-io
Jul 1, 2025, 3:58 PM
pushed to bump-v4.22.0-rc2 in dtumad/VCV-io
Jul 1, 2025, 3:47 PM
pushed to bump-v4.22.0-rc2 in dtumad/VCV-io
Jul 1, 2025, 3:02 PM
created a branch bump-v4.22.0-rc2 in dtumad/VCV-io
Jul 1, 2025, 2:26 PM
deleted branch Katy/PSLemmaRebased at Verified-zkEVM/ArkLib
Jul 1, 2025, 2:13 PM
deleted branch fix-lens at Verified-zkEVM/ArkLib
Jul 1, 2025, 2:12 PM
pushed to main in Verified-zkEVM/ArkLib
Jul 1, 2025, 2:12 PM
merged a pull request in Verified-zkEVM/ArkLib
Jul 1, 2025, 2:12 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 2:02 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:41 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:40 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:33 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:28 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:26 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:23 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 1:20 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 12:20 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 10:56 AM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 7:40 AM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jul 1, 2025, 7:13 AM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jun 30, 2025, 3:31 PM
pushed to main in Verified-zkEVM/ArkLib
Jun 30, 2025, 3:03 PM
merged a pull request in Verified-zkEVM/ArkLib
Jun 30, 2025, 3:03 PM
pushed to novel-poly-basis in Verified-zkEVM/ArkLib
Jun 30, 2025, 3:02 PM
pushed to main in Verified-zkEVM/ArkLib
Jun 30, 2025, 2:53 PM
merged a pull request in Verified-zkEVM/ArkLib
Jun 30, 2025, 2:53 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jun 29, 2025, 2:23 PM
Description of `WatchEvent` isn't defined
Jun 28, 2025, 9:29 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jun 28, 2025, 10:34 AM
Description of `WatchEvent` isn't defined
Jun 28, 2025, 9:06 AM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jun 27, 2025, 5:33 PM
pushed to fix-lens in Verified-zkEVM/ArkLib
Jun 27, 2025, 2:50 PM
pushed to main in Verified-zkEVM/ArkLib
Jun 27, 2025, 2:20 PM