P
Verifier
P2PKAddress
ergoplatform
PGraph
ProgramGraphs
PGraphUsages
ProgramGraphs
PKFunc
PredefinedFuncRegistry
PackageAndName
ScalaNameUtil
Pair
Tuples
Pair1TypeCode
STuple
Pair1TypeConstrId
STuple
Pair2TypeCode
STuple
Pair2TypeConstrId
STuple
PairColl
Colls
collection
CollsDefs
PairCollAdapter
PairColl
PairCollCompanion
Colls
PairCollCompanionCtor
PairColl
PairCollCompanionElem
PairColl
PairCollCompanionMethods
PairColl
PairCollElem
PairColl
PairCollMethods
PairColl
PairCollOps
Extensions
ExtensionMethods
PairElem
TypeDescs
PairElemExtensions
TypeDescs
PairIsLiftable
Liftables
PairLiftable
Liftables
PairMonoid
collection
PairOfCols
collection
PairOfColsCtorCode
OpCodes
PairSymmetricTypeCode
STuple
PairSymmetricTypeConstrId
STuple
PairType
RType
ParenArgList
Exprs
Parened
WsCtx
ParserException
syntax
ParserOps
Literals
PartialRewriter
Transforming
Party
basics
Pass
Transforming
PassConfig
Transforming
Pat
Literals
PatLiteral
Core
PatchMethod
SCollection
Pattern
Exprs
Literals
Patterns
Exprs
Pay2SAddress
ergoplatform
Pay2SHAddress
ergoplatform
PerKbCostOf
RuntimeCosting
PerKbCostOfCode
OpCodes
Placeholder
Base
PlainId
Identifiers
PlainIdNoDollar
Identifiers
Plus
sigmastate
ArithOp
PlusCode
OpCodes
PlusInfo
Operations
PlusModQ
sigmastate
ModQArithOp
PlusModQCode
OpCodes
PlusModQMethod
SBigInt
Portrait
compilation
Position
SigmaSerializer
PostDotCheck
Core
PostFix
WsCtx
PostfixExpr
WsCtx
PostfixSuffix
WsCtx
PostfixType
Types
PreHeader
sigma
SigmaDsl
SigmaDslDefs
PreHeaderAdapter
PreHeader
PreHeaderCompanion
SigmaDsl
PreHeaderCompanionCtor
PreHeader
PreHeaderCompanionElem
PreHeader
PreHeaderConst
PreHeader
PreHeaderConstMethods
PreHeader
PreHeaderConstant
Values
PreHeaderCoster
CostingRules
PreHeaderElem
PreHeader
PreHeaderRType
sigma
PredefFuncInfo
SigmaPredef
PredefinedFunc
SigmaPredef
PredefinedFuncApply
SigmaPredef
PredefinedFuncRegistry
SigmaPredef
PrefixExpr
WsCtx
PrefixLengthMethod
SCollection
PrimRange
SPrimType
PrimViewType
types
PrimitiveType
RType
PrintExtensions
util
ProcessOutput
util
ProcessUtil
util
ProductOps
Extensions
ProgramGraph
ProgramGraphs
ProgramGraphs
staged
ProofT
Interpreter
ProverInterpreter
ProofTree
sigmastate
ProofTreeConjecture
sigmastate
ProofTreeLeaf
sigmastate
PropBytes
SSigmaProp
SigmaBoolean
PropLeafDeclaration
Cost
PropertyCall
Terms
PropertyCallCode
OpCodes
PropertyCallSerializer
serialization
Proposition
ContractSyntax
PropositionBytes
SBox
PropositionCode
Value
PropositionSpec
ContractSpec
ProtocolParty
ContractSpec
ProveDHTuple
basics
ProveDHTupleCode
OpCodes
ProveDHTupleFunc
PredefinedFuncRegistry
ProveDHTupleProp
basics
ProveDHTupleSerializer
transformers
ProveDlog
DLogProtocol
ProveDlogCode
OpCodes
ProveDlogFunc
PredefinedFuncRegistry
ProveDlogProp
DLogProtocol
ProveDlogSerializer
serialization
Prover
basics
ProverInterpreter
interpreter
ProverMessage
basics
ProverResult
interpreter
ProvingParty
ContractSpec
PubKey
SigmaContract
SigmaContract
SigmaDslBuilder
SigmaDslBuilder
TestSigmaDslBuilder
SigmaDslBuilderAdapter
SigmaDslBuilderConstMethods
SigmaDslBuilderMethods
PubKeySize
CCostModel
CostModel
CostModel
TestCostModel
CostModelAdapter
CostModelConstMethods
p
OptionValueOps
SigmaPropValueOps
BcDlogGroup
pArg
ExistsInfo
FilterInfo
ForAllInfo
packageName
ModuleInfo
ImportItem
SSymName
pair
First
Second
pairColl
CollBuilder
CollOverArrayBuilder
CollBuilder
CollBuilderAdapter
CollBuilderConstMethods
CollBuilderMethods
pairCollElement
PairColl
pairCollFromArrays
CollBuilder
pairElement
TypeDescs
pairIsSized
SizedLowPriority
pairIsZero
ZeroLowPriority
pairMonoid
MonoidBuilder
MonoidBuilderInst
MonoidBuilderAdapter
MonoidBuilderMethods
pairRType
RType
paramIV
SCollection
paramOV
SCollection
parent
EntityElem
ThunkScope
CasesScope
DataScope
ForScope
OptionScope
OptionalScope
Scope
SerScope
WhenScope
PairCollElem
ReplCollElem
CCostedBuilderElem
CCostedCollElem
CCostedFuncElem
CCostedPairElem
CCostedPrimElem
CSizeCollElem
CSizeFuncElem
CSizeOptionElem
CSizePairElem
CSizePrimElem
CCostedOptionElem
CostedCollElem
CostedFuncElem
CostedOptionElem
CostedPairElem
CostedPrimElem
IntPlusMonoidElem
LongPlusMonoidElem
MonoidBuilderInstElem
SizeCollElem
SizeFuncElem
SizeOptionElem
SizePairElem
SizePrimElem
SizeAnyValueElem
SizeBoxElem
SizeContextElem
SizeSigmaPropElem
OptionWrapSpecElem
RTypeWrapSpecElem
SpecialPredefWrapSpecElem
parentId
CHeader
CPreHeader
HeaderCoster
PreHeaderCoster
Header
PreHeader
Header
PreHeader
HeaderAdapter
HeaderConstMethods
PreHeaderAdapter
PreHeaderConstMethods
parentIdMethod
SHeader
SPreHeader
parse
sigmaSerializer
serializer
ErgoLikeTransactionSerializer
serializer
RuleStatusSerializer
SigmaValidationSettingsSerializer
serializer
serializer
serializer
serializer
SigmaCompiler
ApplySerializer
BlockValueSerializer
BoolToSigmaPropSerializer
CaseObjectSerialization
ConcreteCollectionBooleanConstantSerializer
ConcreteCollectionSerializer
ConstantPlaceholderSerializer
ConstantSerializer
CreateAvlTreeSerializer
CreateProveDlogSerializer
FuncValueSerializer
GetVarSerializer
GroupElementSerializer
LogicalNotSerializer
MethodCallSerializer
ModQArithOpSerializer
ModQSerializer
OneArgumentOperationSerializer
OperationSerializer
OptionGetOrElseSerializer
PropertyCallSerializer
ProveDlogSerializer
SelectFieldSerializer
SigmaPropBytesSerializer
SigmaPropIsProvenSerializer
SubstConstantsSerializer
TaggedVariableSerializer
TupleSerializer
TwoArgumentsSerializer
ValDefSerializer
ValUseSerializer
AppendSerializer
AtLeastSerializer
BooleanTransformerSerializer
ByIndexSerializer
CreateProveDHTupleSerializer
DeserializeContextSerializer
DeserializeRegisterSerializer
ExtractRegisterAsSerializer
FilterSerializer
FoldSerializer
LogicalTransformerSerializer
MapCollectionSerializer
NumericCastSerializer
ProveDHTupleSerializer
SigmaTransformerSerializer
SimpleTransformerSerializer
SliceSerializer
QuadrupleSerializer
Relation2Serializer
parseAndComputeChallenges
SigSerializer
parseAsMethods
SigmaParser
parseBodyWithIndexedDigests
serializer
parseSeq
OperationSerializer
parseType
SigmaParser
parseWithGenericReader
SigmaSerializer
parsedType
SigmaParser
parserApi2
Wrapper2
partition
CReplColl
CViewColl
Coll
CollOverArray
Coll
PairOfCols
CollAdapter
CollConstMethods
CollMethods
PairCollAdapter
ReplCollAdapter
partitionByType
TraversableOps
partsIterator
GraphVizExport
patch
CollCoster
CReplColl
CViewColl
Coll
CollOverArray
Coll
PairOfCols
CollAdapter
CollConstMethods
CollMethods
PairCollAdapter
ReplCollAdapter
patternMatch
Functions
peekByte
SigmaByteReader
perGraphNodeCost
CostTable
perItemCostOf
RuntimeCosting
perKbCostOf
RuntimeCosting
pkBytes
ProveDlog
placeholder
Base
plus
ByteIsExactIntegral
IntIsExactIntegral
LongIsExactIntegral
ShortIsExactIntegral
ExactNumeric
ByteIsExactNumeric
IntIsExactNumeric
LongIsExactNumeric
ShortIsExactNumeric
BigIntIsExactIntegral
BigIntIsExactNumeric
BigIntIsIntegral
BigIntegerIsIntegral
IntMaxMonoid
IntMinMonoid
IntPlusMonoid
LongMaxMonoid
LongMinMonoid
LongPlusMonoid
Monoid
IntPlusMonoid
LongPlusMonoid
Monoid
PairMonoid
MonoidAdapter
plusMinus
CostTable
plusMinusBigInt
CostTable
plusModQ
BigIntegerOps
BigInt
BigInt
TestBigInt
BigIntAdapter
BigIntConstMethods
BigIntMethods
polishSimulated
ProverInterpreter
polynomialOpt
CThresholdUncheckedNode
CThresholdUnproven
pop
LambdaStack
ThunkStack
pos
WhenScope
position
SigmaByteReader
positionLimit
SigmaByteReader
positionLimit_=
SigmaByteReader
position_=
SigmaByteReader
positions
SubstConstants
positionsArg
SubstConstantsInfo
powDistance
CHeader
HeaderCoster
Header
Header
HeaderAdapter
HeaderConstMethods
powDistanceMethod
SHeader
powNonce
CHeader
HeaderCoster
Header
Header
HeaderAdapter
HeaderConstMethods
powNonceMethod
SHeader
powOnetimePk
CHeader
HeaderCoster
Header
Header
HeaderAdapter
HeaderConstMethods
powOnetimePkMethod
SHeader
power
IntMaxMonoid
IntMinMonoid
IntPlusMonoid
LongMaxMonoid
LongMinMonoid
LongPlusMonoid
Monoid
IntPlusMonoid
LongPlusMonoid
Monoid
PairMonoid
MonoidAdapter
preHeader
ErgoLikeContext
CostingDataContext
ContextCoster
CSizeContext
Context
SizeContext
Context
SizeContext
SizeContextAdapter
SizeContextConstMethods
SizeContextMethods
ContextAdapter
ContextConstMethods
ContextMethods
preHeaderDecoder
JsonCodecs
preHeaderElement
PreHeader
preHeaderEncoder
JsonCodecs
preHeaderIsSized
Sized
preHeaderMethod
SContext
precedenceOf
Exprs
predefTypes
Types
predefinedOps
Operations
prefixBefore
StringUtilExtensions
primitives
scalan
printEnvEntry
Evaluation
printSerInfo
ValueSerializer
priorityList
Exprs
priorityMap
Exprs
privateInputOpt
DLogInteractiveProver
DiffieHellmanTupleInteractiveProver
Prover
productArity
CompanionDef
Lambda
ThunkDef
productElement
CompanionDef
Lambda
ThunkDef
proof
TreeLookup
CostedProverResult
ProverResult
proofArg
TreeLookupInfo
propBytes
SigmaBooleanOps
SigmaPropValueOps
CSigmaProp
CSizeSigmaProp
SizeSigmaProp
MockProveDlog
MockSigma
SigmaProp
SigmaProp
SizeSigmaProp
SizeSigmaPropAdapter
SizeSigmaPropConstMethods
SizeSigmaPropMethods
SigmaPropAdapter
SigmaPropConstMethods
SigmaPropMethods
propSpec
OutBox
ErgoOutBox
propagateBinOp
DefRewriting
propagateUnOp
DefRewriting
property
SMonoType
proposition
ErgoBoxCandidate
ContractSyntax
CAndUnproven
COrUnproven
CThresholdUnproven
ProofTreeLeaf
UncheckedDiffieHellmanTuple
UncheckedLeaf
UncheckedSchnorr
UnprovenDiffieHellmanTuple
UnprovenSchnorr
UnprovenTree
ErgoTree
propositionBytes
ErgoBoxCandidate
CostingBox
Box
CSizeBox
SizeBox
Box
SizeBox
SizeBoxAdapter
SizeBoxConstMethods
SizeBoxMethods
BoxAdapter
BoxConstMethods
BoxMethods
propositionFromErgoTree
Interpreter
propositionsArg
SigmaAndInfo
SigmaOrInfo
prove
ProvingParty
NonInteractiveProver
ProverInterpreter
proveDHTuple
CostingSigmaDslBuilder
SigmaContract
SigmaContract
SigmaDslBuilder
SigmaDslBuilder
TestSigmaDslBuilder
SigmaDslBuilderAdapter
SigmaDslBuilderConstMethods
SigmaDslBuilderMethods
proveDHTupleEvalCost
CostTable
proveDlog
CostingSigmaDslBuilder
SigmaContract
SigmaContract
SigmaDslBuilder
SigmaDslBuilder
TestSigmaDslBuilder
SigmaDslBuilderAdapter
SigmaDslBuilderConstMethods
SigmaDslBuilderMethods
proveDlogEvalCost
CostTable
prover
Verifier
proverResultDecoder
JsonCodecs
proverResultEncoder
JsonCodecs
provideScope
Scope
proving
ProverInterpreter
pubKey
ProvingParty
pubkey
P2PKAddress
pubkeyBytes
P2PKAddress
publicImage
DLogProverInput
DiffieHellmanTupleProverInput
SigmaProtocolPrivateInput
publicInput
DLogInteractiveProver
DiffieHellmanTupleInteractiveProver
Party
Verifier
purpose
MandatoryRegisterId
push
LambdaStack
ThunkStack
put
AVHashMap
ConstantStore
SigmaByteWriter
putBits
SigmaByteWriter
putBoolean
SigmaByteWriter
putBytes
SigmaByteWriter
putChunk
SigmaByteWriter
putInt
SigmaByteWriter
putLong
SigmaByteWriter
putOption
SigmaByteWriter
putShort
SigmaByteWriter
putShortString
SigmaByteWriter
putType
SigmaByteWriter
putUByte
SigmaByteWriter
putUInt
SigmaByteWriter
putULong
SigmaByteWriter
putUShort
SigmaByteWriter
putValue
SigmaByteWriter
putValues
SigmaByteWriter