BuilderGraph

Repository · dormant

trailofbits/reverie

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

RustAGPL-3.0General
GitHubWebsite

Subscriber view

Unlock the full view of trailofbits/reverie

  • Full repository, commit, and contributor breakdown
  • Peer graph and ecosystem links
  • Weekly trend deltas and pulse signal
  • API and CSV / JSON exports
SubscribeSign in

Already a subscriber? Sign in with the same email used at checkout.