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(),OptionGet(ExtractRegisterAs(Self$(167),R4,Option[SGroupElement]))), ValDef(5,ArraySeq(),BinAnd(BinAnd(BinAnd(EQ(ExtractScriptBytes(ValUse(3,SBox)),ExtractScriptBytes(Self$(167))),EQ(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()),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()))),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R4,Option[SGroupElement])),ValUse(4,SGroupElement))),EQ(OptionGet(ExtractRegisterAs(ValUse(3,SBox),R6,Option[Coll[SByte$]])),OptionGet(ExtractRegisterAs(Self$(167),R6,Option[Coll[SByte$]]))))), ValDef(6,ArraySeq(),OptionGetOrElse(ExtractRegisterAs(Self$(167),R7,Option[SLong$]),ConstantPlaceholder(2,SLong$)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(3,SInt$)),BlockValue(ArraySeq(ValDef(7,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(4,SInt$),None)), ValDef(8,ArraySeq(),MethodCall(ValUse(4,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(9,ArraySeq(),OptionGet(GetVar(1,Option[SGroupElement]))), ValDef(10,ArraySeq(),CalcBlake2b256(Append(ValUse(8,Coll[SByte$]),MethodCall(ValUse(9,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(11,ArraySeq(),OptionGet(GetVar(3,Option[SLong$]))), ValDef(12,ArraySeq(),OptionGet(GetVar(4,Option[SLong$]))), ValDef(13,ArraySeq(),GetVar(7,Option[Coll[SByte$]])), ValDef(14,ArraySeq(),OptionIsDefined(ValUse(13,Option[Coll[SByte$]]))), ValDef(15,ArraySeq(),LongToByteArray(ValUse(12,SLong$))), ValDef(16,ArraySeq(),If(ValUse(14,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(10,Coll[SByte$]), OptionGet(ValUse(13,Option[Coll[SByte$]]))),Map())),ConstantPlaceholder(5,SInt$),ConstantPlaceholder(6,SInt$))),ConstantPlaceholder(7,SLong$))), ValDef(17,ArraySeq(),Minus(ExtractAmount(Self$(167)), ExtractAmount(ValUse(3,SBox)))), ValDef(18,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(19,ArraySeq(),OptionGet(GetVar(2,Option[Coll[SByte$]]))), ValDef(20,ArraySeq(),Slice(ValUse(19,Coll[SByte$]),ConstantPlaceholder(8,SInt$),ConstantPlaceholder(9,SInt$))), ValDef(21,ArraySeq(),Append(Append(ValUse(10,Coll[SByte$]),LongToByteArray(ValUse(11,SLong$))),ValUse(15,Coll[SByte$]))), ValDef(22,ArraySeq(),OptionGet(GetVar(6,Option[Coll[SByte$]]))), ValDef(23,ArraySeq(),SizeOf(ValUse(22,Coll[SByte$]))), ValDef(24,ArraySeq(),GT(ValUse(23,SInt$),ConstantPlaceholder(10,SInt$))), ValDef(25,ArraySeq(),OptionGet(ExtractRegisterAs(ValUse(7,SBox),R4,Option[SGroupElement])))),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(BinAnd(ValUse(5,SBoolean),EQ(SelectField(ByIndex(MethodCall(ValUse(7,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(11,SInt$),None),1),OptionGet(ExtractRegisterAs(Self$(167),R6,Option[Coll[SByte$]])))),EQ(ByteArrayToLong(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(ValUse(7,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(10,Coll[SByte$]), OptionGet(GetVar(8,Option[Coll[SByte$]]))),Map()))),ValUse(11,SLong$))),GT(ValUse(12,SLong$),If(ValUse(14,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(10,Coll[SByte$]), OptionGet(ValUse(13,Option[Coll[SByte$]]))),Map())),ConstantPlaceholder(12,SInt$),ConstantPlaceholder(13,SInt$))),ConstantPlaceholder(14,SLong$)))),EQ(OptionGet(MethodCall(OptionGet(ExtractRegisterAs(Self$(167),R5,Option[SAvlTree])),SMethod(SAvlTreeMethods,insert,(SAvlTree,Coll[(Coll[SByte$],Coll[SByte$])],Coll[SByte$]) => Option[SAvlTree],12,DynamicCost,List(),MethodIRInfo(Some(),None,None),Some(OperationInfo(Some(MethodCall$(220)), /** Perform insertions of key-value entries into this tree using proof `proof`. * Throws exception if proof is incorrect * * @note CAUTION! Pairs must be ordered the same way they were in insert ops before proof was generated. * Return Some(newTree) if successful * Return None if operations were not performed. * @param operations collection of key-value pairs to insert in this authenticated dictionary. * @param proof */ ,List(ArgInfo(this,this instance)))),None,None),ArraySeq(ConcreteCollection(ArraySeq(Tuple(ArraySeq(ValUse(10,Coll[SByte$]), Append(ValUse(15,Coll[SByte$]),LongToByteArray(Plus(ValUse(16,SLong$), ValUse(17,SLong$))))))),(Coll[SByte$],Coll[SByte$])), OptionGet(GetVar(5,Option[Coll[SByte$]]))),Map())),OptionGet(ExtractRegisterAs(ValUse(3,SBox),R5,Option[SAvlTree])))),EQ(Exponentiate(ValUse(18,SGroupElement),ByteArrayToBigInt(Slice(ValUse(19,Coll[SByte$]),ConstantPlaceholder(15,SInt$),SizeOf(ValUse(19,Coll[SByte$]))))),MultiplyGroup(DecodePoint(ValUse(20,Coll[SByte$])),Exponentiate(ValUse(4,SGroupElement),ByteArrayToBigInt(CalcBlake2b256(Append(Append(ValUse(20,Coll[SByte$]),ValUse(21,Coll[SByte$])),ValUse(8,Coll[SByte$])))))))),BinAnd(BinAnd(GT(ValUse(17,SLong$),ConstantPlaceholder(16,SLong$)),LE(ValUse(17,SLong$),Minus(ValUse(11,SLong$), ValUse(16,SLong$)))),If(ValUse(24,SBoolean),If(ValUse(24,SBoolean),BlockValue(ArraySeq(ValDef(26,ArraySeq(),Slice(ValUse(22,Coll[SByte$]),ConstantPlaceholder(17,SInt$),ConstantPlaceholder(18,SInt$)))),EQ(Exponentiate(ValUse(18,SGroupElement),ByteArrayToBigInt(Slice(ValUse(22,Coll[SByte$]),ConstantPlaceholder(19,SInt$),ValUse(23,SInt$)))),MultiplyGroup(DecodePoint(ValUse(26,Coll[SByte$])),Exponentiate(ValUse(25,SGroupElement),ByteArrayToBigInt(CalcBlake2b256(Append(Append(ValUse(26,Coll[SByte$]),ValUse(21,Coll[SByte$])),MethodCall(ValUse(25,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(20,SBoolean)),GT(Minus(Height$(163), SelectField(ExtractCreationInfo(ValUse(7,SBox)),1)),ConstantPlaceholder(21,SInt$))))),EQ(OptionGetOrElse(ExtractRegisterAs(ValUse(3,SBox),R7,Option[SLong$]),ConstantPlaceholder(22,SLong$)),ValUse(6,SLong$)))), CreateProveDlog(ValUse(9,SGroupElement))))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(23,SInt$)),BoolToSigmaProp(BinAnd(BinAnd(BinAnd(ValUse(5,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(24,SLong$)),ValUse(6,SLong$))),GE(Minus(ExtractAmount(ValUse(3,SBox)), ExtractAmount(Self$(167))),ConstantPlaceholder(25,SLong$)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(26,SInt$)),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(BinAnd(BinAnd(BinAnd(ValUse(5,SBoolean),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(6,SLong$),ConstantPlaceholder(27,SLong$)))), CreateProveDlog(ValUse(4,SGroupElement)))),If(EQ(ValUse(2,SInt$),ConstantPlaceholder(28,SInt$)),SigmaAnd(ArraySeq(BoolToSigmaProp(BinAnd(GT(ValUse(6,SLong$),ConstantPlaceholder(29,SLong$)),GE(Upcast(Height$(163),SLong$),Plus(ValUse(6,SLong$), Upcast(ConstantPlaceholder(30,SInt$),SLong$))))), CreateProveDlog(ValUse(4,SGroupElement)))),BoolToSigmaProp(ConstantPlaceholder(31,SBoolean)))))))

d85d2da9…43aff4ed

`d85d2da9…43aff4ed`