A
DLogSigmaProtocol DiffieHellmanTupleProtocol SigmaProtocol
ADKeyArrayOps
AvlTreeHelpers
ADKeyValueArrayOps
AvlTreeHelpers
ADProofsRoot
CHeader HeaderCoster Header Header HeaderAdapter HeaderConstMethods
ADProofsRootMethod
SHeader
AND
sigmastate
ANDInfo
Operations
AVHashMap
scalan
Abs
NumericOps
AcceptAllDirectories
FileUtil
AcceptAllFiles
FileUtil
AccessAvlTree
CCostModel CostModel CostModel CostModelAdapter CostModelConstMethods
AccessBox
CCostModel CostModel CostModel CostModelAdapter CostModelConstMethods
AccessKiloByteOfData
CCostModel CostModel CostModel CostModelAdapter CostModelConstMethods
AdditionalRegisters
ErgoBox
AllOf
RuntimeCosting
AllOfFunc
PredefinedFuncRegistry
AllOperationsAllowed
AvlTreeFlags
AllZKFunc
PredefinedFuncRegistry
AllZk
RuntimeCosting
AllowedOpCodesInCosting
Evaluation
AlphabetKeywords
Identifiers
Amount
ErgoBox
And
LogicalOps
AndCode
OpCodes
AndConjecture
ConjectureType
Annot
Types
AnnotType
Types
AnonTmpl
SigmaParser Exprs
AnyElement
TypeDescs
AnyExtension
PrintExtensions
AnyOf
RuntimeCosting
AnyOfFunc
PredefinedFuncRegistry
AnyOps
CollectionUtil SType
AnyRefElement
TypeDescs
AnyRefOps
CollectionUtil
AnyRefType
RType
AnyType
RType
AnyValue
sigma SigmaDsl SigmaDslDefs
AnyValueAdapter
AnyValue
AnyValueCompanion
SigmaDsl
AnyValueCompanionCtor
AnyValue
AnyValueCompanionElem
AnyValue
AnyValueCompanionMethods
AnyValue
AnyValueConst
AnyValue
AnyValueConstMethods
AnyValue
AnyValueElem
AnyValue
AnyValueMethods
AnyValue
AnyValueRType
sigma
AnyZKFunc
PredefinedFuncRegistry
AnyZk
RuntimeCosting
Append
utxo
AppendCode
OpCodes
AppendInfo
Operations
AppendMethod
SCollection
AppendSerializer
transformers
Apply
Functions Terms
ApplyBinOp
UnBinOps
ApplyBinOpLazy
UnBinOps
ApplyInfo
Operations
ApplyMethod
SCollection
ApplySerializer
serialization
ApplyTypes
Terms
ApplyUnOp
UnBinOps
ArgInfo
sigmastate
ArgList
Exprs
ArithOp
sigmastate
ArithOpCompanion
sigmastate
ArrayOps
Extensions
ArrayType
RType
Ascription
WsCtx
AscriptionType
WsCtx
AstGraph
AstGraphs
AstGraphs
staged
AtLeast
sigmastate
AtLeastCode
OpCodes
AtLeastFunc
PredefinedFuncRegistry
AtLeastInfo
Operations
AtLeastSerializer
transformers
AutolykosPowSolutionNonceArraySize
SigmaConstants
AvlTree
sigma SigmaDsl SigmaDslDefs
AvlTreeAdapter
AvlTree
AvlTreeCode
OpCodes
AvlTreeCompanion
SigmaDsl
AvlTreeCompanionCtor
AvlTree
AvlTreeCompanionElem
AvlTree
AvlTreeConst
AvlTree
AvlTreeConstMethods
AvlTree
AvlTreeConstant
Values
AvlTreeCoster
CostingRules
AvlTreeData
sigmastate
AvlTreeDataRType
SType
AvlTreeDigestInfo
CostingRules
AvlTreeElem
AvlTree
AvlTreeFlags
sigmastate
AvlTreeFunc
PredefinedFuncRegistry
AvlTreeGetCode
OpCodes
AvlTreeHelpers
dsl
AvlTreeIsSized
Sized
AvlTreeIsZero
Zero
AvlTreeRType
sigma
AvlTreeValue
Values
a
Tup FirstDiffieHellmanTupleProverMessage SigmaProtocolTranscript
abs
ExactNumeric NumericOpsCls CInt Int
accCost
CCostedPair CCostedPair CostedPair CostedPair CCostedPairCtor CostedPairAdapter
accept
ExtensionFilter
accepted
SigmaProtocolTranscript
accessBox
CostTable
accessRegister
CostTable
accumulatedCost
Loop CCostedOption CostedOption CCostedOption CostedOption CCostedOptionCtor CostedOptionAdapter
activatedScriptVersion
ErgoLikeContext InterpreterContext
adDigestDecoder
JsonCodecs
adDigestEncoder
JsonCodecs
adKeyDecoder
JsonCodecs
adKeyEncoder
JsonCodecs
adaptSigmaBoolean
RuntimeCosting
adaptSigmaPropToBoolean
SigmaTyper
adapter
SingleRef
adapter_=
SingleRef
add
EnvRep CostAccumulator Scope ContextExtension Scope SparseArrayContainer BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods
addArgInfo
ValueSerializer
addComplexity
SigmaByteReader
addExact
ByteOps ShortOps
addHeader
FileUtil
addHint
HintsBag
addHints
HintsBag
addMcTime
ComplexityTableStat
addOpTime
ComplexityTableStat CostTableStat
addSerializer
ValueSerializer
additionalRegisters
ErgoBox ErgoBoxCandidate
additionalTokens
ErgoBox ErgoBoxCandidate
addressTypePrefix
ErgoAddress P2PKAddress Pay2SAddress Pay2SHAddress
allContextDependant
RuntimeCosting
allNodes
AstGraph
allNumericTypes
SNumericType
allOf
Helpers SigmaContract SigmaContract SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
allOperations
ValueCompanion
allPredefTypes
SType
allRegisters
ErgoBox
allZK
CostingSigmaDslBuilder SigmaContract SigmaContract SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
allZerosModifierId
ErgoBox
allowedOpCodesInCosting
Evaluation
alphaEqual
Functions
alphaEquality
Lambda
alphaKeywords
Identifiers
and
BigInt TestBigInt
andThen
Rewriter
and_bool_&&
SigmaPropMethods
and_sigma_&&
SigmaPropMethods
anyOf
Helpers SigmaContract SigmaContract SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
anyValueDecoder
JsonCodecs
anyValueElement
AnyValue
anyValueEncoder
JsonCodecs
anyValueIsSized
Sized
anyZK
CostingSigmaDslBuilder SigmaContract SigmaContract SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
append
CReplColl CViewColl Coll CollOverArray Coll ReplColl PairOfCols ReplColl CollAdapter CollConstMethods CollMethods PairCollAdapter ReplCollAdapter ReplCollConstMethods ReplCollMethods
apply
ErgoBoxAssetsHolder ErgoLikeTransaction P2PKAddress Pay2SAddress Pay2SHAddress UnsignedErgoLikeTransaction PropositionSpec ProvingParty VerifyingParty CheckAndGetMethod CheckCalcFunc CheckCostFunc CheckCostFuncOperation CheckDeserializedScriptIsSigmaProp CheckDeserializedScriptType CheckHeaderSizeBit CheckIsSupportedIndexExpression CheckLoopLevelInCostFunction CheckPrimitiveTypeCode CheckSerializableTypeCode CheckTupleType CheckTypeCode CheckTypeWithMethods CheckValidOpCode AVHashMap Transformer DFunc DFuncAdapter Lazy MutableLazy Nullable RType LambdaOps ElseIfBranch IfBranch ThunkCompanion Pair BinOp UnOp PGraphUsages MapTransformer Mirror PartialRewriter Rewriter MemoizedFunc AND AtLeast AvlTreeFlags Coster CosterFactory OR OperationInfo SCollection SFunc SMethod SOption SPair STuple SigmaAnd SigmaOr TrivialProp AvlTreeConstant BigIntArrayConstant BigIntConstant BoolArrayConstant BooleanConstant BoxConstant ByteArrayConstant ByteConstant CollectionConstant Constant ErgoTree FuncValue GroupElementConstant HeaderConstant IntArrayConstant IntConstant LongArrayConstant LongConstant PreHeaderConstant ShortArrayConstant ShortConstant SigmaPropConstant StringConstant TaggedVariable Tuple ValDef XorOf CostingHandler OrderingOps ElemAccessor Sized Zero ProverResult SigmaCompiler SigmaParser Block Ident Lambda Val NamedFunction ValDefTypeStore SparseArrayContainer CostTable ExtractRegisterAs GetVar CReplColl CViewColl Coll CollOverArray Coll PairOfCols CollAdapter CollConstMethods CollMethods PairCollAdapter ReplCollAdapter CCostedBuilderCompanionCtor CCostedCollCompanionCtor CCostedFuncCompanionCtor CCostedPairCompanionCtor CCostedPrimCompanionCtor CSizeCollCompanionCtor CSizeFuncCompanionCtor CSizeOptionCompanionCtor CSizePairCompanionCtor CSizePrimCompanionCtor CCostedOptionCompanionCtor IntPlusMonoidCompanionCtor LongPlusMonoidCompanionCtor MonoidBuilderInstCompanionCtor TestValue
applyBinOp
UnBinOps
applyBinOpLazy
UnBinOps
applyDeserializeContext
Interpreter
applyLazy
BinOp
applySeq
Equals NotEquals Abs IntegralDivide IntegralMod NumericMinus NumericNegate NumericPlus NumericTimes NumericToDouble NumericToFloat NumericToInt NumericToLong OrderingCompare OrderingGT OrderingGTEQ OrderingLT OrderingLTEQ OrderingMax OrderingMin BinOp UnOp HashCode ToString
applySubst
SigmaTyper
applySuffix
Exprs
applyUnOp
UnBinOps
arg
Apply ApplyUnOp
argInfo
SMethod PredefinedFunc
argInfoToDataInfo
SigmaByteWriter
argInfos
AND ArithOpCompanion BinAnd BinOr BinXor BitInversion BitOpCompanion ByteArrayToBigInt ByteArrayToLong CalcBlake2b256 CalcSha256 DecodePoint Downcast EQ Exponentiate GE GT If LE LT LogicalTransformerCompanion LongToByteArray MinusModQ PlusModQ ModQArithOpCompanion MultiplyGroup NEQ Negation NumericCastCompanion OR OneArgumentOperationCompanion ANDInfo AppendInfo ApplyInfo AtLeastInfo BinAndInfo BinOrInfo BinXorInfo BitAndInfo BitInversionInfo BitOrInfo BitShiftLeftInfo BitShiftRightInfo BitShiftRightZeroedInfo BitXorInfo BoolToSigmaPropInfo ByIndexInfo ByteArrayToBigIntInfo ByteArrayToLongInfo CalcBlake2b256Info CalcSha256Info ConstantPlaceholderInfo CreateAvlTreeInfo CreateProveDHTupleInfo CreateProveDlogInfo DecodePointInfo DeserializeContextInfo DeserializeRegisterInfo DivisionInfo DowncastInfo EQInfo ExistsInfo ExponentiateInfo ExtractAmountInfo ExtractBytesInfo ExtractBytesWithNoRefInfo ExtractCreationInfoInfo ExtractIdInfo ExtractRegisterAsInfo ExtractScriptBytesInfo FilterInfo FoldInfo ForAllInfo GEInfo GTInfo GetVarInfo GroupGeneratorInfo IfInfo InfoObject LEInfo LTInfo LogicalNotInfo LongToByteArrayInfo MapCollectionInfo MaxInfo MinInfo MinusInfo ModuloInfo MultiplyGroupInfo MultiplyInfo NEQInfo NegationInfo ORInfo OptionGetInfo OptionGetOrElseInfo OptionIsDefinedInfo PlusInfo SelectFieldInfo SigmaAndInfo SigmaOrInfo SigmaPropBytesInfo SizeOfInfo SliceInfo SubstConstantsInfo TreeLookupInfo UpcastInfo XorInfo XorOfInfo QuadrupleCompanion RelationCompanion SigmaAnd SigmaOr SigmaTransformerCompanion TreeLookup TwoArgumentOperationCompanion Upcast Xor XorOf BooleanTransformerCompanion Exists ExtractAmount ExtractBytes ExtractBytesWithNoRef ExtractCreationInfo ExtractId ExtractScriptBytes ForAll OptionGet OptionIsDefined SimpleTransformerCompanion SizeOf
args
ValidationException MethodCall NewObject OpCost OperationInfo STypeApply FuncValue Apply Lambda MethodCall MethodCallLike
argsArg
ApplyInfo
argsInfo
ApplySerializer MethodCallSerializer
argsItemInfo
ApplySerializer MethodCallSerializer
arithOp
CheckingSigmaBuilder StdSigmaBuilder TransformingSigmaBuilder
arrayBytesDecoder
JsonCodecs
arrayBytesEncoder
JsonCodecs
arrayRType
RType
asBigInt
ValueOps
asBoolValue
ValueOps
asBox
ValueOps
asByteArray
ValueOps
asByteValue
ValueOps
asColl
Helpers
asCollection
STypeOps ValueOps
asConcreteCollection
ValueOps
asCosted
RuntimeCosting
asCostedColl
CostingRules
asCostedFunc
CostingRules
asCostedPair
CostingRules
asElem
TypeDescs
asFunc
STypeOps ValueOps
asGroupElement
ValueOps
asIndex
RegisterId
asIntArray
ValueOps
asIntValue
ValueOps
asLiftable
Liftables
asLongValue
ValueOps
asNumType
STypeOps
asNumValue
ValueOps
asOption
STypeOps ValueOps
asProduct
STypeOps
asRep
Base
asShortValue
ValueOps
asSigmaProp
ValueOps
asSizeBox
CostingRules
asSizeColl
CostingRules
asSizeContext
CostingRules
asSizeOption
CostingRules
asSizePair
CostingRules
asStringValue
ValueOps
asTuple
STypeOps ValueOps
asType
RType
asTypeParams
IterableExtensions
asValue
ValueOps
asWrappedType
AnyOps
assertElem
TypeDescs
assertEqualElems
TypeDescs
assertSameLength
CollectionUtil Helpers
assertValueIdForOpCost
UniversalOps
assetDecoder
JsonCodecs
assetEncoder
JsonCodecs
assignConcreteCollection
SigmaTyper
assignType
SigmaTyper
atLeast
CostingSigmaDslBuilder SigmaContract SigmaContract SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
atSrcPos
SigmaParser Literals
attachCost
RuntimeCosting
attachProof
TransactionContext
avlTree
CostingSigmaDslBuilder SigmaDslBuilder SigmaDslBuilder TestSigmaDslBuilder SigmaDslBuilderAdapter SigmaDslBuilderConstMethods SigmaDslBuilderMethods
avlTreeDataDecoder
JsonCodecs
avlTreeDataEncoder
JsonCodecs
avlTreeDataToAvlTree
eval
avlTreeElement
AvlTree
avlTreeOp
CostTable
avlTreeToAvlTreeData
eval