reverie

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

Reverie Alternatives

Similar projects and alternatives to reverie

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better reverie alternative or higher similarity.

reverie reviews and mentions

Posts with mentions or reviews of reverie. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-02-07.
  • Some mistakes Rust doesn't catch
    2 projects | news.ycombinator.com | 7 Feb 2022
    > fn add() { ... }: mispleading name or incorrect implementation `a - b`

    Advice like this is frustratingly non-general: you might be doing addition over GF2[1] in which case `fn add(a, b) { a ^ b }` is a perfectly sound. I've worked on a codebase, in Rust, where that's the case[2]!

    [1]: https://en.wikipedia.org/wiki/Finite_field_arithmetic#Effect...

    [2]: https://github.com/trailofbits/reverie/blob/master/src/algeb...

Stats

Basic reverie repo stats
1
57
0.0
8 months ago

trailofbits/reverie is an open source project licensed under GNU Affero General Public License v3.0 which is an OSI approved license.

The primary programming language of reverie is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com