trailofbits/reverie external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

trailofbits/reverie

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/trailofbits/reverie)

Close

trailofbits / reverieView on GitHubMore

• External links
• Readme badge

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

☆62Sep 4, 2023Updated 2 years ago

Alternatives and similar repositories for reverie

Users that are interested in reverie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• arkworks-rs / ripp

  View on GitHub
  Argument systems for inner pairing products
  ☆44Jul 31, 2024Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• daira / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• zhenfeizhang / origami

  View on GitHub
  [wip] implementing origami VDF
  ☆13Mar 1, 2023Updated 3 years ago
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 3 years ago
• wangxiao1254 / crypto-material

  View on GitHub
  ☆10Mar 24, 2020Updated 6 years ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• sigp / milagro_bls

  View on GitHub
  BLS12-381 cryptography using Apache Milagro
  ☆30Feb 2, 2024Updated 2 years ago
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• arkworks-rs / nonnative

  View on GitHub
  R1CS constraints for non-native field arithmetic
  ☆21Aug 7, 2021Updated 4 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• trailofbits / decree

  View on GitHub
  Decree Fiat Shamir Library
  ☆12Mar 27, 2024Updated last year
• arnaucube / go-bellman-verifier

  View on GitHub
  Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing
  ☆13Apr 22, 2020Updated 5 years ago
• GaloisInc / BLST-Verification

  View on GitHub
  BLST-Verification
  ☆23Jan 22, 2026Updated 2 months ago
• ZenGo-X / thresh-rust-u2f

  View on GitHub
  U2f implementation with threshold signatures
  ☆16Nov 24, 2020Updated 5 years ago
• daira / curvesearch

  View on GitHub
  Elliptic curve search experiments
  ☆35Mar 6, 2023Updated 3 years ago
• dkales / banquet

  View on GitHub
  Banquet implementation
  ☆14May 6, 2022Updated 3 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated 2 years ago
• daira / describe-curve

  View on GitHub
  Describe elliptic curves
  ☆35May 10, 2021Updated 4 years ago
• evernym / coconut-rust

  View on GitHub
  Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
  ☆14Oct 20, 2019Updated 6 years ago
• PP-FM / ZKUNSAT

  View on GitHub
  ☆20Jan 17, 2025Updated last year
• matter-labs-archive / Edcon2019_material

  View on GitHub
  Materials for Edcon 2019 webcast
  ☆11Mar 31, 2019Updated 6 years ago
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• dalek-cryptography / merlin

  View on GitHub
  Composable proof transcripts for public-coin arguments of knowledge
  ☆131Mar 9, 2023Updated 3 years ago
• EchoAlice / das-playground

  View on GitHub
  Where I create DAS Nodes that utilize a Secure Kademlia DHT Discv5 overlay
  ☆16May 5, 2023Updated 2 years ago
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• arnaucube / eth-kzg-ceremony-alt

  View on GitHub
  Alternative implementation of the contributor-client for the Ethereum KZG Trusted Setup Ceremony
  ☆15Jan 28, 2023Updated 3 years ago
• 0xPolygonZero / r1cs-workshop

  View on GitHub
  Notes for the R1CS programming workshop at ZK0x04
  ☆31Oct 26, 2019Updated 6 years ago
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆29Jun 12, 2024Updated last year
• sampritipanda / msm-webgpu

  View on GitHub
  ☆19Dec 19, 2023Updated 2 years ago
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• gtank / merlin

  View on GitHub
  dalek-compatible implementation of the merlin transcript protocol
  ☆28Feb 11, 2020Updated 6 years ago
• crate-crypto / CLSAG

  View on GitHub
  Compact linkable ring signatures. A modification on MLSAG.
  ☆19May 10, 2020Updated 5 years ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• ethresearch / Shuffle_SSLE

  View on GitHub
  ☆15Sep 28, 2020Updated 5 years ago