All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download sigma-state_2.12 JAR 5.0.14 with all dependencies

Interpreter of a Sigma-State language

Files of the artifact sigma-state_2.12 version 5.0.14 from the group org.scorexfoundation.

Test

Artifact sigma-state_2.12
Group org.scorexfoundation
Version 5.0.14
Last update 05. April 2024
Tags: sigma interpreter language state
Organization org.scorexfoundation
URL https://github.com/ScorexFoundation/sigmastate-interpreter
License CC0
Dependencies amount 12
Dependencies scala-library, scala-reflect, debox_2.12, scala-collection-compat_2.12, scodec-bits_2.12, circe-core_2.12, circe-generic_2.12, circe-parser_2.12, scorex-util_2.12, fastparse_2.12, bcprov-jdk15on, scrypto_2.12,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of sigma-state_2.12 Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of sigma-state_2.12 version 5.0.14

META-INF

META-INF.META-INF.MANIFEST.MF

java7.compat

java7.compat.java7.compat.Math.scala

org.ergoplatform

org.ergoplatform.org.ergoplatform.ErgoAddress.scala

org.ergoplatform.org.ergoplatform.ErgoBox.scala

org.ergoplatform.org.ergoplatform.ErgoBoxAssets.scala

org.ergoplatform.org.ergoplatform.ErgoBoxCandidate.scala

org.ergoplatform.org.ergoplatform.ErgoLikeContext.scala

org.ergoplatform.org.ergoplatform.ErgoLikeInterpreter.scala

org.ergoplatform.org.ergoplatform.ErgoLikeTransaction.scala

org.ergoplatform.org.ergoplatform.ErgoScriptPredef.scala

org.ergoplatform.org.ergoplatform.ErgoTreePredef.scala

org.ergoplatform.org.ergoplatform.Input.scala

org.ergoplatform.org.ergoplatform.SigmaPropProver.scala

org.ergoplatform.org.ergoplatform.SigmaPropVerifier.scala

org.ergoplatform.dsl

org.ergoplatform.dsl.org.ergoplatform.dsl.AvlTreeHelpers.scala

org.ergoplatform.dsl.org.ergoplatform.dsl.ContractSpec.scala

org.ergoplatform.dsl.org.ergoplatform.dsl.ContractSyntax.scala

org.ergoplatform.dsl.org.ergoplatform.dsl.ErgoContractSpec.scala

org.ergoplatform.dsl.org.ergoplatform.dsl.StdContracts.scala

org.ergoplatform.mining.emission

org.ergoplatform.mining.emission.org.ergoplatform.mining.emission.EmissionRules.scala

org.ergoplatform.sdk

org.ergoplatform.sdk.org.ergoplatform.sdk.AppkitProvingInterpreter.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.BlockchainContext.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.BlockchainParameters.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.BoxSelectionResult.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ContractTemplate.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.DataJsonEncoder.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ErgoId.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ErgoToken.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ExtendedInputBox.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.Extensions.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.InputBoxesValidator.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.JavaHelpers.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.JsonCodecs.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.NetworkType.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.OutBoxBuilder.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ProverBuilder.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.ReducingInterpreter.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.SecretString.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.SigmaProver.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.Transactions.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.UnsignedTransactionBuilder.scala

org.ergoplatform.sdk.org.ergoplatform.sdk.Utils.scala

org.ergoplatform.sdk.utils

org.ergoplatform.sdk.utils.org.ergoplatform.sdk.utils.ArithUtils.scala

org.ergoplatform.sdk.utils.org.ergoplatform.sdk.utils.SerializationUtils.scala

org.ergoplatform.sdk.utils.org.ergoplatform.sdk.utils.Zero.scala

org.ergoplatform.sdk.wallet

org.ergoplatform.sdk.wallet.org.ergoplatform.sdk.wallet.AssetUtils.scala

org.ergoplatform.sdk.wallet.org.ergoplatform.sdk.wallet.Constants.scala

org.ergoplatform.sdk.wallet.org.ergoplatform.sdk.wallet.package.scala

org.ergoplatform.sdk.wallet.protocol.context

org.ergoplatform.sdk.wallet.protocol.context.org.ergoplatform.sdk.wallet.protocol.context.BlockchainStateContext.scala

org.ergoplatform.sdk.wallet.protocol.context.org.ergoplatform.sdk.wallet.protocol.context.TransactionContext.scala

org.ergoplatform.sdk.wallet.secrets

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.DerivationPath.scala

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.ExtendedKey.scala

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.ExtendedPublicKey.scala

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.ExtendedSecretKey.scala

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.Index.scala

org.ergoplatform.sdk.wallet.secrets.org.ergoplatform.sdk.wallet.secrets.SecretKey.scala

org.ergoplatform.sdk.wallet.settings

org.ergoplatform.sdk.wallet.settings.org.ergoplatform.sdk.wallet.settings.EncryptionSettings.scala

org.ergoplatform.settings

org.ergoplatform.settings.org.ergoplatform.settings.ErgoAlgos.scala

org.ergoplatform.settings.org.ergoplatform.settings.MonetarySettings.scala

org.ergoplatform.validation

org.ergoplatform.validation.org.ergoplatform.validation.RuleStatusSerializer.scala

org.ergoplatform.validation.org.ergoplatform.validation.SigmaValidationSettingsSerializer.scala

org.ergoplatform.validation.org.ergoplatform.validation.ValidationRules.scala

.reference.conf

scalan

scalan.scalan.Base.scala

scalan.scalan.DefRewriting.scala

scalan.scalan.Entities.scala

scalan.scalan.Exceptions.scala

scalan.scalan.GraphIRReflection.scala

scalan.scalan.Library.scala

scalan.scalan.MethodCalls.scala

scalan.scalan.ModuleInfo.scala

scalan.scalan.Modules.scala

scalan.scalan.MutableLazy.scala

scalan.scalan.Scalan.scala

scalan.scalan.TypeDescs.scala

scalan.core

scalan.core.scalan.core.Variance.scala

scalan.meta

scalan.meta.scalan.meta.SSymName.scala

scalan.primitives

scalan.primitives.scalan.primitives.Equal.scala

scalan.primitives.scalan.primitives.Functions.scala

scalan.primitives.scalan.primitives.IfThenElse.scala

scalan.primitives.scalan.primitives.LogicalOps.scala

scalan.primitives.scalan.primitives.NumericOps.scala

scalan.primitives.scalan.primitives.OrderingOps.scala

scalan.primitives.scalan.primitives.Thunks.scala

scalan.primitives.scalan.primitives.Tuples.scala

scalan.primitives.scalan.primitives.UnBinOps.scala

scalan.primitives.scalan.primitives.UniversalOps.scala

scalan.staged

scalan.staged.scalan.staged.AstGraphs.scala

scalan.staged.scalan.staged.ProgramGraphs.scala

scalan.staged.scalan.staged.Transforming.scala

sigma

sigma.sigma.Colls.scala

sigma.sigma.Environment.scala

sigma.sigma.Evaluation.scala

sigma.sigma.Extensions.scala

sigma.sigma.Platform.scala

sigma.sigma.RuntimePlatform.scala

sigma.sigma.SigmaDataReflection.scala

sigma.sigma.SigmaDsl.scala

sigma.sigma.SigmaException.scala

sigma.sigma.VersionContext.scala

sigma.ast

sigma.ast.sigma.ast.CostItem.scala

sigma.ast.sigma.ast.CostKind.scala

sigma.ast.sigma.ast.ErgoTree.scala

sigma.ast.sigma.ast.JitCost.scala

sigma.ast.sigma.ast.OperationDesc.scala

sigma.ast.sigma.ast.Operations.scala

sigma.ast.sigma.ast.SMethod.scala

sigma.ast.sigma.ast.SType.scala

sigma.ast.sigma.ast.STypeParam.scala

sigma.ast.sigma.ast.SigmaBuilder.scala

sigma.ast.sigma.ast.SigmaPredef.scala

sigma.ast.sigma.ast.SourceContext.scala

sigma.ast.sigma.ast.TypeCodes.scala

sigma.ast.sigma.ast.methods.scala

sigma.ast.sigma.ast.package.scala

sigma.ast.sigma.ast.syntax.scala

sigma.ast.sigma.ast.transformers.scala

sigma.ast.sigma.ast.trees.scala

sigma.ast.sigma.ast.values.scala

sigma.crypto

sigma.crypto.sigma.crypto.BcDlogGroup.scala

sigma.crypto.sigma.crypto.BigIntegers.scala

sigma.crypto.sigma.crypto.CryptoConstants.scala

sigma.crypto.sigma.crypto.CryptoContext.scala

sigma.crypto.sigma.crypto.CryptoContextJvm.scala

sigma.crypto.sigma.crypto.CryptoFacade.scala

sigma.crypto.sigma.crypto.DlogGroup.scala

sigma.crypto.sigma.crypto.HmacSHA512.scala

sigma.crypto.sigma.crypto.Platform.scala

sigma.crypto.sigma.crypto.package.scala

sigma.data

sigma.data.sigma.data.AnyVals.scala

sigma.data.sigma.data.AvlTreeData.scala

sigma.data.sigma.data.BigIntegerOps.scala

sigma.data.sigma.data.CAnyValue.scala

sigma.data.sigma.data.CAvlTree.scala

sigma.data.sigma.data.CBigInt.scala

sigma.data.sigma.data.CBox.scala

sigma.data.sigma.data.CGroupElement.scala

sigma.data.sigma.data.CSigmaDslBuilder.scala

sigma.data.sigma.data.CSigmaProp.scala

sigma.data.sigma.data.CollsOverArrays.scala

sigma.data.sigma.data.DFunc.scala

sigma.data.sigma.data.DataValueComparer.scala

sigma.data.sigma.data.ExactIntegral.scala

sigma.data.sigma.data.ExactNumeric.scala

sigma.data.sigma.data.ExactOrdering.scala

sigma.data.sigma.data.Iso.scala

sigma.data.sigma.data.Lazy.scala

sigma.data.sigma.data.OverloadHack.scala

sigma.data.sigma.data.RType.scala

sigma.data.sigma.data.SigmaBoolean.scala

sigma.data.sigma.data.SigmaConstants.scala

sigma.data.sigma.data.SigmaPropCodes.scala

sigma.data.sigma.data.WrapperOf.scala

sigma.data.sigma.data.package.scala

sigma.eval

sigma.eval.sigma.eval.AvlTreeVerifier.scala

sigma.eval.sigma.eval.CostDetails.scala

sigma.eval.sigma.eval.ErgoTreeEvaluator.scala

sigma.eval.sigma.eval.EvalSettings.scala

sigma.eval.sigma.eval.Extensions.scala

sigma.eval.sigma.eval.Profiler.scala

sigma.eval.sigma.eval.package.scala

sigma.exceptions

sigma.exceptions.sigma.exceptions.CompilerExceptions.scala

sigma.exceptions.sigma.exceptions.ConstraintFailed.scala

sigma.exceptions.sigma.exceptions.Exceptions.scala

sigma.exceptions.sigma.exceptions.InvalidArguments.scala

sigma.exceptions.sigma.exceptions.SigmaExceptions.scala

sigma.interpreter

sigma.interpreter.sigma.interpreter.ContextExtension.scala

sigma.interpreter.sigma.interpreter.ProverResult.scala

sigma.kiama

sigma.kiama.sigma.kiama.kiama.scala

sigma.kiama.rewriting

sigma.kiama.rewriting.sigma.kiama.rewriting.CallbackRewriter.scala

sigma.kiama.rewriting.sigma.kiama.rewriting.PlusStrategy.scala

sigma.kiama.rewriting.sigma.kiama.rewriting.Rewriter.scala

sigma.kiama.rewriting.sigma.kiama.rewriting.Strategy.scala

sigma.kiama.util

sigma.kiama.util.sigma.kiama.util.Collections.scala

sigma.kiama.util.sigma.kiama.util.Comparison.scala

sigma

sigma.sigma.package.scala

sigma.reflection

sigma.reflection.sigma.reflection.JavaImpl.scala

sigma.reflection.sigma.reflection.Platform.scala

sigma.reflection.sigma.reflection.RClass.scala

sigma.reflection.sigma.reflection.ReflectionData.scala

sigma.reflection.sigma.reflection.StaticImpl.scala

sigma.reflection.sigma.reflection.package.scala

sigma.serialization

sigma.serialization.sigma.serialization.ApplySerializer.scala

sigma.serialization.sigma.serialization.BlockValueSerializer.scala

sigma.serialization.sigma.serialization.BoolToSigmaPropSerializer.scala

sigma.serialization.sigma.serialization.CaseObjectSerialization.scala

sigma.serialization.sigma.serialization.ConcreteCollectionBooleanConstantSerializer.scala

sigma.serialization.sigma.serialization.ConcreteCollectionSerializer.scala

sigma.serialization.sigma.serialization.ConstantPlaceholderSerializer.scala

sigma.serialization.sigma.serialization.ConstantSerializer.scala

sigma.serialization.sigma.serialization.ConstantStore.scala

sigma.serialization.sigma.serialization.CoreByteReader.scala

sigma.serialization.sigma.serialization.CoreByteWriter.scala

sigma.serialization.sigma.serialization.CoreDataSerializer.scala

sigma.serialization.sigma.serialization.CoreSerializer.scala

sigma.serialization.sigma.serialization.CreateAvlTreeSerializer.scala

sigma.serialization.sigma.serialization.CreateProveDlogSerializer.scala

sigma.serialization.sigma.serialization.DataSerializer.scala

sigma.serialization.sigma.serialization.ErgoTreeSerializer.scala

sigma.serialization.sigma.serialization.FuncValueSerializer.scala

sigma.serialization.sigma.serialization.GetVarSerializer.scala

sigma.serialization.sigma.serialization.GroupElementSerializer.scala

sigma.serialization.sigma.serialization.LogicalNotSerializer.scala

sigma.serialization.sigma.serialization.MethodCallSerializer.scala

sigma.serialization.sigma.serialization.ModQArithOpSerializer.scala

sigma.serialization.sigma.serialization.ModQSerializer.scala

sigma.serialization.sigma.serialization.OneArgumentOperationSerializer.scala

sigma.serialization.sigma.serialization.OpCodes.scala

sigma.serialization.sigma.serialization.OptionGetOrElseSerializer.scala

sigma.serialization.sigma.serialization.PropertyCallSerializer.scala

sigma.serialization.sigma.serialization.ProveDHTupleSerializer.scala

sigma.serialization.sigma.serialization.ProveDlogSerializer.scala

sigma.serialization.sigma.serialization.SelectFieldSerializer.scala

sigma.serialization.sigma.serialization.SerializerException.scala

sigma.serialization.sigma.serialization.SigmaByteReader.scala

sigma.serialization.sigma.serialization.SigmaByteWriter.scala

sigma.serialization.sigma.serialization.SigmaPropBytesSerializer.scala

sigma.serialization.sigma.serialization.SigmaPropIsProvenSerializer.scala

sigma.serialization.sigma.serialization.SigmaSerializer.scala

sigma.serialization.sigma.serialization.SubstConstantsSerializer.scala

sigma.serialization.sigma.serialization.TaggedVariableSerializer.scala

sigma.serialization.sigma.serialization.TupleSerializer.scala

sigma.serialization.sigma.serialization.TwoArgumentsSerializer.scala

sigma.serialization.sigma.serialization.TypeSerializer.scala

sigma.serialization.sigma.serialization.ValDefSerializer.scala

sigma.serialization.sigma.serialization.ValDefTypeStore.scala

sigma.serialization.sigma.serialization.ValUseSerializer.scala

sigma.serialization.sigma.serialization.ValueSerializer.scala

sigma.serialization.transformers

sigma.serialization.transformers.sigma.serialization.transformers.AppendSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.AtLeastSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.BooleanTransformerSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.ByIndexSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.CreateProveDHTupleSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.DeserializeContextSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.DeserializeRegisterSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.ExtractRegisterAsSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.FilterSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.FoldSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.LogicalTransformerSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.MapCollectionSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.NumericCastSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.SigmaTransformerSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.SimpleTransformerSerializer.scala

sigma.serialization.transformers.sigma.serialization.transformers.SliceSerializer.scala

sigma.serialization.trees

sigma.serialization.trees.sigma.serialization.trees.QuadrupleSerializer.scala

sigma.serialization.trees.sigma.serialization.trees.Relation2Serializer.scala

sigma.util

sigma.util.sigma.util.CollectionUtil.scala

sigma.util.sigma.util.Extensions.scala

sigma.util.sigma.util.GraphUtil.scala

sigma.util.sigma.util.MemoizedFunc.scala

sigma.util.sigma.util.StringUtil.scala

sigma.util.sigma.util.package.scala

sigma.utils

sigma.utils.sigma.utils.SparseArrayContainer.scala

sigma.validation

sigma.validation.sigma.validation.RuleStatus.scala

sigma.validation.sigma.validation.SigmaValidationSettings.scala

sigma.validation.sigma.validation.SoftForkChecker.scala

sigma.validation.sigma.validation.ValidationRules.scala

sigmastate

sigmastate.sigmastate.InterpreterReflection.scala

sigmastate.sigmastate.SigSerializer.scala

sigmastate.sigmastate.UncheckedTree.scala

sigmastate.sigmastate.UnprovenTree.scala

sigmastate.crypto

sigmastate.crypto.sigmastate.crypto.CryptoFunctions.scala

sigmastate.crypto.sigmastate.crypto.DLogProtocol.scala

sigmastate.crypto.sigmastate.crypto.DiffieHellmanTupleProtocol.scala

sigmastate.crypto.sigmastate.crypto.GF2_192.scala

sigmastate.crypto.sigmastate.crypto.GF2_192_Poly.scala

sigmastate.crypto.sigmastate.crypto.SigmaProtocolFunctions.scala

sigmastate.eval

sigmastate.eval.sigmastate.eval.CAvlTreeVerifier.scala

sigmastate.eval.sigmastate.eval.CContext.scala

sigmastate.eval.sigmastate.eval.CHeader.scala

sigmastate.eval.sigmastate.eval.CPreHeader.scala

sigmastate.eval.sigmastate.eval.CProfiler.scala

sigmastate.eval.sigmastate.eval.Extensions.scala

sigmastate.eval.sigmastate.eval.GraphBuilding.scala

sigmastate.eval.sigmastate.eval.IRContext.scala

sigmastate.eval.sigmastate.eval.SigmaLibrary.scala

sigmastate.eval.sigmastate.eval.TreeBuilding.scala

sigmastate.eval.sigmastate.eval.package.scala

sigmastate.exceptions

sigmastate.exceptions.sigmastate.exceptions.SigmaTyperExceptions.scala

sigmastate.interpreter

sigmastate.interpreter.sigmastate.interpreter.CErgoTreeEvaluator.scala

sigmastate.interpreter.sigmastate.interpreter.CostAccumulator.scala

sigmastate.interpreter.sigmastate.interpreter.Hint.scala

sigmastate.interpreter.sigmastate.interpreter.Interpreter.scala

sigmastate.interpreter.sigmastate.interpreter.InterpreterContext.scala

sigmastate.interpreter.sigmastate.interpreter.ProverInterpreter.scala

sigmastate.interpreter.sigmastate.interpreter.ProverUtils.scala

sigmastate.lang

sigmastate.lang.sigmastate.lang.ContractParser.scala

sigmastate.lang.sigmastate.lang.SigmaBinder.scala

sigmastate.lang.sigmastate.lang.SigmaCompiler.scala

sigmastate.lang.sigmastate.lang.SigmaParser.scala

sigmastate.lang.sigmastate.lang.SigmaTemplateCompiler.scala

sigmastate.lang.sigmastate.lang.SigmaTyper.scala

sigmastate.lang.sigmastate.lang.Types.scala

sigmastate.lang.parsers

sigmastate.lang.parsers.sigmastate.lang.parsers.Basic.scala

sigmastate.lang.parsers.sigmastate.lang.parsers.Core.scala

sigmastate.lang.parsers.sigmastate.lang.parsers.Exprs.scala

sigmastate.lang.parsers.sigmastate.lang.parsers.Identifiers.scala

sigmastate.lang.parsers.sigmastate.lang.parsers.Literals.scala

sigmastate

sigmastate.sigmastate.sigmastate.scala

sigmastate.utils

sigmastate.utils.sigmastate.utils.Extensions.scala

sigmastate.utils.sigmastate.utils.Helpers.scala

special.collection

special.collection.special.collection.CollsUnit.scala

special.collection.impl

special.collection.impl.special.collection.impl.CollsImpl.scala

special.sigma

special.sigma.special.sigma.SigmaDslUnit.scala

special.sigma.impl

special.sigma.impl.special.sigma.impl.SigmaDslImpl.scala

special.sigma.wrappers

special.sigma.wrappers.special.sigma.wrappers.WrappersModule.scala

special.wrappers

special.wrappers.special.wrappers.WrapSpec.scala

special.wrappers.special.wrappers.WrappersModule.scala

special.wrappers.special.wrappers.WrappersSpec.scala

wrappers.scala

wrappers.scala.wrappers.scala.WOptions.scala

wrappers.scala.impl

wrappers.scala.impl.wrappers.scala.impl.WOptionsImpl.scala

wrappers.scalan

wrappers.scalan.wrappers.scalan.WRTypes.scala

wrappers.scalan.impl

wrappers.scalan.impl.wrappers.scalan.impl.WRTypesImpl.scala

wrappers.special

wrappers.special.wrappers.special.WSpecialPredefs.scala

wrappers.special.impl

wrappers.special.impl.wrappers.special.impl.WSpecialPredefsImpl.scala

© 2015 - 2025 Weber Informatics LLC | Privacy Policy