Assertion DA Service

Home · Generic Index · Chain Overlays

This document describes the Assertion DA service in credible-sdk/crates/assertion-da and how it serves assertion bytecode and source.

Service Architecture

Notes:

• The API is JSON-RPC and enforces a 10MB request body limit.
• da_submit_solidity_assertion compiles source in a Dockerized solc container before storing bytecode.
• da_submit_assertion (raw bytecode upload) is only available when the debug_assertions feature is enabled.
• Assertions are signed by the DA private key before being stored.
• The database backend can be Sled or Redis based on configuration.

Solidity Submission Flow

Assertion Fetch Flow

Key code paths:

• JSON-RPC methods: credible-sdk/crates/assertion-da/da-server/src/api/mod.rs
• Request processing: credible-sdk/crates/assertion-da/da-server/src/api/process_request.rs
• Solidity compilation: credible-sdk/crates/assertion-da/da-server/src/api/source_compilation.rs
• DB listener: credible-sdk/crates/assertion-da/da-server/src/api/db.rs