Alternatives and similar repositories for talks

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

• rozbb / dudect-bencher

  View on GitHub
  An implementation of the DudeCT constant-time function tester
  ☆25Sep 18, 2023Updated 2 years ago
• brave-experiments / CDLS

  View on GitHub
  CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness
  ☆11Nov 2, 2024Updated last year
• HACS-workshop / HACS-workshop.github.io

  View on GitHub
  High Assurance Cryptographic Software
  ☆10Dec 23, 2025Updated last month
• KPN-CISO / pq-wg-theory

  View on GitHub
  Post-quantum Wireguard (Theory)
  ☆12Sep 9, 2020Updated 5 years ago
• utreexo / pytreexo

  View on GitHub
  Minimal utreexo library in python
  ☆11Aug 27, 2024Updated last year
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago
• cronokirby / deevee

  View on GitHub
  Designatived verifier Schnorr signatures
  ☆13Nov 4, 2022Updated 3 years ago
• EthanHeilman / op_cat_draft

  View on GitHub
  ☆15Dec 27, 2023Updated 2 years ago
• geometryxyz / functional-commitment

  View on GitHub
  Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342
  ☆16Jan 5, 2023Updated 3 years ago
• ZKProofs / zkp.bib

  View on GitHub
  A BibTeX collection on Zero-Knowledge Proofs
  ☆16Dec 4, 2018Updated 7 years ago
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• tireddy2 / pqc-for-engineers

  View on GitHub
  ☆17Aug 26, 2025Updated 5 months ago
• vorot93 / fastrlp

  View on GitHub
  Fast RLP serialization library
  ☆15Sep 17, 2024Updated last year
• guruvamsi-policharla / zkdilithium

  View on GitHub
  An implementation of a post quantum anonymous credential scheme
  ☆16Dec 18, 2024Updated last year
• geometryxyz / proof-toolbox

  View on GitHub
  Cryptographic protocols
  ☆38Apr 19, 2023Updated 2 years ago
• JSeam2 / zkml-server

  View on GitHub
  Server for ZKML
  ☆21Mar 5, 2023Updated 2 years ago
• AmanGotchu / RandaoZKP

  View on GitHub
  ☆22Oct 11, 2022Updated 3 years ago
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• issikebrokenyet / issikebrokenyet.github.io

  View on GitHub
  Is SIKE broken yet?
  ☆20Feb 15, 2023Updated 2 years ago
• BoltonBailey / formal-snarks-project

  View on GitHub
  A formal verification of Linear PCP SNARKs.
  ☆60Jul 20, 2024Updated last year
• polysig / polysig

  View on GitHub
  Polyglot signing library for multisig applications using the Noise protocol for end-to-end encryption
  ☆25Apr 23, 2025Updated 9 months ago
• RustCrypto / book

  View on GitHub
  Reference manual for the RustCrypto project, implemented as an MDBook [WIP]
  ☆22Jan 18, 2024Updated 2 years ago
• crema-labs / sxg-sp1

  View on GitHub
  Web Proofs using zk-SXG
  ☆30Nov 16, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• VictorColomb / stark-snark-recursive-proofs

  View on GitHub
  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
  ☆103Sep 12, 2023Updated 2 years ago
• SoraSuegami / halo2-rsa

  View on GitHub
  RSA verification circuit using halo2 library.
  ☆58Apr 26, 2023Updated 2 years ago
• KomaEc / crown

  View on GitHub
  Ownership analysis that helps translating C to Rust
  ☆31Nov 25, 2025Updated 2 months ago
• l2iterative / ll0

  View on GitHub
  Delve into low-level RISC Zero machine
  ☆30Dec 25, 2023Updated 2 years ago
• Inria-Prosecco / pqxdh-analysis

  View on GitHub
  Formal Analysis of the PQXDH Protocol
  ☆30Jun 6, 2024Updated last year
• cronokirby / yao-gc

  View on GitHub
  A basic implementation of Yao's Garbled Circuits
  ☆30Apr 18, 2022Updated 3 years ago
• thibmeu / tlock-rs

  View on GitHub
  Rust encryption library for practical time-lock encryption.
  ☆37Jul 19, 2024Updated last year
• han0110 / halo2-kzg-srs

  View on GitHub
  ☆33Jan 4, 2024Updated 2 years ago
• brech1 / keaki

  View on GitHub
  Extractable Witness Encryption for KZG Commitments
  ☆32Nov 29, 2024Updated last year
• alleystoughton / EasyTeach

  View on GitHub
  Examples for EasyCrypt Lectures
  ☆27Jan 28, 2026Updated 2 weeks ago
• mobilecoinfoundation / mc-oblivious

  View on GitHub
  ORAM and related for Intel SGX enclaves
  ☆53Sep 4, 2023Updated 2 years ago
• Dhole / polyexen

  View on GitHub
  Polynomial Expression Engine
  ☆35Feb 13, 2024Updated 2 years ago
• odyslam / ethsig-rs

  View on GitHub
  Sign-in with Ethereum worker example
  ☆33Mar 11, 2022Updated 3 years ago
• xJonathanLEI / oriac

  View on GitHub
  A toy Cairo VM implementation in Rust™
  ☆72Jun 7, 2022Updated 3 years ago
• isislovecruft / frost-dalek

  View on GitHub
  An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group
  ☆72Nov 30, 2021Updated 4 years ago