zk-snark

There are 0 repository under zk-snark topic.

• Sindri-Labs / sindri-js

  Sindri Zero-Knowledge Proof CLI

  circomcircuitcryptocryptographygnarkgroth16halo2noiroff-chainplonkzero-knowledgezero-knowledge-proofszk-snarkzkp
  Language:TypeScript 13

• cupid20103 / elekton-contracts

  Solidity smart contracts to vote anonymously on a free-gas network (Besu) using zk-SNARK.

  besueslinthardhatsoliditytypescriptzk-snarkcircom
  Language:Solidity 2

• guillaumelauzier / zk-SNARK-libsnark

  This example uses the libsnark library to define an R1CS (Rank-1 Constraint System) that represents a simple circuit, where the output is the product of two input values. It then generates a proof for this circuit using the ppzkSNARK proof system provided by libsnark, and verifies the proof using the same library.

  bitcoinzk-snarklibsnarkr1csppzksnark
  Language:C++ 1

• pisuthd / circom-example

  Example circuits for circom 2.0

  circomcircomlibsnarkjszk-snark
  Language:Circom 1