Pinned Repositories
ccs-hack
a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
circuit-examples
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
gm
git-merkle: recursive git submodules of all repos I've worked on since 2017
hufflepuff
The unnecessary python implementation of the Huff EVM macro language
near-template
A nice template for NEAR repos
obsidian-setup
The best resource you will ever find for getting started with Obsidian, probably
pazk
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
uncloak
a community-maintained cryptography resource
uncloak-hw
thor314's Repositories
thor314/uncloak
a community-maintained cryptography resource
thor314/circuit-examples
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
thor314/obsidian-setup
The best resource you will ever find for getting started with Obsidian, probably
thor314/tk-cargo-generate
my template for generating rust libraries, binaries, cli's etc.
thor314/.setup
thor314/euler-rs-py
Meausuring developer productivity with Project Euler in Rust and Python (spoiler: planning is good)
thor314/zkhn-rust-api
backend for zkhn site
thor314/.files
what is my purpose? poke dotfiles
thor314/chacha
cryptography algorithms in Rust
thor314/github_name
i wanted to see my name in lights
thor314/gnark-ex
example gnark circuit
thor314/.cron
thor314/async-playground
cryptography algorithms in Rust
thor314/axum-demo
cryptography algorithms in Rust
thor314/axum-login
🪪 User identification, authentication, and authorization for Axum.
thor314/blog
blog using hugo and the memE theme
thor314/creative-coding
creative coding with nannou
thor314/cryptography
cryptographic projects I've worked on
thor314/github-ci-testing
cryptography algorithms in Rust
thor314/helix
thor314/helix-fork
A post-modern modal text editor.
thor314/lemma
ZK Theorem Proving
thor314/linux
thor314/projects
projects I'm working on or have worked on
thor314/stickers
stickers by thor
thor314/tasky-futures-concurrency
thor314/tk-blog-publish
thor314/type-level-programming
thor314/universal-hashes
thor314/zkhn