Quantifier
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus, Protocol Design, Mathematics
Pull Requests
390
Code Reviews
321
Top Repositories
Activity Feed (latest 50)
Description of `WatchEvent` isn't defined
Jul 1, 2025, 1:42 PM
Description of `WatchEvent` isn't defined
Jun 26, 2025, 11:43 PM
Description of `WatchEvent` isn't defined
Jun 26, 2025, 2:48 AM
commented on issue Granola-Team/mina-indexer#1853
Jun 20, 2025, 9:25 PM
closed an issue in Granola-Team/mina-indexer
Jun 20, 2025, 9:25 PM
pushed to main in Granola-Team/mina-indexer
Jun 20, 2025, 9:08 PM
pushed to feat/check-mode in Granola-Team/mina-indexer
Jun 20, 2025, 9:08 PM
pushed to feat/check-mode in Granola-Team/mina-indexer
Jun 20, 2025, 6:34 PM
opened an issue in Granola-Team/mina-indexer
Jun 20, 2025, 5:19 PM
closed an issue in Granola-Team/mina-indexer
Jun 20, 2025, 5:11 PM
closed an issue in Granola-Team/mina-indexer
Jun 20, 2025, 5:11 PM
pushed to feat/check-mode in Granola-Team/mina-indexer
Jun 20, 2025, 1:46 AM
commented on issue Granola-Team/mina-indexer#1737
Jun 20, 2025, 1:41 AM
commented on issue Granola-Team/mina-indexer#1736
Jun 20, 2025, 1:40 AM
commented on issue Granola-Team/mina-indexer#1865
Jun 19, 2025, 10:28 PM
created a branch feat/check-mode in Granola-Team/mina-indexer
Jun 19, 2025, 7:36 PM
deleted branch feat/check-mode at Granola-Team/mina-indexer
Jun 19, 2025, 7:35 PM
closed an issue in Granola-Team/mina-indexer
Jun 19, 2025, 3:44 PM
closed an issue in Granola-Team/mina-indexer
Jun 19, 2025, 3:41 PM
closed an issue in Granola-Team/mina-indexer
Jun 19, 2025, 3:41 PM
pushed to feat/check-mode in Granola-Team/mina-indexer
Jun 19, 2025, 1:07 AM
closed an issue in Granola-Team/mina-indexer
Jun 19, 2025, 12:42 AM
closed an issue in Granola-Team/mina-indexer
Jun 19, 2025, 12:41 AM
commented on issue Granola-Team/mina-indexer#1844
Jun 18, 2025, 11:51 PM
Description of `WatchEvent` isn't defined
Jun 18, 2025, 9:38 PM
pushed to main in Granola-Team/mina-indexer
Jun 18, 2025, 9:07 PM
commented on issue Granola-Team/mina-indexer#1844
Jun 18, 2025, 8:04 PM
pushed to main in Granola-Team/mina-indexer
Jun 17, 2025, 2:08 PM
pushed to main in Granola-Team/mina-indexer
Jun 17, 2025, 1:46 PM
pushed to main in Granola-Team/mina-indexer
Jun 16, 2025, 4:47 PM
pushed to main in Granola-Team/mina-indexer
Jun 16, 2025, 2:09 PM
opened an issue in Granola-Team/mina-indexer
Jun 16, 2025, 2:05 PM
closed an issue in Granola-Team/mina-indexer
Jun 16, 2025, 2:04 PM
commented on issue Granola-Team/mina-indexer#1918
Jun 16, 2025, 2:02 PM
closed an issue in Granola-Team/mina-indexer
Jun 16, 2025, 2:02 PM
commented on issue Granola-Team/mina-indexer#1915
Jun 16, 2025, 2:01 PM
closed an issue in Granola-Team/mina-indexer
Jun 16, 2025, 2:01 PM
pushed to main in Granola-Team/mina-indexer
Jun 16, 2025, 1:56 PM
Description of `WatchEvent` isn't defined
Jun 16, 2025, 12:02 PM
commented on issue Granola-Team/mina-indexer#1737
Jun 14, 2025, 2:38 PM
commented on issue Granola-Team/mina-indexer#1736
Jun 14, 2025, 2:38 PM
commented on issue Granola-Team/mina-indexer#1915
Jun 14, 2025, 2:38 PM
commented on issue Granola-Team/mina-indexer#1918
Jun 14, 2025, 2:38 PM
pushed to main in Granola-Team/mina-indexer
Jun 14, 2025, 1:36 PM
pushed to main in Granola-Team/mina-indexer
Jun 14, 2025, 1:07 PM
commented on issue Granola-Team/mina-indexer#1737
Jun 14, 2025, 2:29 AM
commented on issue Granola-Team/mina-indexer#1736
Jun 14, 2025, 2:29 AM
pushed to main in Granola-Team/mina-indexer
Jun 14, 2025, 1:40 AM
closed an issue in Granola-Team/mina-indexer
Jun 13, 2025, 7:22 PM
commented on issue Granola-Team/mina-indexer#1915
Jun 13, 2025, 1:15 AM