kunxian-xia/sudoku-zk-snarks 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

kunxian-xia/sudoku-zk-snarks

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/kunxian-xia/sudoku-zk-snarks)

Close

kunxian-xia / sudoku-zk-snarksView on GitHubMore

• External links
• Readme badge

A libsnark's tutorial on sudoku

☆17Nov 8, 2018Updated 7 years ago

Alternatives and similar repositories for sudoku-zk-snarks

Users that are interested in sudoku-zk-snarks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lovesh / libsnark-playground

  View on GitHub
  Learning ZkSNARKs using libsnark
  ☆12Dec 26, 2018Updated 7 years ago
• fluree / example-zero-knowledge

  View on GitHub
  This Github repo demonstrates how one could set up a Fluree ledger to use zero-knowledge proofs.
  ☆29Jul 17, 2025Updated 8 months ago
• ebfull / lightning_circuit

  View on GitHub
  ☆79Nov 1, 2016Updated 9 years ago
• asonnino / fraudproofs-prototype

  View on GitHub
  Prototype of fraud proofs.
  ☆12Feb 13, 2022Updated 4 years ago
• comit-network / a2l-poc

  View on GitHub
  Proof of concept for the A2L protocol on top of Bitcoin.
  ☆19Sep 3, 2020Updated 5 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• daira / r1cs

  View on GitHub
  Presentations about R1CS
  ☆19May 1, 2019Updated 6 years ago
• fubuloubu / pytest-ethereum-old

  View on GitHub
  py.test plugin for testing Ethereum smart contracts
  ☆20Nov 19, 2018Updated 7 years ago
• akosba / mirage

  View on GitHub
  A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
  ☆18Jan 24, 2021Updated 5 years ago
• zhenfeizhang / falcon.rs

  View on GitHub
  Falcon signature and its ZKP extensions
  ☆22Jul 5, 2022Updated 3 years ago
• vietlq / smart-contract-audit

  View on GitHub
  Guide to auditing EVM smart contracts using tools
  ☆22Apr 2, 2023Updated 3 years ago
• scipr-lab / libsnark

  View on GitHub
  C++ library for zkSNARKs
  ☆1,919Jun 12, 2025Updated 9 months ago
• cryptape / bft-rs

  View on GitHub
  An efficient and stable Rust library of BFT protocol for distributed system.
  ☆52Nov 4, 2019Updated 6 years ago
• kryptoklob-deprecated / Zethr-Issue-Tracker

  View on GitHub
  Zethr Issue Tracker
  ☆11Jul 31, 2018Updated 7 years ago
• byt3bit / mimc_snark

  View on GitHub
  ☆22Sep 6, 2016Updated 9 years ago
• NordVPN Special Discount Offer • Ad
  Save on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
• AlexandreBelling / go-boojum

  View on GitHub
  A golang demo for zk-SNARK aggregation
  ☆41Jun 23, 2019Updated 6 years ago
• lEthDev / FairSwap

  View on GitHub
  ☆28Nov 22, 2018Updated 7 years ago
• imdea-software / legosnark

  View on GitHub
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆43Oct 8, 2020Updated 5 years ago
• lightning-li / zkSNARK-toy

  View on GitHub
  ☆64Sep 22, 2018Updated 7 years ago
• raiden-network / raiden-services

  View on GitHub
  Development of the Raiden Monitoring and Pathfinding Services
  ☆10Mar 7, 2023Updated 3 years ago
• kavyasreedhar / sreedhar-xgcd-hardware-ches2022

  View on GitHub
  Artifact associated with CHES 2022 paper https://tches.iacr.org/index.php/TCHES/article/view/9817
  ☆12Nov 10, 2023Updated 2 years ago
• verifiable-timed-signatures / liblhtlp

  View on GitHub
  Linearly Homomorphic Time Lock Puzzle Library
  ☆31Mar 30, 2020Updated 6 years ago
• etairi / A2L

  View on GitHub
  Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589
  ☆26Apr 7, 2022Updated 4 years ago
• jruby / jruby-launcher

  View on GitHub
  JRuby's native launcher executable
  ☆27Oct 23, 2025Updated 5 months ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• jlopp / us-marshals-bitcoin-auctions

  View on GitHub
  Keeping track of all bitcoin seized and sold by the US Marshals & GSA
  ☆15Mar 31, 2023Updated 3 years ago
• SpartanLabsXyz / zk-sbt

  View on GitHub
  zk-sbt using circom2 hardhat-circom
  ☆18May 5, 2023Updated 2 years ago
• 5GenCrypto / mife

  View on GitHub
  Multi-input functional encryption
  ☆12Feb 8, 2018Updated 8 years ago
• prestwich / ethers-aws-signer

  View on GitHub
  ☆23Aug 1, 2021Updated 4 years ago
• summa-tx / enhanced-tokens

  View on GitHub
  Advanced functionality for ERC20 tokens, as abstract inheritable contracts
  ☆20Jan 24, 2023Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof

  View on GitHub
  ☆17Jul 14, 2018Updated 7 years ago
• 0xdecaf / zkrp

  View on GitHub
  Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.
  ☆21Mar 7, 2023Updated 3 years ago
• wdxtub / federated-learning-note

  View on GitHub
  联邦学习相关学习笔记
  ☆11Apr 20, 2021Updated 4 years ago
• yunfeiyanggzq / bls_golang_lib

  View on GitHub
  a lib for bls signature in golang
  ☆11Nov 29, 2020Updated 5 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• generalized-channels / gc

  View on GitHub
  A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.
  ☆13Dec 13, 2021Updated 4 years ago
• QSCTech / jvm-cpp

  View on GitHub
  a basic jvm
  ☆12Jan 22, 2018Updated 8 years ago
• kc1212 / tokio-p2p

  View on GitHub
  A toy peer-to-peer system written in tokio.
  ☆13May 25, 2017Updated 8 years ago
• Robin-and-friends / tCDP

  View on GitHub
  collateralized debt position, but fungible
  ☆14Aug 9, 2020Updated 5 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated 2 years ago
• MikeAnast / Homomorphic-comparison-using-Helib

  View on GitHub
  ☆10Mar 26, 2021Updated 5 years ago
• neuroglia-io / Neuroglia.Blazor.JsonForms

  View on GitHub
  A wrapper and renderer for EclipseSource's JsonForms - https://jsonforms.io/
  ☆14Mar 6, 2023Updated 3 years ago