Overview

Copy

• Copy for LLM

  Copy page as Markdown for LLMs
• View as Markdown

  Open this page as Markdown
• Open in ChatGPT

  Get insights from ChatGPT
• Open in Claude

  Get insights from Claude
• Connect to Cursor

  Install MCP server on Cursor
• Connect to VS Code

  Install MCP server on VS Code

Blocky AS enables secure and verifiable execution of WebAssembly (WASM) functions. While there exist many tools for compiling your preferred language (e.g., Go, Rust, C/C++, Python, JavaScript) down to WASM, our compilation tool does so in a way that is reproducible. Meaning, the same source code will always produce the same WASM binary. Reproducibility is essential for the TEE attestation and verification process. Without reproducible builds, we cannot definitively prove that the application running on a TEE was built with our source code.

Compile a WASM Function

Follow the steps below to reproducibly compile a Go program with the Blocky Compiler.

1. Clone the Blocky AS examples repository and navigate to the attest_fn_call directory:

   git clone --branch main git@github.com:blocky/attestation-service-examples.git
   cd attestation-service-examples/attest_fn_call

2. Here we have a simple Go program, main.go, that contains a helloWorld function:

   //export helloWorld
   func helloWorld(inputPtr uint64, secretPtr uint64) uint64 {
   	msg := "Hello, World!"
   
   	return basm.WriteToHost([]byte(msg))
   }

3. Compile main.go to WASM:

   bky-c build --reproducible . ./main.wasm

4. Take a "measurement" (i.e., a hash) of the WASM binary:

   openssl dgst -sha3-512 ./main.wasm

   which outputs
   SHA3-512(./main.wasm)= 9f644e9815fd94b44a0376718563353376b99feafd8fafe8ba1f59e746e073ea16388afb9be633566158dc62bc472ab8eaa39e44d4e0702797be34bc04f61fec

5. Repeat steps 3 and 4, and you should get the same hash value. This indicates that our wasm binary is bit-for-bit the same across compilations.

Next Steps

You have now successfully compiled a Go program to WASM. Continue on to the next section where we demonstrate how to run your program with the Blocky AS CLI tool.