veracruz
There are 4 repositories under veracruz topic.
veracruz-project/veracruz-docker-image
Development Docker image for the Veracruz privacy-preserving compute project. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).
veracruz-project/supervisionary
The Supervisionary proof-checking kernel for higher-order logic
veracruz-project/veracruz-examples
A repository of larger example Veracruz computations
veracruz-project/veracruz-project.github.io
The Veracruz project homepage. Veracruz is an adopted project of the Confidential Compute Consortium (CCC).