Skip to content
View tcoratger's full-sized avatar

Block or report tcoratger

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Binary Proofs, Blazing Fast

Rust 168 49 Updated Aug 14, 2026
Lean 54 13 Updated Aug 14, 2026

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

JavaScript 240,115 36,441 Updated Aug 13, 2026

All we want is revm and commonware. Leave everything else at the door.

Rust 57 9 Updated May 30, 2026

evm indexer

Rust 116 11 Updated Jul 4, 2026

Rust implementation of the current leanSig proposal.

Rust 47 26 Updated Apr 29, 2026

Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more

Rust 27 13 Updated Aug 10, 2026

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 88,628 10,053 Updated Aug 14, 2026

Consensus client for Seismic

Rust 62 12 Updated Aug 13, 2026

Implementation for https://eprint.iacr.org/2025/1300

Rust 44 4 Updated Sep 2, 2025

Ethereum zkEVM book

84 11 Updated Sep 30, 2025

A stateless Ethereum execution client

Zig 34 7 Updated Feb 13, 2026

Signet ecosystem crates

Rust 25 3 Updated May 28, 2026

A Zig implementation of Poseidon2 hash function.

Zig 19 5 Updated Nov 11, 2025

Diamond iO implementation https://eprint.iacr.org/2025/236

Rust 99 8 Updated Jun 1, 2026

Excalidraw diagrams for learning about sumcheck

9 Updated May 15, 2025

Ethereum stateless book

16 2 Updated May 18, 2026

JSON-RPC, simplified, using tower and axum

Rust 80 2 Updated Apr 22, 2026

An open, sub-millisecond, single-executable Firebase alternative with type-safe APIs, built-in WebAssembly runtime, realtime subscriptions, auth, and admin UI built on Rust, SQLite & Wasmtime.

Rust 5,548 188 Updated Aug 14, 2026

A hash table with consistent order and fast iteration; access items by key or sequence index

Rust 2,410 189 Updated Jul 10, 2026

Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme

C 62 54 Updated Oct 2, 2023

The SPHINCS+ reference code, accompanying the submission to NIST's Post-Quantum Cryptography project

C 234 78 Updated May 13, 2026

An HTTP/1.1 server for zig

Zig 1,580 126 Updated Aug 12, 2026

Flow Control: a programmer's text editor

Zig 2,174 113 Updated Aug 14, 2026

Quick Merkle Database

Rust 325 52 Updated May 29, 2026

A SNARK using towers of binary fields, implemented in Rust .

Rust 139 66 Updated Sep 9, 2025

Prevent frontrunning and malicious MEV on Ethereum by using a threshold cryptography-based distributed key generation (DKG) protocol.

Go 69 21 Updated Apr 28, 2025

Super-fast Merklized Embedded Key-Value Store for blockchain nodes

Rust 323 33 Updated Jul 8, 2026

A Framework of Lattice-based Zero-knowledge Arguments in Rust

Rust 75 11 Updated Jul 12, 2026

🗻 Log-structured, embeddable key-value storage engine written in Rust

Rust 2,265 115 Updated Jul 22, 2026
Next