Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
-
Updated
Sep 20, 2022 - Dockerfile
#
veracruz
Here are 4 public repositories matching this topic...
The Supervisionary proof-checking kernel for higher-order logic
theorem-proving
webassembly
proof-assistant
formal-methods
formal-verification
higher-order-logic
theorem-prover
privacy-enhancing-technologies
lcf-style
confidential-computing
veracruz
-
Updated
May 11, 2022 - Rust
A repository of larger example Veracruz computations
privacy-enhancing-technologies
sel4
intel-sgx
arm-trustzone
confidential-computing
nitro-enclaves
veracruz
-
Updated
May 1, 2023 - Python
The Veracruz project homepage. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
-
Updated
Nov 25, 2022
Improve this page
Add a description, image, and links to the veracruz topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the veracruz topic, visit your repo's landing page and select "manage topics."