Alternatives and similar repositories for noise-star:

Users that are interested in noise-star are comparing it to the libraries listed below

• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated 8 months ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated last month
• cronokirby / yao-gc
  A basic implementation of Yao's Garbled Circuits
  ☆30Updated 2 years ago
• cronokirby / deevee
  Designatived verifier Schnorr signatures
  ☆13Updated 2 years ago
• kwantam / addchain
  addition chains
  ☆20Updated 6 years ago
• Wassasin / ibe
  Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve
  ☆20Updated 3 years ago
• HACS-workshop / HACS-workshop.github.io
  High Assurance Cryptographic Software
  ☆10Updated 2 months ago
• chelseakomlo / talks
  Materials and slides for talks I've given in the past
  ☆12Updated last year
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated last year
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆20Updated this week
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆25Updated 11 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆27Updated last week
• mmaller / vdf_snark
  Proof of concept snark prover for the minroot vdf.
  ☆11Updated 3 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• arnaucube / go-bellman-verifier
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Updated 4 years ago
• ZcashFoundation / reddsa
  A minimal RedDSA implementation for use in Zebra and zcashd.
  ☆11Updated this week
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 2 years ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆30Updated 4 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 8 months ago
• AztecProtocol / plonk-with-lookups
  ☆18Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 7 months 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
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆14Updated 11 months ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆32Updated 2 years ago
• rozbb / ct-merkle
  An implementation of the append-only log described in the Certificate Transparency specification (RFC 6962)
  ☆35Updated 3 months ago
• octaviopk9 / lattice-based-cryptography
  Reference repository on Lattice-based Cryptography
  ☆24Updated 4 months ago
• rust-blockchain / verkle
  ☆14Updated 3 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 4 years ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆62Updated 2 years ago