Pinned Repositories
go-nitro-enclave-attestation-document
Golang module for decoding and verifying AWS Nitro enclave attestation documents
icecap
Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap
nitro-enclave-attestation-document
Handler for AWS Nitro Enclave Attestation Documents
rust-optee-trustzone-sdk
Fork of https://github.com/mesalock-linux/rust-optee-trustzone-sdk for the Veracruz project.
rust-protobuf
Fork of https://github.com/mesalock-linux/rust-protobuf-sgx for the Veracruz project.
supervisionary
The Supervisionary proof-checking kernel for higher-order logic
veracruz
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
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-examples
A repository of larger example Veracruz computations
wasmtime
Fork of https://github.com/bytecodealliance/wasmtime for the Veracruz project.
veracruz-project's Repositories
veracruz-project/supervisionary
The Supervisionary proof-checking kernel for higher-order logic
veracruz-project/rust-optee-trustzone-sdk
Fork of https://github.com/mesalock-linux/rust-optee-trustzone-sdk for the Veracruz project.
veracruz-project/rust-protobuf
Fork of https://github.com/mesalock-linux/rust-protobuf-sgx for the Veracruz project.
veracruz-project/t_cose
Fork of https://github.com/laurencelundblade/t_cose.git for the Veracruz project.
veracruz-project/wasmtime
Fork of https://github.com/bytecodealliance/wasmtime for the Veracruz project.
veracruz-project/atty
Fork of https://github.com/softprops/atty.git for the Veracruz project.
veracruz-project/bincode
Fork of https://github.com/mesalock-linux/bincode-sgx/ for the Veracruz project.
veracruz-project/dirs
a low-level library that provides config/cache/data paths, following the respective conventions on Linux, macOS and Windows
veracruz-project/erased-serde
Fork of https://github.com/mesalock-linux/erased-serde-sgx.git for the Veracruz project.
veracruz-project/getrandom
Fork of https://github.com/rust-random/getrandom for the Veracruz project.
veracruz-project/icecap-rust
Veracruz branches of https://gitlab.com/arm-research/security/icecap/rust
veracruz-project/incubator-teaclave-sgx-sdk
Fork of https://github.com/apache/incubator-teaclave-sgx-sdk for the Veracruz project.
veracruz-project/indexmap
Fork of https://github.com/mesalock-linux/indexmap-sgx/ for the Veracruz project.
veracruz-project/json
Fork of https://github.com/mesalock-linux/serde-json-sgx/ for the Veracruz project.
veracruz-project/libc
Fork of https://github.com/mesalock-linux/libc.git for the Veracruz project.
veracruz-project/num-integer
Fork of https://github.com/mesalock-linux/num-integer-sgx.git for the Veracruz project.
veracruz-project/num-rational
Fork of https://github.com/mesalock-linux/num-rational-sgx for the Veracruz project.
veracruz-project/openh264-dec
veracruz-project/parity-wasm
Fork of https://github.com/mesalock-linux/parity-wasm-sgx.git for the Veracruz project.
veracruz-project/pinecone
Minimalistic serde format supporting no_std + alloc
veracruz-project/QCBOR
Fork of https://github.com/laurencelundblade/QCBOR for the Veracruz project.
veracruz-project/region-rs
Fork of https://github.com/darfink/region-rs for the Veracruz project.
veracruz-project/ring
Fork of https://github.com/mesalock-linux/ring-sgx for the Veracruz project.
veracruz-project/rust-errno
Fork of https://github.com/lambda-fairy/rust-errno for the Veracruz project.
veracruz-project/rustls
Fork of https://github.com/ctz/rustls for the Veracruz project.
veracruz-project/secret-u
veracruz-project/serde
Fork of https://github.com/mesalock-linux/serde-sgx for the Veracruz project.
veracruz-project/veracruz-vfs-bench
Benchmarking Veracruz's VFS, work in progress
veracruz-project/wasi-types
Rust FFI wrapper for WASI
veracruz-project/webpki
Fork of https://github.com/mesalock-linux/webpki for the Veracruz project.