spacemeshos / post-rs
Rust implementation of POST proving
☆14Updated last week
Alternatives and similar repositories for post-rs:
Users that are interested in post-rs are comparing it to the libraries listed below
- Spacemesh POST protocol implementation☆20Updated this week
- Spacemesh command-line tool☆9Updated this week
- Official Documentation for Subspace Labs & the Subspace Network☆14Updated this week
- Protobuf implementation of the Spacemesh API☆15Updated this week
- Official CLI for the Oasis Network.☆16Updated this week
- ☆22Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- Proving historical Ethereum transactions using the Plonky2 zkEVM☆14Updated 8 months ago
- Celestia Implementation of Modular Data Availability Interface☆18Updated 11 months ago
- Cryptography libraries for ZKsync☆29Updated this week
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Updated 9 months ago
- plonky2 proving over paladin☆22Updated 9 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 6 months ago
- Primitive and low level types used in chain state and actor method parameters☆28Updated this week
- Home of our Block Explorer☆13Updated this week
- Athena monorepo☆22Updated last week
- Demo for op rollup with decoupling SVM execution layer☆35Updated 5 months ago
- ☆15Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 4 months ago
- Manta Network SDK☆16Updated 8 months ago
- PoC of TSS in Solana blockchain☆29Updated 2 years ago
- In-EVM Solana Light Client State Verification☆35Updated 10 months ago
- ☆49Updated this week
- 📦 A smart contract that distributes a balance of tokens according to a merkle root☆10Updated 4 months ago
- Collection of tests for ZKsync compilers.☆17Updated this week
- ☆11Updated 2 years ago
- ☆19Updated 3 weeks ago
- The Implementation of The Ledger of Things Node. Layer 1 decentralized blockchain platform for the tokenization of objects. Proof of Scan…☆25Updated this week
- Pure Move implementation of U256 numbers☆29Updated last year
- ☆12Updated last year