BlockValue(ArraySeq(ValDef(1,ArraySeq(),Upcast(OptionGet(GetVar(0,Option[SByte$])),SInt$)), ValDef(2,ArraySeq(),Divide(ValUse(1,SInt$), ConstantPlaceholder(0,SInt$))), ValDef(3,ArraySeq(),ByIndex(Outputs$(165),Modulo(ValUse(1,SInt$), ConstantPlaceholder(1,SInt$)),None)), ValDef(4,ArraySeq(),MethodCall(ValUse(3,SBox),SMethod(SBoxMethods,tokens,(SBox) => Coll[(Coll[SByte$],SLong$)],8,FixedCost(JitCost(15)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Secondary tokens,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())), ValDef(5,ArraySeq(),MethodCall(Self$(167),SMethod(SBoxMethods,tokens,(SBox) => Coll[(Coll[SByte$],SLong$)],8,FixedCost(JitCost(15)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Secondary tokens,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())), ValDef(6,ArraySeq(),ByIndex(ValUse(5,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(2,SInt$),None)), ValDef(7,ArraySeq(),BinAnd(BinAnd(EQ(SizeOf(ValUse(4,Coll[(Coll[SByte$],SLong$)])),ConstantPlaceholder(3,SInt$)),EQ(SelectField(ByIndex(ValUse(4,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(4,SInt$),None),1),SelectField(ByIndex(ValUse(5,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(5,SInt$),None),1))),EQ(SelectField(ByIndex(ValUse(4,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(6,SInt$),None),1),SelectField(ValUse(6,(Coll[SByte$],SLong$)),1)))), ValDef(8,ArraySeq(),OptionGet(ExtractRegisterAs(Self$(167),R4,Option[SGroupElement]))), ValDef(9,ArraySeq(),BinAnd(BinAnd(EQ(ExtractScriptBytes(ValUse(3,SBox)),ExtractScriptBytes(Self$(167))),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R4,Option[SGroupElement])),ValUse(8,SGroupElement))),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R6,Option[Coll[SByte$]])),OptionGet(ExtractRegisterAs(Self$(167),R6,Option[Coll[SByte$]]))))), ValDef(10,ArraySeq(),SelectField(ValUse(6,(Coll[SByte$],SLong$)),2)), ValDef(11,ArraySeq(),OptionGetOrElse(ExtractRegisterAs(Self$(167),R7,Option[SLong$]),ConstantPlaceholder(7,SLong$)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(8,SInt$)),BlockValue(ArraySeq(ValDef(12,ArraySeq(),ByIndex(MethodCall(Context$(254),SMethod(SContextMethods,dataInputs,(SContext) => Coll[SBox],1,FixedCost(JitCost(15)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map()),ConstantPlaceholder(9,SInt$),None)), ValDef(13,ArraySeq(),MethodCall(ValUse(8,SGroupElement),SMethod(SGroupElementMethods,getEncoded,(SGroupElement) => Coll[SByte$],2,FixedCost(JitCost(250)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Get an encoding of the point value.,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())), ValDef(14,ArraySeq(),OptionGet(GetVar(1,Option[SGroupElement]))), ValDef(15,ArraySeq(),CalcBlake2b256(Append(ValUse(13,Coll[SByte$]),MethodCall(ValUse(14,SGroupElement),SMethod(SGroupElementMethods,getEncoded,(SGroupElement) => Coll[SByte$],2,FixedCost(JitCost(250)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Get an encoding of the point value.,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())))), ValDef(16,ArraySeq(),OptionGet(GetVar(3,Option[SLong$]))), ValDef(17,ArraySeq(),OptionGet(GetVar(4,Option[SLong$]))), ValDef(18,ArraySeq(),GetVar(7,Option[Coll[SByte$]])), ValDef(19,ArraySeq(),OptionIsDefined(ValUse(18,Option[Coll[SByte$]]))), ValDef(20,ArraySeq(),LongToByteArray(ValUse(17,SLong$))), ValDef(21,ArraySeq(),If(ValUse(19,SBoolean),ByteArrayToLong(Slice(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])),SMethod(SAvlTreeMethods,get,(SAvlTree,Coll[SByte$],Coll[SByte$]) => Option[Coll[SByte$]],10,DynamicCost,List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(MethodCall$(220)), /** Perform a lookup of key `key` in this tree using proof `proof`. * Throws exception if proof is incorrect * * @note CAUTION! Does not support multiple keys check, use [[getMany]] instead. * Return Some(bytes) of leaf with key `key` if it exists * Return None if leaf with provided key does not exist. * @param key a key of an element of this authenticated dictionary. * @param proof */ ,List(ArgInfo(this,this instance)))),None,None),ArraySeq(ValUse(15,Coll[SByte$]), OptionGet(ValUse(18,Option[Coll[SByte$]]))),Map())),ConstantPlaceholder(10,SInt$),ConstantPlaceholder(11,SInt$))),ConstantPlaceholder(12,SLong$))), ValDef(22,ArraySeq(),Minus(ValUse(10,SLong$), SelectField(ByIndex(ValUse(4,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(13,SInt$),None),2))), ValDef(23,ArraySeq(),MethodCall(Global$(221),SMethod(SGlobalMethods,groupGenerator,(SGlobal) => SGroupElement,1,FixedCost(JitCost(10)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(GroupGenerator$(130)),,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())), ValDef(24,ArraySeq(),OptionGet(GetVar(2,Option[Coll[SByte$]]))), ValDef(25,ArraySeq(),Slice(ValUse(24,Coll[SByte$]),ConstantPlaceholder(14,SInt$),ConstantPlaceholder(15,SInt$))), ValDef(26,ArraySeq(),Append(Append(ValUse(15,Coll[SByte$]),LongToByteArray(ValUse(16,SLong$))),ValUse(20,Coll[SByte$]))), ValDef(27,ArraySeq(),OptionGet(GetVar(6,Option[Coll[SByte$]]))), ValDef(28,ArraySeq(),SizeOf(ValUse(27,Coll[SByte$]))), ValDef(29,ArraySeq(),GT(ValUse(28,SInt$),ConstantPlaceholder(16,SInt$))), ValDef(30,ArraySeq(),OptionGet(ExtractRegisterAs(ValUse(12,SBox),R4,Option[SGroupElement])))),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(ValUse(9,SBoolean),ValUse(7,SBoolean)),EQ(SelectField(ByIndex(MethodCall(ValUse(12,SBox),SMethod(SBoxMethods,tokens,(SBox) => Coll[(Coll[SByte$],SLong$)],8,FixedCost(JitCost(15)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Secondary tokens,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map()),ConstantPlaceholder(17,SInt$),None),1),OptionGet(ExtractRegisterAs(Self$(167),R6,Option[Coll[SByte$]])))),EQ(ByteArrayToLong(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(ValUse(12,SBox),R5,Option[SAvlTree])),SMethod(SAvlTreeMethods,get,(SAvlTree,Coll[SByte$],Coll[SByte$]) => Option[Coll[SByte$]],10,DynamicCost,List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(MethodCall$(220)), /** Perform a lookup of key `key` in this tree using proof `proof`. * Throws exception if proof is incorrect * * @note CAUTION! Does not support multiple keys check, use [[getMany]] instead. * Return Some(bytes) of leaf with key `key` if it exists * Return None if leaf with provided key does not exist. * @param key a key of an element of this authenticated dictionary. * @param proof */ ,List(ArgInfo(this,this instance)))),None,None),ArraySeq(ValUse(15,Coll[SByte$]), OptionGet(GetVar(8,Option[Coll[SByte$]]))),Map()))),ValUse(16,SLong$))),GT(ValUse(17,SLong$),If(ValUse(19,SBoolean),ByteArrayToLong(Slice(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])),SMethod(SAvlTreeMethods,get,(SAvlTree,Coll[SByte$],Coll[SByte$]) => Option[Coll[SByte$]],10,DynamicCost,List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(MethodCall$(220)), /** Perform a lookup of key `key` in this tree using proof `proof`. * Throws exception if proof is incorrect * * @note CAUTION! Does not support multiple keys check, use [[getMany]] instead. * Return Some(bytes) of leaf with key `key` if it exists * Return None if leaf with provided key does not exist. * @param key a key of an element of this authenticated dictionary. * @param proof */ ,List(ArgInfo(this,this instance)))),None,None),ArraySeq(ValUse(15,Coll[SByte$]), OptionGet(ValUse(18,Option[Coll[SByte$]]))),Map())),ConstantPlaceholder(18,SInt$),ConstantPlaceholder(19,SInt$))),ConstantPlaceholder(20,SLong$)))),EQ(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])),SMethod(SAvlTreeMethods,insertOrUpdate,(SAvlTree,Coll[(Coll[SByte$],Coll[SByte$])],Coll[SByte$]) => Option[SAvlTree],16,DynamicCost,List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(MethodCall$(220)), /** Perform insertions or updates of key-value entries into this tree using proof `proof`. * Throws exception if proof is incorrect * Return Some(newTree) if successful * Return None if operations were not performed. * * @note CAUTION! Pairs must be ordered the same way they were in insert ops before proof was generated. * @param operations collection of key-value pairs to insert or update in this authenticated dictionary. * @param proof */ ,List(ArgInfo(this,this instance)))),None,None),ArraySeq(ConcreteCollection(ArraySeq(Tuple(ArraySeq(ValUse(15,Coll[SByte$]), Append(ValUse(20,Coll[SByte$]),LongToByteArray(Plus(ValUse(21,SLong$), ValUse(22,SLong$))))))),(Coll[SByte$],Coll[SByte$])), OptionGet(GetVar(5,Option[Coll[SByte$]]))),Map())),OptionGet(ExtractRegisterAs(ValUse(3,SBox),R5,Option[SAvlTree])))),EQ(Exponentiate(ValUse(23,SGroupElement),ByteArrayToBigInt(Slice(ValUse(24,Coll[SByte$]),ConstantPlaceholder(21,SInt$),SizeOf(ValUse(24,Coll[SByte$]))))),MultiplyGroup(DecodePoint(ValUse(25,Coll[SByte$])),Exponentiate(ValUse(8,SGroupElement),ByteArrayToBigInt(CalcBlake2b256(Append(Append(ValUse(25,Coll[SByte$]),ValUse(26,Coll[SByte$])),ValUse(13,Coll[SByte$])))))))),BinAnd(BinAnd(GT(ValUse(22,SLong$),ConstantPlaceholder(22,SLong$)),LE(ValUse(22,SLong$),Minus(ValUse(16,SLong$), ValUse(21,SLong$)))),If(ValUse(29,SBoolean),If(ValUse(29,SBoolean),BlockValue(ArraySeq(ValDef(31,ArraySeq(),Slice(ValUse(27,Coll[SByte$]),ConstantPlaceholder(23,SInt$),ConstantPlaceholder(24,SInt$)))),EQ(Exponentiate(ValUse(23,SGroupElement),ByteArrayToBigInt(Slice(ValUse(27,Coll[SByte$]),ConstantPlaceholder(25,SInt$),ValUse(28,SInt$)))),MultiplyGroup(DecodePoint(ValUse(31,Coll[SByte$])),Exponentiate(ValUse(30,SGroupElement),ByteArrayToBigInt(CalcBlake2b256(Append(Append(ValUse(31,Coll[SByte$]),ValUse(26,Coll[SByte$])),MethodCall(ValUse(30,SGroupElement),SMethod(SGroupElementMethods,getEncoded,(SGroupElement) => Coll[SByte$],2,FixedCost(JitCost(250)),List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(PropertyCall$(219)),Get an encoding of the point value.,List(ArgInfo(this,this instance)))),None,None),ArraySeq(),Map())))))))),ConstantPlaceholder(26,SBoolean)),GT(Minus(Height$(163), SelectField(ExtractCreationInfo(ValUse(12,SBox)),1)),ConstantPlaceholder(27,SInt$))))),EQ(OptionGetOrElse(ExtractRegisterAs(ValUse(3,SBox),R7,Option[SLong$]),ConstantPlaceholder(28,SLong$)),ValUse(11,SLong$)))), CreateProveDlog(ValUse(14,SGroupElement))))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(29,SInt$)),BoolToSigmaProp(BinAnd(BinAnd(BinAnd(BinAnd(ValUse(9,SBoolean),ValUse(7,SBoolean)),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R5,Option[SAvlTree])),OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])))),EQ(OptionGetOrElse(ExtractRegisterAs(ValUse(3,SBox),R7,Option[SLong$]),ConstantPlaceholder(30,SLong$)),ValUse(11,SLong$))),GE(Minus(SelectField(ByIndex(ValUse(4,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(31,SInt$),None),2), ValUse(10,SLong$)),ConstantPlaceholder(32,SLong$)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(33,SInt$)),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(ValUse(9,SBoolean),ValUse(7,SBoolean)),GE(SelectField(ByIndex(ValUse(4,Coll[(Coll[SByte$],SLong$)]),ConstantPlaceholder(34,SInt$),None),2),ValUse(10,SLong$))),GE(ExtractAmount(ValUse(3,SBox)),ExtractAmount(Self$(167)))),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R5,Option[SAvlTree])),OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])))),GE(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R7,Option[SLong$])),Upcast(Height$(163),SLong$))),EQ(ValUse(11,SLong$),ConstantPlaceholder(35,SLong$)))), CreateProveDlog(ValUse(8,SGroupElement)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(36,SInt$)),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(GT(ValUse(11,SLong$),ConstantPlaceholder(37,SLong$)),GE(Upcast(Height$(163),SLong$),Plus(ValUse(11,SLong$), Upcast(ConstantPlaceholder(38,SInt$),SLong$))))), CreateProveDlog(ValUse(8,SGroupElement)))),BoolToSigmaProp(ConstantPlaceholder(39,SBoolean)))))))

4f3dbd8e…87b53465

`4f3dbd8e…87b53465`