sv_circuit

SIEVE circuit compositor.

Dependencies

sv_circuit is built using nix. It is recommended to use the Determinate Systems installer:

$ curl --proto '=https' --tlsv1.2 -sSf -L https://install.determinate.systems/nix | sh -s -- install

Running

Running without installing,

$ nix run github:trailofbits/sv_circuit

Building

$ nix build

Development Environment

To enter a shell with all dependencies,

$ nix develop

Phases are defined as Cargo hooks. Running a build phase manually,

$ cargoBuildHook
$ cargoCheckHook

However standard cargo commands apply, for compiling a release build and testing:

$ cargo build --release
$ cargo test

Distribution and Licensing

This research was developed with funding from the Defense Advanced Research Projects Agency (DARPA) under Agreement No. HR001120C0084.

The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.

DISTRIBUTION STATEMENT A: Approved for public release, distribution unlimited.

sv_circuit is licensed under the GNU AGPLv3 License. A copy of the terms can be found in the LICENSE file.