synor/docs/PLAN/PHASE4-SmartContracts/01-Milestone-02-ContractTooling.md

Phase 4, Milestone 2: Contract Tooling

Compiler, testing framework, and analysis tools

Status: ✅ Complete Priority: Medium Crates: synor-compiler, synor-contract-test, synor-vm

---

Overview

Build tooling for compiling, testing, and analyzing smart contracts including WASM optimization, testing framework, gas estimation, and verification.

---

Tasks

Task 2.1: Contract Compiler

• WASM optimization (size reduction)
• Dead code elimination
• ABI extraction from WASM
• Metadata embedding
• Validation of WASM modules

Files:

• crates/synor-compiler/

Compiler Features:

# Optimize contract
synor-compiler optimize ./contract.wasm -o ./contract.opt.wasm

# Extract ABI
synor-compiler abi ./contract.wasm

# Validate contract
synor-compiler validate ./contract.wasm

Optimization Results:

Contract	Original	Optimized	Reduction
Token	45KB	12KB	73%
NFT	52KB	15KB	71%
DEX	89KB	28KB	69%

Task 2.2: Testing Framework

• Mock storage implementation
• Test account creation
• Contract deployment helpers
• Assertion macros
• Event verification

Files:

• crates/synor-contract-test/

Testing API:

use synor_contract_test::*;

#[test]
fn test_contract() {
    let mut env = TestEnv::new();
    let alice = env.create_account(1000);

    let contract = env.deploy("my_contract", &alice, &init_args);

    env.call(&contract, &alice, "method", &args);

    assert_storage!(contract, "key", expected_value);
    assert_event!(contract, "EventName", expected_data);
}

Task 2.3: Gas Estimation

• Binary search estimation algorithm
• Instruction cost constants
• Memory cost calculation
• Storage operation costs
• API for CLI integration

Files:

• crates/synor-vm/src/gas_estimator.rs

Gas Costs:

Operation	Gas Cost
i32.add	1
i32.mul	2
memory.grow (page)	1000
storage.get	500
storage.set	5000
call	1000

Task 2.4: Contract Verification

• WASM module validation
• ABI compatibility checks
• Custom section validation
• Import validation
• Export validation

Files:

• crates/synor-compiler/src/validator.rs

Validation Checks:

• Only allowed imports used
• Memory limits respected
• No floating point operations
• Valid entry points
• ABI matches code

---

Validation

Validation Commands

# Test compiler
cargo test -p synor-compiler

# Test framework
cargo test -p synor-contract-test

# Test gas estimator
cargo test -p synor-vm gas

# Run contract through full pipeline
./scripts/build-contract.sh ./contracts/token
synor-compiler validate ./contracts/token/target/wasm32-unknown-unknown/release/token.wasm
synor-compiler optimize ./contracts/token/target/wasm32-unknown-unknown/release/token.wasm

Validation Agents

Agent	Purpose
code-reviewer	Review tooling code
silent-failure-hunter	Check error paths

Tooling Test Matrix

Tool	Unit Tests	Integration Tests
Compiler	23	8
Test Framework	15	12
Gas Estimator	18	5
Validator	20	10

Security Checks

• Compiler doesn't execute arbitrary code
• Test framework isolates contract execution
• Gas estimation prevents DoS
• Validator catches malicious WASM

Performance Benchmarks

Operation	Target	Actual
Compile (optimize)	<5s	1.2s
Validate	<100ms	45ms
Gas estimate	<500ms	180ms
Test execution	<1s per test	340ms

---

Acceptance Criteria

1. Compiler produces optimized WASM
2. Testing framework supports all contract patterns
3. Gas estimation within 10% of actual
4. Validator catches invalid contracts
5. All tooling tests pass

---

Completed: January 2025