Skip to content

Commit

Permalink
updated README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
preston4896 committed Nov 8, 2024
1 parent a29cdba commit b206352
Showing 1 changed file with 14 additions and 7 deletions.
21 changes: 14 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,15 +19,15 @@ Automata DCAP Attestation consists of three parts:

- Quote Verifier(s): This contract provides the full implementation on verifying a given quote specific to its version. This contract is intended to be called only from the Automata DCAP Attestation contract.

## On-Chain vs RiscZero Attestations
## On-Chain vs SNARK Attestations

Automata DCAP Attestation contract implements two attestation methods available to users. Here is a quick comparison:

| | On-Chain | SNARK Proof with RiscZero |
| --- | --- | --- |
| Quote Verification Time | Instant | Proving takes 2 - 5 minutes, instant verification |
| Gas Cost | ~4M gas | 300k gas |
| Execution | Runs fully on-chain | The execution runs in a Guest program on Bonsai, which is then issued with a [Receipt](https://dev.risczero.com/api/zkvm/receipts). Verifiers should make sure the Receipt contains the expected Image ID, which can be generated directly from the Guest source code. After a successful execution of the Guest program, the proof is sent on-chain to be verified. |
| | On-Chain | Groth16 Proof Verification with RiscZero | Groth16 Proof Verification with SP1 V3 | Plonk Proof Verification with SP1 V3|
| --- | --- | --- | --- | --- |
| Quote Verification Time | Instant | Proving takes 2 - 5 minutes, instant verification | Proving takes <2 minutes, instant verification | Proving takes <2 minutes, instant verification |
| Gas Cost | ~4M gas | 267k gas | 234k gas | 310k gas |
| Execution | Runs fully on-chain | Execution runs and is proven by remote prover Bonsai | Execution runs and is proven by the SP1 Network | Execution runs and is proven by the SP1 Network |

## Integration

Expand Down Expand Up @@ -161,7 +161,14 @@ forge script AttestationScript --rpc-url $RPC_URL --broadcast -vvvv --sig "confi

#### Deployment Information

The ImageID currently used for the DCAP RiscZero Guest Program is `4052beb38db7869b15596d53c2d5c02c9307faffca9215e69b0f0d0e1812a6c2`.
The [ImageID](https://dev.risczero.com/terminology#image-id) currently used for the DCAP RiscZero Guest Program is `4052beb38db7869b15596d53c2d5c02c9307faffca9215e69b0f0d0e1812a6c2`.

The [VKEY](https://docs.succinct.xyz/verification/onchain/solidity-sdk.html?#finding-your-program-vkey) currently used for the DCAP SP1 Program is
`0016d421d8599b43498eee7c30e6eca5e7aa05c02e38e5bf392937c98736fda6`.

> ℹ️ **Note**:
>
> The current deployment are based on the un-audited [v0](https://github.com/automata-network/automata-dcap-attestation/tree/v0) branch. We are currently getting our contracts audited, and will be re-deploying production-ready contracts then.
##### Testnet

Expand Down

0 comments on commit b206352

Please sign in to comment.