0xPolygonZero/r1cs-workshop 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

0xPolygonZero/r1cs-workshop

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/0xPolygonZero/r1cs-workshop)

Close

0xPolygonZero / r1cs-workshopView on GitHubMore

• External links
• Readme badge

Notes for the R1CS programming workshop at ZK0x04

☆31Oct 26, 2019Updated 6 years ago

Alternatives and similar repositories for r1cs-workshop

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

• daira / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• 0xPolygonZero / r1cs

  View on GitHub
  A Rust library for building R1CS gadgets
  ☆92Oct 14, 2021Updated 4 years ago
• EDGDrummond / DeVo

  View on GitHub
  Decentralised Voting Scheme
  ☆16Dec 5, 2021Updated 4 years ago
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• arkworks-rs / nonnative

  View on GitHub
  R1CS constraints for non-native field arithmetic
  ☆21Aug 7, 2021Updated 4 years ago
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• arnaucube / go-bellman-verifier

  View on GitHub
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Apr 22, 2020Updated 5 years ago
• zeropoolnetwork / fawkes-crypto

  View on GitHub
  Fawkes-Crypto - zkSNARKs framework
  ☆21Feb 6, 2024Updated 2 years ago
• AmadiMichael / OptimizedMiMCSponge

  View on GitHub
  ☆12Sep 19, 2023Updated 2 years ago
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• 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
• burdges / isogenies_vdf_uses

  View on GitHub
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆14Oct 19, 2021Updated 4 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated 2 years ago
• pornin / ecgfp5

  View on GitHub
  Curve ecGFp5
  ☆69Mar 31, 2022Updated 3 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated 2 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
• EspressoSystems / veri-zexe

  View on GitHub
  DPC with Universal Setup
  ☆46May 25, 2023Updated 2 years ago
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• geometryxyz / sangria_impl

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

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• mmaker / zkalc

  View on GitHub
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆94Jan 27, 2026Updated last month
• yondonfu / sol-baby-jubjub

  View on GitHub
  Solidity implementation of the baby jubjub curve
  ☆21Apr 30, 2024Updated last year
• Maddiaa0 / noir-storage-proofs-demo

  View on GitHub
  Code used in a recent presentation showing off noir storage proofs
  ☆15Jul 30, 2023Updated 2 years ago
• abdk-consulting / abdk-libraries-circom

  View on GitHub
  Open-Source Libraries for Circom by ABDK Consulting
  ☆19Dec 22, 2019Updated 6 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
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆123Feb 25, 2023Updated 3 years ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• evernym / coconut-rust

  View on GitHub
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Oct 20, 2019Updated 6 years ago
• geometryxyz / wgsl-poseidon

  View on GitHub
  ☆33Sep 9, 2023Updated 2 years ago
• horsefacts / huff-test

  View on GitHub
  Better assertion macros for pure Huff tests.
  ☆19Oct 2, 2023Updated 2 years ago
• radiusxyz / delay-encryption-in-halo2

  View on GitHub
  ☆11Dec 6, 2023Updated 2 years ago
• qope / SIPP

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

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago