Discreet: powerful eDSL for bitcoin contracts (PoC, in development), + oracles

[dk14]

Docs and tryout: https://dk14.github.io/mega-peers/docs/#/dsl

It is part of a larger initiative (truly decentralized oracles MVP, use PoW to certify facts): https://dk14.github.io/mega-peers/docs/front.html

Sources and donations: https://github.com/dk14/mega-peers/

----

The key feature, aside from being able to support any contract on BTC, is that this DSL does a type-check to prevent "perfect hedges", that result in funds unintentionally locked (for a duration) in contracts... for no reason. It removes illusion of profiting regardless of outcome - no free lunch.


-----

Related. I conceptually developed better use for PoW for fact certification. If you like Magic Peers and Discreet - feel free to check this concept out: https://www.upwork.com/services/product/development-it-yaqui-p2p-search-engine-standalone-web-2007000568819406128

-----

Disclaimer: I developed projects above initially for Cardano and Wolfram (as a short-term gig). I am not a fan of neither, so I figured better to continue them with Bitcoin community, since everything is open-source and neither Cardano nor Wolfram have resources/competence to lift it off. Plus, I convinced them to target BTC too (so everything is catered to BTC in there), since what they wanted wasn't really appropriate: their own services are low-quality and unreliable, politely speaking. They invest into ads much more than tech.

[BattleDog]

Interesting work, but I'd separate the useful engineering idea from the marketing gravity around it.

The useful part is the eDSL angle. Describing conditional payouts in TypeScript, enumerating outcomes, checking collateral sufficiency, and refusing obvious "perfect hedge" nonsense is a sane direction. A lot of contract systems let users lock stupid amounts of capital because the tool has no opinion. Having the tool say "no, this branch structure is economically redundant" is actually valuable. That is the kind of boring correctness feature people only appreciate after they've had funds parked in a contract doing absolutely nothing except aging like cheese.

Where I get more cautious is the oracle identity part. PoW can make Sybil identities more expensive, sure, but it does not magically make an oracle honest. It proves burned work, not truth. Reputation-after-the-fact helps only if the oracle cares about future business more than the one bad settlement in front of it. That is fine for some markets and useless for others. The old problem remains: if the external fact is dirty, late, ambiguous, censored, or intentionally lied about, your beautiful contract tree still eats garbage for breakfast.