TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

WebGPU MSM implementation

An advanced fork of Nova (contact:@huitseeker)

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).

Spartan: High-speed zkSNARKs without trusted setup

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

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Solidity-Compiler Version Manager

Chain-indexer-framework

Poseidon hash implementation in Rust

Rust implementation of the Ethereum Virtual Machine.