https://github.com/automata-network/dcap-rs
https://github.com/automata-network/dcap-rs
Last synced: 19 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/automata-network/dcap-rs
- Owner: automata-network
- License: apache-2.0
- Created: 2024-01-06T13:42:33.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-04-25T07:56:26.000Z (25 days ago)
- Last Synced: 2025-04-25T08:39:57.721Z (25 days ago)
- Language: Rust
- Size: 279 KB
- Stars: 18
- Watchers: 5
- Forks: 4
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Automata DCAP Rust Library
[](https://github.com/automata-network)
Intel Data Center Attestation Primitives Quote Verification Library (DCAP QVL) implemented in pure Rust.
This library can be integrated into zkVM programs that provide users the ability to attest DCAP quotes directly on-chain, by publishing and verifying ZK SNARK proofs in the [AutomataDCAPAttestation](https://github.com/automata-network/automata-dcap-attestation) contract.
This library supports verification of the following quotes:
- V3 SGX Quotes
- V4 TDX and SGX Quotes
## Usage
To use dcap-rs, add the following to `Cargo.toml`:
```
[dependencies]
dcap-rs = { git = "https://github.com/automata-network/dcap-rs.git" }
```
### zkVM Patches
zkVM programs provide patches, which are simply modified Rust crates that can help reducing execution cycle costs in the VM.
We have tested `dcap-rs` with both RiscZero and SP1 zkVMs, and we would happily work with more zkVMs in the future.
Read the section(s) below to learn about how patches can be applied towards corresponding zkVM programs.
#### RiscZero Accelerators
Patches applied:
- `crypto-bigint`
- `sha2`
- Our attempt at accelerating [`p256`](https://github.com/automata-network/RustCrypto-elliptic-curves/tree/risczero/p256).
Make sure to include the following patches into your Guest's `cargo.toml`.
```
[patch.crates-io]
sha2 = { git = "https://github.com/risc0/RustCrypto-hashes", tag = "sha2-v0.10.6-risczero.0" }
crypto-bigint = { git = "https://github.com/risc0/RustCrypto-crypto-bigint", tag = "v0.5.2-risczero.0" }
p256 = { git = "https://github.com/automata-network/RustCrypto-elliptic-curves.git" }
```
Click [here](https://dev.risczero.com/api/zkvm/acceleration) to learn more about RiscZero accelerators.
#### SP1 Precompiles
Patches applied:
- `crypto-bigint`
- `sha2`
Make sure to include the following patches into your workspace `cargo.toml`.
```
[patch.crates-io]
sha2 = { git = "https://github.com/sp1-patches/RustCrypto-hashes", branch = "patch-sha2-v0.10.8" }
crypto-bigint = { git = "https://github.com/sp1-patches/RustCrypto-bigint", branch = "patch-v0.5.5" }
```
Click [here](https://docs.succinct.xyz/writing-programs/precompiles.html) to learn more about SP1 Precompiles.
---
## Contributing
**Before You Contribute**:
* **Raise an Issue**: If you find a bug or wish to suggest a feature, please open an issue first to discuss it. Detail the bug or feature so we understand your intention.
* **Pull Requests (PR)**: Before submitting a PR, ensure:
* Your contribution successfully builds.
* It includes tests, if applicable.
## License
Apache License