KogarashiNetwork / Kogarashi

Related projects ⓘ

Alternatives and complementary repositories for Kogarashi

• privacy-scaling-explorations / poseidon
  ☆40Updated 3 months ago
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated 3 months ago
• arkworks-rs / sumcheck
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆52Updated last month
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• matter-labs / rescue-poseidon
  Rescue and Poseidon hash function implementations
  ☆42Updated 2 months ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆63Updated last month
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆41Updated 2 months ago
• paritytech / arkworks-extensions
  Library to integrate arkworks-rs/algebra into Substrate
  ☆47Updated 2 months ago
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆24Updated 11 months ago
• ICME-Lab / zkEngine_dev
  A world's first zkWASM with a SuperNova backend
  ☆19Updated this week
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• MystenLabs / mysticeti
  Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
  ☆55Updated 4 months ago
• w3f / apk-proofs
  ☆56Updated 11 months ago
• arnaucube / poseidon-rs
  Poseidon hash function
  ☆73Updated last year
• supranational / pasta-msm
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆21Updated 11 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last month
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆91Updated this week
• w3f / fflonk
  ☆25Updated 5 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated this week
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆46Updated this week
• hero78119 / risc0-nova
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆29Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• privacy-scaling-explorations / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆42Updated last year
• vacp2p / zk-explorations
  ☆31Updated 6 months ago
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆21Updated this week
• EDGDrummond / EF-grant
  ☆23Updated last year
• clvv / rcc
  ☆24Updated last year
• arkworks-rs / std
  A standard library wrapper for use in the `arkworks` ecosystem
  ☆37Updated last week