Day 4 Sophia 智能合约基础

• 学习 Sophia 语言基础语法
• 理解智能合约的基本结构
• 掌握合约编译流程
• 生成和解析 Calldata

from aeternity.compiler import CompilerClient

# 简单存储合约
simple_storage = '''
@compiler >= 6

contract SimpleStorage =

    record state = { value : int }

    entrypoint init(initial : int) = { value = initial }

    entrypoint get() : int = state.value

    stateful entrypoint set(new_value : int) =
        put(state{ value = new_value })

    stateful entrypoint add(amount : int) =
        put(state{ value = state.value + amount })
'''

# 编译合约
compiler = CompilerClient()

try:
    bytecode = compiler.compile(simple_storage)
    print("✅ 编译成功！")
    print(f"字节码长度: {len(bytecode)} 字符")
    print(f"字节码: {bytecode[:50]}...")
except Exception as e:
    print(f"❌ 编译失败: {e}")

from aeternity.compiler import CompilerClient
import json

compiler = CompilerClient()

# 合约源码
contract_source = '''
@compiler >= 6

contract Calculator =

    entrypoint add(a : int, b : int) : int = a + b
    
    entrypoint sub(a : int, b : int) : int = a - b
    
    entrypoint mul(a : int, b : int) : int = a * b
    
    entrypoint div(a : int, b : int) : int = a / b
'''

# 生成 ACI (Application Contract Interface)
aci = compiler.generate_aci(contract_source)

print("=== ACI (Application Contract Interface) ===\n")
print(json.dumps(aci, indent=2))

# 解析函数信息
print("\n=== 函数列表 ===")
contract_info = aci.get('contract', {})
for func in contract_info.get('functions', []):
    name = func.get('name')
    args = func.get('arguments', [])
    returns = func.get('returns')
    
    args_str = ", ".join([f"{a['name']}: {a['type']}" for a in args])
    print(f"  {name}({args_str}) -> {returns}")

from aeternity.compiler import CompilerClient

compiler = CompilerClient()

contract_source = '''
@compiler >= 6

contract Demo =
    entrypoint init(value : int) = value
    entrypoint greet(name : string) : string = 
        String.concat("Hello, ", name)
    entrypoint add(a : int, b : int) : int = a + b
'''

# 编译合约
bytecode = compiler.compile(contract_source)

print("=== 生成 Calldata ===\n")

# 1. init 函数的 calldata
init_calldata = compiler.encode_calldata(contract_source, "init", ["42"])
print(f"init(42):")
print(f"  Calldata: {init_calldata[:50]}...")

# 2. greet 函数的 calldata
greet_calldata = compiler.encode_calldata(contract_source, "greet", ['"World"'])
print(f"\ngreet(\"World\"):")
print(f"  Calldata: {greet_calldata[:50]}...")

# 3. add 函数的 calldata
add_calldata = compiler.encode_calldata(contract_source, "add", ["10", "20"])
print(f"\nadd(10, 20):")
print(f"  Calldata: {add_calldata[:50]}...")

# 参数格式说明
print("""
=== 参数格式说明 ===
- int: "42", "-1", "1000000"
- string: '"hello"' (需要引号)
- bool: "true", "false"
- address: '"ak_xxx..."'
- list: "[1, 2, 3]"
- tuple: "(1, \"hello\")"
- record: "{ name = \"test\", value = 42 }"
""")

@compiler >= 6

contract ControlFlow =

    // if-else 表达式
    entrypoint abs(x : int) : int =
        if(x >= 0) x else -x
    
    // 模式匹配
    entrypoint describe(n : int) : string =
        switch(n)
            0 => "zero"
            1 => "one"
            _ => "many"
    
    // Option 处理
    entrypoint safe_div(a : int, b : int) : option(int) =
        if(b == 0)
            None
        else
            Some(a / b)
    
    // 列表操作
    entrypoint sum(xs : list(int)) : int =
        List.sum(xs)
    
    entrypoint double_all(xs : list(int)) : list(int) =
        List.map((x) => x * 2, xs)
    
    entrypoint filter_positive(xs : list(int)) : list(int) =
        List.filter((x) => x > 0, xs)
    
    // 递归
    entrypoint factorial(n : int) : int =
        if(n <= 1) 1
        else n * factorial(n - 1)