Releases: google-research/raksha
v0.1.2-Linux
This release exists only for building a prototype for oak/transparent-release.
The attached binary was built with #593.
The build was done with RUSTFLAGS
set as follows to statically link the C libraries:
RUSTFLAGS="-C target-feature=+crt-static" cargo build --target x86_64-unknown-linux-gnu
v0.1.1-Linux
This release exists only for building a prototype for oak/transparent-release.
The attached binary was built with #447. By contrast to v0.1-Linux
it includes features for numeric comparisons, inputs from multiple sources, type declarations, and automatic generation of universe relations.
The build was done with RUSTFLAGS
set as follows to statically link the C libraries:
RUSTFLAGS="-C target-feature=+crt-static" cargo build --target x86_64-unknown-linux-gnu
Authorization Logic Binary (Linux)
This release exists only for building a prototype for oak/transparent-release.
The attached binary was built with #447
The build was done with RUSTFLAGS
set as follows to statically link the C libraries:
RUSTFLAGS="-C target-feature=+crt-static" cargo build --target x86_64-unknown-linux-gnu
Authorization Logic Binary (MacOS)
This release exists only for building a prototype for oak/transparent-release.
The attached binary was built with #447