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
PropBytesMethod
SSigmaProp
PropertyCall
Terms
PropertyCallCode
OpCodes
PropertyCallSerializer
serialization
Proposition
ContractSyntax
PropositionBytes
SBox
PropositionBytesMethod
SBox
PropositionCode
Value
PropositionSpec
ContractSpec
ProtocolParty
ContractSpec
ProveDHTuple
basics
ProveDHTupleFunc
PredefinedFuncRegistry
ProveDHTupleProp
basics
ProveDHTupleSerializer
transformers
ProveDiffieHellmanTupleCode
OpCodes
ProveDlog
DLogProtocol
ProveDlogCode
OpCodes
ProveDlogFunc
PredefinedFuncRegistry
ProveDlogProp
DLogProtocol
ProveDlogSerializer
serialization
Prover
basics
ProverInterpreter
interpreter
ProverMessage
basics
ProverResult
interpreter
ProverUtils
interpreter
ProvingParty
ContractSpec
PubKeySize
CCostModel CostModel CostModel 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
SType
paramOV
SType
paramR
SType
paramT
SType
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 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
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 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
CAndUnproven COrUnproven CThresholdUnproven UnprovenDiffieHellmanTuple UnprovenSchnorr UnprovenTree Hint OwnCommitment RealCommitment RealSecretProof SimulatedCommitment SimulatedSecretProof SigmaByteReader
positionLimit
SigmaByteReader
positionLimit_=
SigmaByteReader
position_=
SigmaByteReader
positions
NodePosition SubstConstants
positionsArg
SubstConstantsInfo
positionsInfo
SubstConstantsSerializer
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
Prover
productArity
CompanionDef Lambda ThunkDef
productElement
CompanionDef Lambda ThunkDef
proof
TreeLookup CostedProverResult ProverResult
proofArg
TreeLookupInfo
proofs
HintsBag
propBytes
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
Party Verifier
publicKeys
ProverInterpreter
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