reverie
reverie copied to clipboard
trailofbits
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. Release notes Sourced from actions/checkout's releases. v4.0.0 What's Changed Update default runtime to node20 by @takost in actions/checkout#1436 Support fetching without the --progress option...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
This is an automated pull request. It adds a CODEOWNERS file to the repository
Updates the requirements on [built](https://github.com/lukaslueg/built) to permit the latest version. Changelog Sourced from built's changelog. [0.6.0] - 2023-02-09 Changed Identical re-release after yanking 0.5.3, due to semver failure [0.5.3] -...
We should aim to support compilation and use with a stable Rust release, to avoid encountering nightly bugs and depending on unstable APIs. Some items that need to be handled:...
We should pick one source of canonical "rand" traits, to avoid version hell.
The reverie repository itself currently has a single top-level `Cargo.toml` for the `reverie` library. The `companion` is tucked away in the `companion/` subdirectory, with its own `Cargo.toml`. We should restructure...
Metadata
Owner
Metadata
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.