A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Lightweight clipboard manager for macOS

The Z3 Theorem Prover

customizable halo2 circuits batcher

A Kurtosis package that deploys a private, portable, and modular Polygon CDK devnet

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

List of Tact-related resources and projects

Telegram Bot API for NodeJS

npm package for TWA SDK

This is a basic and straightforward Telegram Mini App(TMA) implemented using plain JavaScript, HTML, and CSS. This project aims to provide a minimalistic example of how to create a simple TWA and l…

A curated list of awesome things related to Telegram Mini Apps (TMA).

High-speed zkSNARKs

Docs for https://github.com/privacy-scaling-explorations/sonobe

🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.

Go SDK for building AVSs on Eigenlayer

implement sha256 in solidity from scratch for no reason

The fastest, most feature-complete zkVM for developers.

Solidity-Compiler Version Manager

Chain-indexer-framework

Poseidon hash implementation in Rust

Rust implementation of the Ethereum Virtual Machine.

Send and download blobs on the proto-danksharding net

A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.

🦄 Gasless ERC20 swap settlement protocol 🦄