77 Repositories
Rust ebpf-knowledge-base Libraries
A performant, type-1 zkEVM written in Rust & SP1.
SP1 Reth SP1 Reth is a 100% open-source POC that showcases how any rollup can use SP1 to build a performant (type-1, bytecode compatible) zkEVM with l
Base 32 + 64 encoding and decoding identifiers + bytes in rust, quickly
fast32 Base32 and base64 encoding in Rust. Primarily for integer (u64, u128) and UUID identifiers (behind feature uuid), as well as arbitrary byte arr
The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.
zk_whitelist: A Zero Knowledge Whitelist Tool The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Kno
Implementation of zero-knowledge proof circuits for Tendermint.
Tendermint X Implementation of zero-knowledge proof circuits for Tendermint. Overview Tendermint X's core contract is TendermintX, which stores the he
Spartan2: High-speed zero-knowledge SNARKs.
Spartan2: High-speed zero-knowledge SNARKs. Spartan is a high-speed zkSNARK, where a zkSNARK is type cryptographic proof system that enables a prover
An attempt to use risc0 with ink!
zink! - risc0 + ink! A demo project prepared for the ParisDot talk ("Zero-Knowledge Proofs using ink!"). The repo contains Substrate node configured w
A modular and blazing fast runtime security framework for the IoT, powered by eBPF.
Pulsar is a security tool for monitoring the activity of Linux devices at runtime, powered by eBPF. The Pulsar core modules use eBPF probes to collect
A fast zero-knowledge proof friendly Move language runtime environment.
zkMove Lite zkMove Lite is a lightweight zero-knowledge proof friendly Move language virtual machine. Move bytecode is automatically "compiled" into c
gRPC client/server for zero-knowledge proof authentication Chaum Pederson Zero-Knowledge Proof in Rust
gRPC client/server for zero-knowledge proof authentication Chaum Pederson Zero-Knowledge Proof in Rust. Chaum Pederson is a zero-knowledge proof proto
A library for building tools to determine if vulnerabilities are reachable in a code base.
Overview Vuln Reach is a library for developing tools that determine if a given vulnerability is reachable. Provided to the open source community by P
Mod for Mega Man Battle Network Legacy Collection to restore the WWW base music in the postgame.
MMBNLC Postgame WWW Base Music mod This is a mod for Mega Man Battle Network Legacy Collection Vol. 2 adjusts the field music played in the WWW base i
Arkworks circuits for verifiable time-lock encryption
zk-timelock This repo contains arithmetic circuits for verifiable time-lock encryption made using arkworks-rs toolkit. For more details on such an enc
A small, basical and unoptimized version of RWKV in Rust written by someone with no math or ML knowledge.
Smol Rust RWKV What is it? A simple example of the RWKV approach to language models written in Rust by someone that knows basically nothing about math
AskBend: SQL-based Knowledge Base Search and Completion using Databend
AskBend: SQL-based Knowledge Base Search and Completion using Databend AskBend is a Rust project that utilizes the power of Databend and OpenAI to cre
An ebpf knowledge base, based on llama_index and bpf-developer-tutorial
ebpf-knowledge-base An ebpf knowledge base, based on llama_index and bpf-developer-tutorial Usage First, you need to clone this repo: git clone --recu
Zero Knowledge Light Client Implementation by Zpoken team.
zkp for chain state Prerecusites This project requires using the nightly Rust toolchain, which can be used by default in this way: rustup default nigh
A Noir's backend implementation using gnark
Using gnark as a backend for Noir If you want to develop a backend for Noir, basically what you need to do is to translate an ACIR (Abstract Circuit I
Rust stdlib-less internal base for source engine games
source-base Rust stdlib-less and msvcrt-less internal base for source engine games Info Build with cargo build -Zbuild-std If cargo can't find link.ex
Translate C++/Rust type into C type with the same memory layout
clayout, translate C++/Rust type into C type with the same memory layout. Generally, clayout is used together with bpftrace. clayout is developed on d
Horus is an open source tool for running forensic and administrative tasks at the kernel level using eBPF, a low-overhead in-kernel virtual machine, and the Rust programming language.
Horus Horus is an open-source tool for running forensic and administrative tasks at the kernel level using eBPF, a low-overhead in-kernel virtual mach
ππ¦π₯ An ebpf based CPU profiler written in Rust
profile-bee π π¦ π₯ Profile Bee is an eBPF based CPU profiler written in Rust for performance and efficiency. Aya is used for building the BPF progra
A demo app covering building an eBPF load-balancer in Rust
eBPF Rust UDP LoadBalancer Demo This is an example of creating a UDP load-balancer in Rust as an eXpress Data Path (XDP) type eBPF program using the a
Curdleproofs is a zero-knowledge shuffle argument
Curdleproofs Curdleproofs is a zero-knowledge shuffle argument inspired by BG12. Zero-knowledge shuffle arguments can have multiple use cases: Secret
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
STARK - SNARK recursive proofs The point of this library is to combine the SNARK and STARK computation arguments of knowledge, namely the Winterfell l
A security-focused telemetry agent written in Rust using eBPF.
Vesper A security-focused telemetry agent written in Rust using eBPF. Important: While public, this project is an educational endeavor and is not mean
A command line tool to control the power state of Valve Base Stations 2.0.
lighthousectl A command line tool to control the power state of Valve Base Stations 2.0. Usage Scan All Base Stations It scans endlessly. You can stop
Safeguard your financial privacy with zero-knowledge proofs.
Spinner The Spinner project (https://spinner.cash) takes a privacy first approach to protect users crypto assets. It is a layer-2 protocol built on th
Vector OLE and zero-knowledge for Z2k.
Mozzarella Benchmarking Code This repository contains the code developed for the benchmarking experiments in our paper: "Moz $\mathbb{Z}_{2^k}$ arella
Longbridge OpenAPI SDK Base.
Longbridge OpenAPI SDK Longbridge OpenAPI provides programmatic quote trading interfaces for investors with research and development capabilities and
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
Zerokit A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments. Initial scope Focus on RLN
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero WARNING: This software is still experimental, we do not recommend it for production use (see Security section). RISC Zero is a zero-knowledg
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
What is this? This is where I'll be collecting resources related to the Study Group on Dr. Justin Thaler's Proofs Arguments And Zero Knowledge Book. T
eBPF terminal editor
TBM - Terminal Blueprint Meddler A TUI application for fooling around inside eBPF files. Installation cargo install tbm Usage Currently, only prints
A universe that consists of meta knowledge domains from Stack Exchange, made using Bevy with
Stack of Knowledge Universe A universe that consists of meta knowledge domains from Stack Exchange, made using Bevy with β€οΈ . Setup Remove .placeholde
Fox Ear is a Linux process behavior trace tool powered by eBPF
Fox Ear Fox Ear is a Linux process behavior trace tool powered by eBPF. Banner image by Birger Strahl on Unsplash. Features Log process and its subpro
A privacy-preserving blockchain on Substrate
Zerochain Zerochain is a generic privacy-protecting layer on top of Substrate. It provides some useful substrate modules and toolkit for protecting us
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
OpenZKP OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems. Overview Project current implements πΊ the Stark protocol (see its readme
Noir is a domain specific language for zero knowledge proofs
The Noir Programming Language Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving sy
Base Garry's Mod binary module (Rust)
gmod-module-base-rs A base for developing Garry's Mod binary modules in Rust. Getting Started Install Rust Download or git clone this repository Open
VICTOR: An Arcane Connect Four AI using Ancient Knowledge from the 80s
VICTOR VICTOR is a program based on 'A Knowledge-based Approach of Connect-Four' by Victor Allis. The original program written in C has been lost to h
A fast, searchable, knowledge engine using various machine learning models to aggregate based on importance, association and relevance
NewsAggregator We live in an era where both the demand and quantity of information are enormous. However, the way we store and access that information
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Aya API docs | Chat | Aya-Related Projects Overview eBPF is a technology that allows running user-supplied programs inside the Linux kernel. For more
This repository presents a numbers vizualizer in a polar base. This small project has been entirely made in Rust !
NumbersRepresentation This repository presents a numbers vizualizer in a polar base. This small project has been entirely made in Rust ! This is an id
Rust implementation of custom numeric base conversion.
base_custom Use any characters as your own numeric base and convert to and from decimal. This can be taken advantage of in various ways: Mathematics:
Zero-Knowledge Assembly language and compiler
zkAsm A Zero-Knowledge circuit assembly language, designed to represent Zero-Knowledge circuits in a compressed format, to be stored on blockchains. I
Bellman zkSNARK library for community with Ethereum's BN256 support
bellman "Community edition" Originally developed for ZCash, with extensions from us to make it a little more pleasant. Uses our "community edition" pa
Bulletproofs and Bulletproofs+ Rust implementation for Aggregated Range Proofs over multiple elliptic curves
Bulletproofs This library implements Bulletproofs+ and Bulletproofs aggregated range proofs with multi-exponent verification. The library supports mul
Zerocaf: A library built for EC operations in Zero Knowledge.
Dusk-Zerocaf WARNING: WIP Repo. Fast, efficient and bulletproof-friendly cryptographic operations. This repository contains an implementation of the S
Composable proof transcripts for public-coin arguments of knowledge
Merlin: composable proof transcripts for public-coin arguments of knowledge Merlin is a STROBE-based transcript construction for zero-knowledge proofs
This crate is an implementation of Sonic, a protocol for quickly verifiable, compact zero-knowledge proofs of arbitrary computations
Sonic This crate is an implementation of Sonic, a protocol for quickly verifiable, compact zero-knowledge proofs of arbitrary computations. Sonic is i
Spartan: High-speed zkSNARKs without trusted setup
Spartan: High-speed zkSNARKs without trusted setup Spartan is a high-speed zero-knowledge proof system, a cryptographic primitive that enables a prove
Interfaces for Relations and SNARKs for these relations
SNARK and Relation Traits The arkworks ecosystem consists of Rust libraries for designing and working with zero knowledge succinct non-interactive arg
A toolbox for zkSNARKs on Ethereum
ZoKrates ZoKrates is a toolbox for zkSNARKs on Ethereum. This is a proof-of-concept implementation. It has not been tested for production. Getting Sta
Multilayered Linkable Spontaneous Anonymous Group - Implemented as is from paper. Not Monero specific
MLSAG This is a pure Rust implementation of the Multilayered Linkable Spontaneous Anonymous Group construction. This implementation has not been revie
suidsnoop is a tool based on eBPF LSM programs that logs whenever a suid binary is executed and implements custom allow/deny lists.
suidsnoop Log suid binaries and enforce per-uid suid policy. suidsnoop is a tool for logging whenever a suid binary is executed on your system and opt
A repository for showcasing my knowledge of the Rust programming language, and continuing to learn the language.
Learning Rust I started learning the Rust programming language before using GitHub, but increased its usage afterwards. I have found it to be a fast a
STARK-based virtual machine
Polygon Miden A STARK-based virtual machine. WARNING: This project is in an alpha stage. It has not been audited and may contain bugs and security fla
A Rust library for managing eBPF programs.
oxidebpf oxidebpf is a permissive licensed Rust library for managing eBPF programs. Motivation The motivation behind oxidebpf is to create a permissiv
Dropping GFW DNS contaminated packets based on Rust + eBPF
Dropping GFW DNS contaminated packets based on Rust + eBPF
CLI tool to convert numbers from one base to another
changebase A CLI tool for changing the base of numbers. changebase -h numeric base converter USAGE: changebase [FLAGS] [OPTIONS] value FLAG
ECFFT algorithms on the BN254 base field
ECFFT algorithms on the BN254 base field This crate implements structs and traits for the ECFFT algorithms from the paper Elliptic Curve Fast Fourier
A logging library for eBPF programs.
aya-log - a logging library for eBPF programs Overview aya-log is a logging library for eBPF programs written using aya. Think of it as the log crate
Rust CS:GO base
Helveta Counter-Strike: Global Offensive Cheat base written in Rust. NOT COMPLETE! In active development. Disclaimer There's an alternative, currently
EXPERIMENTAL: Bitcoin Core Prometheus exporter based on User-Space, Statically Defined Tracing and eBPF.
bitcoind-observer An experimental Prometheus metric exporter for Bitcoin Core based on Userspace, Statically Defined Tracing and eBPF. This demo is ba
Rust library for building and running BPF/eBPF modules
RedBPF A Rust eBPF toolchain. Overview The redbpf project is a collection of tools and libraries to build eBPF programs using Rust. It includes: redbp
Substrate NFT !ink smart contract base
Substrate !ink NFT simple implementation This is a simple working version of base NFT smart contract written using latest (as of this date) !ink 3.0.0
base-level dotplots from PAF alignments
pafplot A base-level sequence alignment rasterizer / dotplot generator overview In the process of generating alignments between whole genomes, we ofte
Gameroasters Server Base Framework
atlas atlasserver is a rust library for the purpose of composing REST APIs out of re-usable and extensible modules, specifically with supporting the n
The main repo for manta relay nodes and manta parachain nodes
Manta Manta is a privacy preserving DeFi stack on Polkadot/Substrate. The code currently hasn't been properly security audited (work in progress), use
Minimal implementation of the Mimblewimble protocol.
Grin Grin is an in-progress implementation of the Mimblewimble protocol. Many characteristics are still undefined but the following constitutes a firs
A substrate pallet that enables Manta's decentialized anynonymous payment (DAP) protocol.
This is a pallet that enables decentialized anynonymous payment (DAP) protocol. The best way to use this repo is to invoke it with a manta-runtime, available from either manta-node or cumulus.
A library to compile USDT probes into a Rust library
sonde sonde is a library to compile USDT probes into a Rust library, and to generate a friendly Rust idiomatic API around it. Userland Statically Defi
A library to compile USDT probes into a Rust library
sonde sonde is a library to compile USDT probes into a Rust library, and to generate a friendly Rust idiomatic API around it. Userland Statically Defi
Web base text editor written in rust
Ultron Ultron is a web based monospace text-editor with syntax highlighting, completely written in rust. I wrote this code editor for my very specific
Core Temporal SDK that can be used as a base for language specific Temporal SDKs
Core SDK that can be used as a base for all other Temporal SDKs. Getting started See the Architecture doc for some high-level information. This repo u
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Aleo SDK The Aleo SDK is a developer framework to make it simple to create a new account, craft a transaction, and broadcast it to the network. Table
Minimal implementation of the Mimblewimble protocol.
Grin Grin is an in-progress implementation of the Mimblewimble protocol. Many characteristics are still undefined but the following constitutes a firs