Proof Engineer @Pi-Squared-Inc
-
Pi Squared Inc.
- in/bolton-bailey-885214106
- @fogofchess
Highlights
- Pro
Stars
Formalizing the PathORAM implementation by Chris et al.
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
A web service offering HTML5 articles from arXiv.org as converted with latexml
A Jekyll plugin to convert relative links to markdown files to their rendered equivalents
Dark Reader Chrome and Firefox extension