Skip to content

Commit

Permalink
Merge ae65eac into f40b152
Browse files Browse the repository at this point in the history
  • Loading branch information
@itamarreif
itamarreif committed Jan 27, 2021
2 parents f40b152 + ae65eac commit 275d973
Show file tree
Hide file tree
Showing 12 changed files with 906 additions and 0 deletions.
1 change: 1 addition & 0 deletions test/chain/tezos/lexer/samples/p008-bls12-381/bls12-381.hex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0000025a0200000255050107650765066303590000000c25636865636b526573756c7404820000000325667207650480000000032567310765048100000003256732066303820000000a256d756c526573756c7405000764076408650482000000032566720765048000000003256731048100000003256732000000042561646408650382038200000004256d756c0764046c00000007256e65676174650764065f0765038003810000000e2570616972696e675f636865636b046c0000000625746f496e740502020000019103210317034c0316072e02000000b4072e0200000078034c03210316034c031703210317034c0316057000030321057100040317031603120342034c034203210316034c031703210316034c031703210317034c0316057000040321057100050317031703120342034c0342034c034203210317034c031603210316034c03170570000303160312034c034203420200000030034c03210316034c031703210316034c031703160570000303210317034c0316033a0346034c0342034c0342034c034202000000c3072e020000001e0320032103210316034c031703170570000203170316033b0342034c03420200000099072e0200000018034c03210317034c0316031705700002037f0346034203420200000075032003210316031703300743035b008080808080808080808080808080808080808080808080808080808080aebfbbd5fc95da0903190325072c020000000002000000310743036801000000264661696c656420746f2063617374206669656c6420656c656d656e7420467220746f20496e740327053d036d0342
227 changes: 227 additions & 0 deletions test/chain/tezos/lexer/samples/p008-bls12-381/bls12-381.micheline
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,227 @@
[
{
"prim": "storage",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "pair", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ], "annots": [ "%checkResult" ] }, { "prim": "bls12_381_fr", "annots": [ "%fr" ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "bls12_381_g1", "annots": [ "%g1" ] },
{
"prim": "pair",
"args": [ { "prim": "bls12_381_g2", "annots": [ "%g2" ] }, { "prim": "option", "args": [ { "prim": "bls12_381_fr" } ], "annots": [ "%mulResult" ] } ]
}
]
}
]
}
]
},
{
"prim": "parameter",
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "bls12_381_fr", "annots": [ "%fr" ] },
{ "prim": "pair", "args": [ { "prim": "bls12_381_g1", "annots": [ "%g1" ] }, { "prim": "bls12_381_g2", "annots": [ "%g2" ] } ] }
],
"annots": [ "%add" ]
},
{ "prim": "pair", "args": [ { "prim": "bls12_381_fr" }, { "prim": "bls12_381_fr" } ], "annots": [ "%mul" ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%negate" ] },
{
"prim": "or",
"args": [
{ "prim": "list", "args": [ { "prim": "pair", "args": [ { "prim": "bls12_381_g1" }, { "prim": "bls12_381_g2" } ] } ], "annots": [ "%pairing_check" ] },
{ "prim": "unit", "annots": [ "%toInt" ] }
]
}
]
}
]
}
]
},
{
"prim": "code",
"args": [
[
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{
"prim": "IF_LEFT",
"args": [
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "CDR" },
{ "prim": "ADD" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "MUL" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
]
]
}
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "NEG" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIRING_CHECK" },
{ "prim": "SOME" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "INT" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "35115637951021136697019058358166656987035571271296265805438287419849817743725" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Failed to cast field element Fr to Int" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
}
]
Loading

0 comments on commit 275d973

Please sign in to comment.