BitML
1 program
Added 2026-03-13T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Bitcoin Modeling Language
Provenance: commit d466bbd8bb · authored 2026-03-13T06:17:04+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
Timed Commitment
Provenance: commit d466bbd8bb · authored 2026-03-13T06:17:04+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
#lang bitml
(participant "A" "029c5f6f5ef0095f547799cb7861488b9f4282140d59a6289fbc90c70209c1caf")
(participant "B" "022c3afb0b654d3c2b0e2ffdcf941eaf9b6c2f6fcf14672f5a1e7174f169c30fe")
(contract
(pre (deposit "A" 1 "txid:0:0")
(secret "A" a "ca978112ca1bbdcafac231b39a23dc4da786eff8147c4e72b9807785afee48bb"))
(choice
(reveal (a)
(pred (= a "a"))
(withdraw "A"))
(after 42
(withdraw "B"))))