sdaveas / nipopow-verifier

Related projects: ⓘ

• ethresearch / Shuffle_SSLE
  ☆14Updated 3 years ago
• interlay / compressed-inclusion-proofs
  TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation
  ☆14Updated last year
• zcash / sapling-security-analysis
  ☆15Updated 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 3 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• kobigurk / curve_generator
  ☆9Updated 5 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 3 years ago
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆19Updated 3 years ago
• alinush / asvc-paper
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Updated 3 years ago
• iden3 / za
  ☆10Updated this week
• khovratovich / Kate
  ☆25Updated last year
• narodnik / coconut-rust
  ☆10Updated this week
• trepca / multi-party-ecdsa
  Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
  ☆10Updated 5 years ago
• daira / r1cs
  Presentations about R1CS
  ☆18Updated 5 years ago
• arielgabizon / plonk-addendum
  ☆11Updated 3 years ago
• nikkolasg / snarkpack
  snarkpack for arkwork
  ☆20Updated last year
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• dec3ntral / snark-relay
  zkSNARKs for Bitcoin transaction inclusion proofs on Ethereum via ZoKrates
  ☆11Updated 5 years ago
• AztecProtocol / plonk-with-lookups
  ☆17Updated 4 years ago
• EDGDrummond / DeVo
  Decentralised Voting Scheme
  ☆15Updated 2 years ago
• 1Address / ecsol
  Elliptic Curve Implementation in Solidity
  ☆24Updated 7 months ago
• matter-labs-archive / sapling-crypto
  Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood
  ☆15Updated 4 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 6 years ago
• aspiers / zkp-eddsa-point-doubler
  Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates
  ☆12Updated 5 years ago
• interlay / interbtc-spec
  interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge
  ☆17Updated 2 years ago
• mmaller / vdf_snark
  Proof of concept snark prover for the minroot vdf.
  ☆11Updated 3 years ago
• arkworks-rs / accumulation
  Rust library for accumulation schemes
  ☆21Updated last year
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 5 years ago
• hashcloak / Meson
  The monorepo for Meson project
  ☆11Updated 3 months ago
• darkrenaissance / zkas
  ☆14Updated this week