nalinbhardwaj/isokratia external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

nalinbhardwaj/isokratia

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/nalinbhardwaj/isokratia)

Close

nalinbhardwaj / isokratiaView on GitHubMore

• External links
• Readme badge

Infinitely Compressible Governance using Recursive SNARKs

☆31Sep 23, 2022Updated 3 years ago

Alternatives and similar repositories for isokratia

Users that are interested in isokratia are comparing it to the libraries listed below

• qope / SIPP

  View on GitHub
  SIPP(Statistically sound Inner Pairing Product) verification in SNARK
  ☆17Oct 8, 2023Updated 2 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• Schaeff / pilspector

  View on GitHub
  👓
  ☆15Jan 20, 2023Updated 3 years ago
• hecmas / pairing-playground

  View on GitHub
  ☆13Sep 18, 2023Updated 2 years ago
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• lurk-lab / solidity-verifier

  View on GitHub
  Solidity implementation of Nova proving system verifier
  ☆66Mar 17, 2024Updated last year
• conroi / lcpc

  View on GitHub
  polynomial commitments from linear codes
  ☆50Dec 13, 2024Updated last year
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• fluidex / snarkit

  View on GitHub
  A toolkit to compile and debug circom circuit.
  ☆27Sep 27, 2023Updated 2 years ago
• perama-v / archors

  View on GitHub
  A tool for single Ethereum archival block state proofs.
  ☆35Oct 19, 2023Updated 2 years ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• rbkhmrcr / ledger-big-curves

  View on GitHub
  Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.
  ☆13Apr 9, 2020Updated 5 years ago
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• quartz-technology / chameleon-rs

  View on GitHub
  🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎
  ☆14Oct 8, 2023Updated 2 years ago
• geometryxyz / sparkworks

  View on GitHub
  Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama
  ☆10Nov 23, 2022Updated 3 years ago
• succinctlabs / plonky2x-example

  View on GitHub
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Aug 30, 2023Updated 2 years ago
• erhant / zkbrainfuck

  View on GitHub
  A Brainfuck zkVM with Circom.
  ☆61Jul 21, 2023Updated 2 years ago
• yi-sun / zk-attestor

  View on GitHub
  ☆133Apr 23, 2022Updated 3 years ago
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• nalinbhardwaj / eddy255

  View on GitHub
  Eddy255 elliptic curve parameters and implementation (embedding Ed25519)
  ☆12Feb 18, 2023Updated 3 years ago
• jafalter / bulletproof-js

  View on GitHub
  ☆16Jan 5, 2023Updated 3 years ago
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago
• sense-finance / space-v1

  View on GitHub
  Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle
  ☆39Nov 21, 2022Updated 3 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• noir-lang / acvm-backend-barretenberg

  View on GitHub
  ☆41Aug 31, 2023Updated 2 years ago
• ZK-Hack / puzzle-zero-sum-game

  View on GitHub
  ☆37Nov 22, 2022Updated 3 years ago
• matter-labs / pairing

  View on GitHub
  Pairing-friendly elliptic curve library
  ☆24Aug 15, 2024Updated last year