SIEVE circuit compositor.
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 without installing,
$ nix run github:trailofbits/sv_circuit
$ nix build
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
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.
_svcircuit is licensed under the GNU AGPLv3 License. A copy of the terms can be found in the LICENSE file.