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:
- ☆42Updated 10 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆73Updated 4 months ago
- ☆17Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆56Updated 3 weeks ago
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Mozak RISC-V Virtual Machine☆25Updated 2 months ago
- On-chain Ethereum light client built with SP1☆52Updated 3 weeks ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Cryptography libraries for ZKsync☆31Updated 3 weeks ago
- ☆30Updated last year
- ☆30Updated last month
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- ☆31Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆34Updated 3 weeks ago
- ☆42Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- An observatory fork of SP1☆69Updated 3 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- Spartan on Arkworks☆42Updated 5 months ago
- ☆16Updated 2 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆73Updated 11 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆69Updated 8 months ago
- Pessimistic proof for the AggLayer.☆26Updated 11 months ago
- ☆23Updated last year
- ☆123Updated 7 months ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- Rust-libp2p transport for {t,n}-threshold signature schemes☆34Updated 2 years ago
- A generalized merkle mountain range implementation.☆58Updated 2 months ago