Balzac
1 program
Added 2026-02-13T11:04:00Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 0e1c761a98 · authored 2026-02-13T12:04:48+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Simple Bitcoin Transaction
Provenance: commit 0e1c761a98 · authored 2026-02-13T12:04:48+01:00 · agent claude-code · model sonnet · WebSearch disabled
// Simple Balzac transaction
transaction T {
input = _
output = 1 BTC: fun(x) . versig(k; x)
}
const k = key:cSthBXr8YQAexpKeh22LB9PdextVE1UJeahmyns5LzcmMDSy59L4
// Redeem transaction
transaction T1 {
input = T : sig(k)
output = 1 BTC: fun(x) . x == 42
}