KogarashiNetwork / KogarashiLinks
凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform
☆27Updated last year
Alternatives and similar repositories for Kogarashi
Users that are interested in Kogarashi are comparing it to the libraries listed below
Sorting:
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆74Updated 5 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- A generalized merkle mountain range implementation.☆58Updated 4 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆57Updated 2 months ago
- ☆42Updated 11 months ago
- ☆30Updated 3 months ago
- ☆23Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆77Updated last month
- Bringing divine order to remote task execution.☆27Updated 7 months ago
- A collection of ZK light client libraries for various blockchains☆53Updated 7 months ago
- ☆17Updated 3 years ago
- Poseidon hash function☆76Updated 2 years ago
- A standard library wrapper for use in the `arkworks` ecosystem☆39Updated 3 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆75Updated 9 months ago
- ☆16Updated 4 months ago
- ☆42Updated 3 years ago
- On-chain Ethereum light client built with SP1☆60Updated last week
- Pessimistic proof for the AggLayer.☆26Updated last year
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 3 years ago
- Spartan on Arkworks☆42Updated 7 months ago
- High-performance Multi-scalar Multiplication for Pasta curves☆23Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated 2 years ago
- A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.☆28Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- ☆30Updated last year
- Composable proof transcripts for public-coin arguments of knowledge☆49Updated 10 months ago
- DAPOL+ Proof of Liabilities using Bulletproofs and Sparse Merkle trees☆17Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year