Pinned Repositories
autolatex
All Auto Latex Equations Versions.
blog
blog
halo2-examples
Include halo2 example circuits from haichen
halo2-secp
halo2 with secq256k1 curve in the IPA backend for efficient ZK proofs of secp256k1 ECDSA operations
ideas-for-projects-people-would-use
Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.
keybr-with-stats
In < 1000 lines of code, practice any dictionary and get targeted feedback and statistics per character and pair of characters, like Keybr. Right now, common Rust programming keywords are the dictionary.
mac-dev-setup
Things I do to setup my dev environment
zk-nullifier-sig
Implementation of PLUME: nullifier friendly signature scheme on ECDSA
halo2-regex
Library and gadget to do regex string matches in halo2
zk-email-verify
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Divide-By-0's Repositories
Divide-By-0/ideas-for-projects-people-would-use
Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbase if marketed correctly, as I am surely not the only one with these problems.
Divide-By-0/autolatex
All Auto Latex Equations Versions.
Divide-By-0/halo2-examples
Include halo2 example circuits from haichen
Divide-By-0/mac-dev-setup
Things I do to setup my dev environment
Divide-By-0/halo2-learning-group
Learning halo2
Divide-By-0/Divide-By-0.github.io
Aayush Gupta's personal website.
Divide-By-0/wasm-binius
benchmark binius in wasm
Divide-By-0/blog
blog
Divide-By-0/streameth-downloader
This script downloads a bunch of m3u8 video/stream parts from streameth and stitches them back together.
Divide-By-0/zk_battleship
Zero Knowledge Battleship
Divide-By-0/keybr-with-stats
In < 1000 lines of code, practice any dictionary and get targeted feedback and statistics per character and pair of characters, like Keybr. Right now, common Rust programming keywords are the dictionary.
Divide-By-0/BlinkTracker
Tracks how many times you blink per minute and notifies you if it's below defined threshold
Divide-By-0/coursetexts-notion
Notion deployment for coursetexts. On personal github due to free Vercel deployment.
Divide-By-0/EIPs
The Ethereum Improvement Proposal repository (forked to add PLUME)
Divide-By-0/ERCs
The Ethereum Request for Comment repository
Divide-By-0/halo2-lib
Copy of Axiom's monorepo of halo2 crates
Divide-By-0/homebrew-simplewdiff
Compare files with word-by-word diffs, and omit unchanged lines. Thin wrapper atop wdiff, grep, and colordiff.
Divide-By-0/lxm.house
lxm.house homepage, rendered from Notion.
Divide-By-0/mitsoul.github.io
Divide-By-0/perpetualpowersoftau
New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau
Divide-By-0/rapidsnark
Small fixes
Divide-By-0/secp256k1_hash_to_curve
Divide-By-0/sigsing.com
Notion relayer code for sigsing.com.
Divide-By-0/snarkjs
zkSNARK implementation in JavaScript & WASM
Divide-By-0/synesthesia-autorun
Autoruns Synesthesia. Made by Florent.
Divide-By-0/Thread_Mover_Bot
Thread mover discord bot
Divide-By-0/toastpp
Toast++: Forward and inverse modelling in optical tomography (python compilation attempt)
Divide-By-0/vbuterin-blog
Divide-By-0/web3privacy
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
Divide-By-0/zkrepl
An online playground for zero knowledge circuits