Lists (4)
Stars
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
Source code used in the 'An Empirical Analysis of Anonymity in Zcash' research
Deploy an application on a cloud provider instance, running in a confidential context with verifiability at any time
A curated list of multi party computation resources and links.
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
The pioneer blockchain explorer dedicated to navigate and visualize shard blob transactions.
Witness Encryption based on BLS signatures in C++, using the bls library for BLS signatures
Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
ERC-4337 (Account Abstraction) - modular and efficient bundler implementation in Rust.
🚂 🦀 The one-person framework for Rust for side-projects and startups
Manage EVM protocol deployments. Inspired by Docker, Terraform, and npm.
Tools and scripts using the Synthetix python sdk
Vectorized AVX-512 256-bit arithmetic library
Experimental folding schemes library
STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.