Hoskinson Introduces Moriarty for Midnight DeFi

Charles Hoskinson don reveal the first correct test result for Moriarty, one programming language wey im dey build for Midnight DeFi. One loan contract reach Midnight zero knowledge intermediate representation and dem validate im transaction for the Preview network, even as the language still dey under development.

Moriarty Defines Instructions for Midnight DeFi

Hoskinson describe Moriarty as one Turing-incomplete intent language for the DeFi kernel wey Midnight dey plan. Dem design am to express wetin one financial transaction suppose achieve and the conditions wey e must satisfy.

Dem limit the design on purpose to reduce the kind behavior wey program fit get, and formal semantics dey specify how each instruction go run. Hoskinson dey study common components behind lending, swaps, perpetual contracts and synthetic products, but im no present them as features wey don complete for Moriarty.

Midnight dey use NIGHT as im native network asset. Moriarty go dey for the application layer, where developers fit later define operations wey involve NIGHT and other supported assets. Dem never announce any production application wey dey use the language.

Loan Contract Validates on Midnight Preview

Hoskinson talk say the Moriarty repository get pass 596 commits when im present the project. The clearest development milestone na one loan contract wey dem compile go zkIR, the intermediate representation wey Midnight dey use for zero knowledge execution process.

“I was able to actually get the transaction to validate on the Midnight preview,” im talk.

Preview na development network, and Hoskinson talk clear say Moriarty never finish. Im estimate another two to four weeks of work before im hand am give Lucas and other team members, and im no announce any production launch schedule for Moriarty or any NIGHT DeFi product.

Correctness Proofs Target DeFi Contract Risk

Hoskinson talk say the plan for Moriarty na to attach proof of program correctness to one transaction. The proof go show say the program wey person submit follow the rules wey the language express before dem accept the transaction.

“You have a proof of the correctness of the program going with the transaction,” im talk.

Im connect that design to under-constrained circuits, where zero knowledge circuit no dey enforce every intended condition. If constraints miss, e fit allow invalid result pass the remaining checks and put funds wey contract dey control for risk.

The Preview test don confirm the compilation and validation path wey Hoskinson describe. Im next step wey im talk na team handover, to move Moriarty from personal prototype go infrastructure wey Midnight DeFi developers fit evaluate and extend.