Alternatives and similar repositories for provisions:

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

• sdaveas / nipopow-verifier
  Verify your NIPoPoWs efficiently, here
  ☆10Updated 2 years ago
• zcash / sapling-security-analysis
  ☆15Updated 5 years ago
• daira / jubjub
  Supporting evidence for security of the Jubjub curve to be used in Zcash
  ☆16Updated 3 years ago
• kwantam / bls_sigs_ref
  Algorand's reference implementation of bls signature scheme
  ☆13Updated 4 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated 2 years ago
• alinush / asvc-paper
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Updated 3 years ago
• matteocam / pay-to-sudoku-attack
  ☆10Updated 7 years ago
• evernym / coconut-rust
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Updated 5 years ago
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 4 years ago
• Crypt0-Bear / xmr-eth-swap-playground
  Cross-chain atomic swap protocol between Monero and Ethereum
  ☆14Updated 3 years ago
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 3 years ago
• sipa / zkstuff
  Random collection of zero-knowledge stuff
  ☆18Updated 6 years ago
• dec3ntral / snark-relay
  zkSNARKs for Bitcoin transaction inclusion proofs on Ethereum via ZoKrates
  ☆11Updated 5 years ago
• stonecoldpat / briberycontracts
  Ethereum contracts to support in-band and out-of-band bribery.
  ☆14Updated 7 years ago
• FiloSottile / powersoftau
  An independent implementation of the Powers of Tau MPC ceremony.
  ☆33Updated 7 years ago
• kobigurk / curve_generator
  ☆9Updated 5 years ago
• zcash / sapling-mpc
  Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters
  ☆30Updated 2 years ago
• Silur / SIS-gadget
  Joint effort with Matter Labs (https://matter-labs.io/) to make a ZK-friendly hash accumulator
  ☆12Updated 5 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated 2 years ago
• hashcashier / adaptive-dispute-cutoffs
  Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…
  ☆10Updated 4 years ago
• mmaller / vdf_snark
  Proof of concept snark prover for the minroot vdf.
  ☆11Updated 3 years ago
• ethresearch / Shuffle_SSLE
  ☆15Updated 4 years ago
• nucypher / protocol
  Upstream research, development and discussion relating to the NuCypher protocol and economic design
  ☆14Updated 5 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆15Updated 10 months ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• plutomonkey / zcash-sprout-verifier
  Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.
  ☆21Updated 7 years ago
• tyler-smith / snowglobe
  Tools and resources for the Snowglobe protocol.
  ☆11Updated 5 years ago
• kn-cs / nice-curves
  Couple of "nice" curves at 128-bit and 224-bit security levels
  ☆11Updated 3 years ago