Implementations of sphnics minus in python and lean
☆17May 11, 2026Updated 5 months ago
Alternatives and similar repositories for sphincsminus
Users that are interested in sphincsminus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay☆16May 5, 2023Updated 3 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Dec 20, 2022Updated 3 years ago
- Rust port of c-kzg-4844☆17Jan 24, 2024Updated 2 years ago
- ☆28Apr 7, 2026Updated 6 months ago
- ☆37Jul 3, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆15Aug 13, 2025Updated last year
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆28Oct 22, 2026Updated last week
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆36Feb 7, 2022Updated 4 years ago
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆44Aug 14, 2026Updated 2 months ago
- Starknet-based L2 on ZCash☆22Dec 15, 2025Updated 10 months ago
- ☆35Sep 21, 2026Updated last month
- Simple implementation of KZG commitments in C☆35Jan 18, 2023Updated 3 years ago
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- This repository implements a simple fork test on Optimism that proves that the EVM behaviour of the forked chain is not identically repli…☆15Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Python3 implementation of the Pippenger algorithm for fast multi-exponentiation☆20Dec 8, 2022Updated 3 years ago
- Spark is a DeFi super app on the Fuel.network☆10May 13, 2025Updated last year
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated last week
- automatically doing work from factordb☆14Nov 20, 2020Updated 5 years ago
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- Verifying curve25519-dalek using Lean☆14Oct 12, 2026Updated 2 weeks ago
- ☆12Oct 4, 2023Updated 3 years ago
- Fork of go-ethereum tailored for L2 Rollups☆29Dec 4, 2025Updated 10 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Solidity implementation of Ed25519 verification☆12Sep 6, 2021Updated 5 years ago
- A framework to build OpenSSL Providers tailored for the transition to post-quantum cryptography.☆12Jul 9, 2026Updated 3 months ago
- ☆12Sep 6, 2023Updated 3 years ago
- ☆13May 28, 2025Updated last year
- Statistics functions in solidity☆11Jan 4, 2023Updated 3 years ago
- Solidity snippets for integrating and using Uniswap v4, a fork of solidity-by-example☆13May 31, 2024Updated 2 years ago
- Website for Protocol Berlin v2 2025☆13Jan 20, 2026Updated 9 months ago
- Python implementation of Discovery V5 Protocol☆19Mar 1, 2022Updated 4 years ago
- Seize the means of production. Ship 100x. Orchestrate agents as labor for any project. Billionaire theme included - finally, they work fo…☆36Jun 9, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Formally verified Ethereum primitives, written in Lean.☆23Oct 22, 2026Updated last week
- A Spraylist implementation in Rust☆16Feb 9, 2026Updated 8 months ago
- Rust implementation of the current leanSig proposal.☆49Apr 29, 2026Updated 6 months ago
- This example shows how rings network works in wasm and browser envirement.☆14Jan 22, 2024Updated 2 years ago
- Delve into low-level RISC Zero machine☆31Dec 25, 2023Updated 2 years ago
- A test suite for working with Uniswap v4 Hooks☆11Jun 20, 2023Updated 3 years ago
- Secure peer-to-peer connectivity between dApps and wallets☆37Updated this week