Copy English

Why

A hands-on way to actually learn Simplicity rather than just read about it.

How it works

Blockstream's first Simplicity CTF — solve it to unlock 0.01 LBTC (~$600) locked in a contract.

Related code

"""Simplicity CTF: a toy combinator evaluator in Simplicity's spirit --
small pure functions composed (not a stack of imperative statements) to
check an unlock condition, mirroring the CTF's "unlock the locked LBTC" goal.
"""

# Combinators: each takes an "environment" (witness bytes) and returns a value.
def unit(_env):
    return ()

def iden(env):
    return env

def comp(f, g):
    """Sequential composition: g after f."""
    return lambda env: g(f(env))

def pair(f, g):
    """Parallel composition: run f and g on the same input, pair results."""
    return lambda env: (f(env), g(env))

def case(f, g):
    """Branch on a boolean-tagged input: (True, x) -> f(x), (False, x) -> g(x)."""
    def run(env):
        tag, value = env
        return f(value) if tag else g(value)
    return run


# Build an unlock condition purely by combinator composition, Simplicity-style:
# witness = (has_preimage, preimage_bytes)
SECRET_HASH = hash("liquid-bitcoin-secret") & 0xFFFF

def check_preimage(preimage):
    return (hash(preimage) & 0xFFFF) == SECRET_HASH

def reject(_env):
    return False

unlock_program = case(
    f=lambda preimage: check_preimage(preimage),  # tag=True branch: verify preimage
    g=reject,                                       # tag=False branch: always fail
)

for label, witness in [
    ("correct preimage", (True, "liquid-bitcoin-secret")),
    ("wrong preimage", (True, "guess")),
    ("no preimage supplied", (False, None)),
]:
    unlocked = unlock_program(witness)
    print(f"{label}: witness={witness} -> unlocked={unlocked}")

docs/code/pocs/simplicity-ctf.py

Where it lands in Jayverse

• Dark Horse: solve the CTF to check whether the Bitcoin/Liquid skill gap is worth closing. Simplicity only matters if a Dark Horse idea touches Bitcoin/Liquid directly; the CTF is the cheap way to test that before scoping such an idea further.
• Devnet: no devnet action. Simplicity targets Bitcoin/Liquid, a separate chain family from Jayverse's Anvil/Sepolia/OP-Stack line, so this stays a personal-learning PoC, not a service integration.

← All Knowledge Notes · Workspace Index · Top ↑

Copy 한국어

Simplicity CTF 나중에 도전

Blockstream의 첫 Simplicity CTF — 컨트랙트에 잠긴 0.01 LBTC(~$600) 해제하면 보상. Simplicity(비트코인/Liquid용 신 스마트컨트랙트 언어) 실전 학습 기회.

아직 범위 미정 — 시간 날 때 도전. github.com/Arvolear/simplicity-ctf (7/7 추가)

왜

Simplicity 실전 학습 기회 — 시간 날 때 도전.

동작 방식

Blockstream의 첫 Simplicity CTF — 컨트랙트에 잠긴 0.01 LBTC(~$600) 해제하면 보상.

관련 코드

"""Simplicity CTF: a toy combinator evaluator in Simplicity's spirit --
small pure functions composed (not a stack of imperative statements) to
check an unlock condition, mirroring the CTF's "unlock the locked LBTC" goal.
"""

# Combinators: each takes an "environment" (witness bytes) and returns a value.
def unit(_env):
    return ()

def iden(env):
    return env

def comp(f, g):
    """Sequential composition: g after f."""
    return lambda env: g(f(env))

def pair(f, g):
    """Parallel composition: run f and g on the same input, pair results."""
    return lambda env: (f(env), g(env))

def case(f, g):
    """Branch on a boolean-tagged input: (True, x) -> f(x), (False, x) -> g(x)."""
    def run(env):
        tag, value = env
        return f(value) if tag else g(value)
    return run


# Build an unlock condition purely by combinator composition, Simplicity-style:
# witness = (has_preimage, preimage_bytes)
SECRET_HASH = hash("liquid-bitcoin-secret") & 0xFFFF

def check_preimage(preimage):
    return (hash(preimage) & 0xFFFF) == SECRET_HASH

def reject(_env):
    return False

unlock_program = case(
    f=lambda preimage: check_preimage(preimage),  # tag=True branch: verify preimage
    g=reject,                                       # tag=False branch: always fail
)

for label, witness in [
    ("correct preimage", (True, "liquid-bitcoin-secret")),
    ("wrong preimage", (True, "guess")),
    ("no preimage supplied", (False, None)),
]:
    unlocked = unlock_program(witness)
    print(f"{label}: witness={witness} -> unlocked={unlocked}")

docs/code/pocs/simplicity-ctf.py

Jayverse에서의 위치

• Dark Horse: CTF를 풀어서 Bitcoin/Liquid 스킬 갭을 메울 가치가 있는지 확인한다. Simplicity는 Dark Horse 아이디어가 Bitcoin/Liquid를 직접 다룰 때만 의미가 있으므로, 그런 아이디어를 더 구체화하기 전에 CTF로 저렴하게 검증한다.
• Devnet: devnet에는 조치 없음. Simplicity는 Jayverse의 Anvil/Sepolia/OP-Stack 라인과는 별개의 체인군인 Bitcoin/Liquid를 대상으로 하므로, 이는 서비스 통합이 아니라 개인 학습 PoC로 남는다.

← 전체 기술 노트 · 워크스페이스 인덱스 · 맨 위 ↑