Silur / SIS-gadget

Related projects: ⓘ

• zcash / sapling-security-analysis
  ☆15Updated 5 years ago
• celo-org / bls-embedded
  ☆11Updated 4 years ago
• ZenGo-X / paradise-city
  Rust implementation of Zcash multi-signautres
  ☆13Updated 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
• AztecProtocol / plonk-with-lookups
  ☆17Updated 4 years ago
• kobigurk / curve_generator
  ☆9Updated 5 years ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 2 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
• build-quilt / core
  ☆10Updated this week
• iden3 / za
  ☆10Updated this week
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated last year
• ethresearch / Shuffle_SSLE
  ☆14Updated 3 years ago
• mmaller / vdf_snark
  Proof of concept snark prover for the minroot vdf.
  ☆11Updated 3 years 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
• alinush / asvc-paper
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Updated 3 years ago
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 2 years ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆18Updated 3 years ago
• narodnik / coconut-rust
  ☆10Updated this week
• rust-blockchain / verkle
  ☆14Updated 3 years ago
• 0xPolygonZero / r1cs-zkinterface
  Compiles r1cs gadgets to the zkinterface format
  ☆10Updated 3 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆15Updated 4 years ago
• sdaveas / nipopow-verifier
  Verify your NIPoPoWs efficiently, here
  ☆10Updated last year
• summa-tx / swaps
  SPV-based ETH/BTC swaps
  ☆11Updated 2 years ago
• celo-org / snark-setup
  ☆17Updated 7 months ago
• AztecProtocol / Oliver
  Huff implementation of the BabyJubJub curve
  ☆13Updated 5 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 4 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆24Updated 5 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• loomnetwork / mamamerkle
  Sparse Merkle Trees implementation
  ☆9Updated 4 years ago
• rbkhmrcr / ledger-big-curves
  Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.
  ☆13Updated 4 years ago