☆16Nov 17, 2024Updated last year
Alternatives and similar repositories for provable-vm
Users that are interested in provable-vm are comparing it to the libraries listed below
Sorting:
- A Rust Serverless Service☆10Nov 24, 2024Updated last year
- ☆17Jul 11, 2025Updated 7 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Oct 3, 2019Updated 6 years ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆39Feb 11, 2026Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆80Dec 16, 2025Updated 2 months ago
- A curated list of Plonky3 resources, libraries, tools and more.☆43Dec 1, 2025Updated 3 months ago
- BFV implementation in Python☆27Jul 16, 2024Updated last year
- ☆97Updated this week
- Rust implementation of KZG point evaluation☆35Feb 16, 2026Updated 2 weeks ago
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- Collection of exploits developed by your friendly clown☆15Oct 18, 2025Updated 4 months ago
- ☆11Jul 21, 2023Updated 2 years ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- RK0 | The Real-Time Kernel '0'☆13Updated this week
- dragonfly - metal management software☆19Feb 20, 2026Updated last week
- Plugin for building on Polkadot with Hardhat☆16Jan 22, 2026Updated last month
- All the Polkadot Ecosystem curated in one place: dapps, tools, daos, initiatives, media, creators, news, guides, resources...☆16Feb 23, 2026Updated last week
- Decentralized/blokchain-based real-estate listing project using ERC721 (NFT), zero-knowledge proofs (zk-SNARKS / ZoKrates), and open mark…☆10Jan 1, 2022Updated 4 years ago
- A performant and modular zkVM framework built for customization and extensibility.☆312Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆213Updated this week
- Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that a…☆14Feb 12, 2026Updated 2 weeks ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Statically-linked Go wrappers for FFTW 3☆11Nov 25, 2018Updated 7 years ago
- The raw markdown for all How To Code It articles. Serves as public version control.☆14Dec 11, 2025Updated 2 months ago
- Common MPC Pitfalls☆12Feb 14, 2026Updated 2 weeks ago
- ☆11Jan 2, 2021Updated 5 years ago
- Core smart contracts of Glacis v1☆10May 9, 2025Updated 9 months ago
- ☆12Jan 13, 2025Updated last year
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆48May 7, 2025Updated 9 months ago
- NFT Marketplace Contracts | Solidity++☆11Sep 28, 2022Updated 3 years ago
- EVM ERC20 Token Bridge☆11Jan 1, 2021Updated 5 years ago
- Placeholder proof system verifier for EVM☆10Jul 4, 2025Updated 7 months ago
- Minimal pure-Python library that implements a basic version of a secure decentralized biometric authentication functionality via a secure…☆13Mar 27, 2024Updated last year
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- This is just some simple code (very basic) for messing about with eBPF☆11Jan 10, 2026Updated last month
- Fork from Hyperledger/caliper☆10Dec 3, 2018Updated 7 years ago
- ☆13Nov 5, 2024Updated last year
- ☆12Nov 21, 2022Updated 3 years ago
- Tools for generating to and from wit format☆12Sep 6, 2024Updated last year