ovmi 0.3.0

Optimstic virtual machine interperter
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

{
    "type": "CompiledPredicate",
    "name": "Ownership",
    "inputDefs": [
        "owner",
        "tx"
    ],
    "contracts": [
        {
            "type": "IntermediateCompiledPredicate",
            "originalPredicateName": "Ownership",
            "name": "OwnershipT",
            "connective": "ThereExistsSuchThat",
            "inputDefs": [
                "OwnershipT",
                "owner",
                "tx"
            ],
            "inputs": [
                "signatures,KEY,${tx}",
                "v0",
                {
                    "type": "AtomicProposition",
                    "predicate": {
                        "type": "AtomicPredicateCall",
                        "source": "IsValidSignature"
                    },
                    "inputs": [
                        {
                            "type": "NormalInput",
                            "inputIndex": 2,
                            "children": []
                        },
                        {
                            "type": "VariableInput",
                            "placeholder": "v0",
                            "children": []
                        },
                        {
                            "type": "NormalInput",
                            "inputIndex": 1,
                            "children": []
                        },
                        {
                            "type": "ConstantInput",
                            "name": "secp256k1"
                        }
                    ]
                }
            ],
            "propertyInputs": []
        }
    ],
    "entryPoint": "OwnershipT",
    "constants": [
        {
            "varType": "bytes",
            "name": "secp256k1"
        }
    ]
}