├── .github └── workflows │ ├── ci.yml │ └── release.yml ├── .gitignore ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── ci ├── ci.jvmopts └── import_gpg.sh ├── core ├── js │ └── src │ │ └── main │ │ └── scala │ │ └── sigma │ │ ├── crypto │ │ ├── Platform.scala │ │ └── SigmaJsCryptoFacade.scala │ │ ├── js │ │ ├── AvlTree.scala │ │ ├── GroupElement.scala │ │ ├── Isos.scala │ │ ├── JsWrapper.scala │ │ ├── SigmaProp.scala │ │ ├── Type.scala │ │ └── Utils.scala │ │ └── reflection │ │ └── Platform.scala ├── jvm │ └── src │ │ ├── main │ │ └── scala │ │ │ └── sigma │ │ │ ├── crypto │ │ │ ├── CryptoContextJvm.scala │ │ │ ├── HmacSHA512.scala │ │ │ └── Platform.scala │ │ │ └── reflection │ │ │ ├── JavaImpl.scala │ │ │ └── Platform.scala │ │ └── test │ │ └── scala │ │ └── sigma │ │ └── util │ │ ├── FileUtil.scala │ │ ├── FileUtilTests.scala │ │ └── ProcessUtil.scala └── shared │ └── src │ ├── main │ ├── scala-2.11 │ │ └── sigma │ │ │ └── kiama │ │ │ └── util │ │ │ └── Collections.scala │ ├── scala-2.12 │ │ └── sigma │ │ │ └── kiama │ │ │ └── util │ │ │ └── Collections.scala │ ├── scala-2.13 │ │ └── sigma │ │ │ └── kiama │ │ │ └── util │ │ │ └── Collections.scala │ └── scala │ │ ├── java7 │ │ └── compat │ │ │ └── Math.scala │ │ └── sigma │ │ ├── Colls.scala │ │ ├── Environment.scala │ │ ├── Evaluation.scala │ │ ├── Extensions.scala │ │ ├── RuntimePlatform.scala │ │ ├── SigmaDsl.scala │ │ ├── SigmaException.scala │ │ ├── VersionContext.scala │ │ ├── ast │ │ ├── SType.scala │ │ ├── STypeParam.scala │ │ ├── TypeCodes.scala │ │ └── package.scala │ │ ├── crypto │ │ ├── BigIntegers.scala │ │ ├── CryptoContext.scala │ │ ├── CryptoFacade.scala │ │ └── package.scala │ │ ├── data │ │ ├── AnyVals.scala │ │ ├── AvlTreeData.scala │ │ ├── CAnyValue.scala │ │ ├── CAvlTree.scala │ │ ├── CBigInt.scala │ │ ├── CGroupElement.scala │ │ ├── CSigmaProp.scala │ │ ├── CUnsignedBigInt.scala │ │ ├── CollsOverArrays.scala │ │ ├── DFunc.scala │ │ ├── Iso.scala │ │ ├── Lazy.scala │ │ ├── OverloadHack.scala │ │ ├── RType.scala │ │ ├── SigmaBoolean.scala │ │ ├── SigmaConstants.scala │ │ ├── SigmaPropCodes.scala │ │ ├── WrapperOf.scala │ │ └── package.scala │ │ ├── kiama │ │ ├── kiama.scala │ │ ├── rewriting │ │ │ ├── CallbackRewriter.scala │ │ │ ├── PlusStrategy.scala │ │ │ ├── Rewriter.scala │ │ │ └── Strategy.scala │ │ └── util │ │ │ └── Comparison.scala │ │ ├── package.scala │ │ ├── reflection │ │ ├── RClass.scala │ │ ├── ReflectionData.scala │ │ ├── StaticImpl.scala │ │ └── package.scala │ │ ├── serialization │ │ ├── CoreByteReader.scala │ │ ├── CoreByteWriter.scala │ │ ├── CoreDataSerializer.scala │ │ ├── CoreSerializer.scala │ │ ├── GroupElementSerializer.scala │ │ ├── ProveDHTupleSerializer.scala │ │ ├── ProveDlogSerializer.scala │ │ ├── SerializerException.scala │ │ └── TypeSerializer.scala │ │ ├── util │ │ ├── CollectionUtil.scala │ │ ├── Extensions.scala │ │ ├── GraphUtil.scala │ │ ├── MemoizedFunc.scala │ │ ├── NBitsUtils.scala │ │ ├── StringUtil.scala │ │ └── package.scala │ │ └── validation │ │ ├── RuleStatus.scala │ │ ├── SigmaValidationSettings.scala │ │ ├── SoftForkChecker.scala │ │ └── ValidationRules.scala │ └── test │ ├── resources │ └── root │ │ ├── A.txt │ │ ├── B.txt │ │ └── subdir │ │ ├── C.txt │ │ └── subsubdir │ │ └── D.txt │ └── scala │ └── sigma │ ├── BaseTests.scala │ ├── CollGens.scala │ ├── CollsTests.scala │ ├── TestUtils.scala │ ├── TypesTests.scala │ ├── VersionTesting.scala │ ├── VersionTestingProperty.scala │ └── util │ ├── BenchmarkUtil.scala │ ├── CollectionUtilTests.scala │ ├── GraphUtilTests.scala │ ├── PrintExtensions.scala │ ├── StringUtilTests.scala │ └── StronglyConnectedComponentsTests.scala ├── data ├── js │ └── src │ │ └── main │ │ └── scala │ │ ├── org │ │ └── ergoplatform │ │ │ └── js │ │ │ └── Address.scala │ │ └── sigma │ │ ├── Platform.scala │ │ ├── ast │ │ └── js │ │ │ ├── ErgoTree.scala │ │ │ ├── Expr.scala │ │ │ └── package.scala │ │ ├── data │ │ └── js │ │ │ └── Isos.scala │ │ └── js │ │ ├── Box.scala │ │ └── Value.scala ├── jvm │ └── src │ │ └── main │ │ └── scala │ │ └── sigma │ │ └── Platform.scala └── shared │ └── src │ └── main │ └── scala │ ├── org │ └── ergoplatform │ │ ├── ErgoAddress.scala │ │ ├── ErgoBox.scala │ │ ├── ErgoBoxAssets.scala │ │ ├── ErgoBoxCandidate.scala │ │ ├── ErgoHeader.scala │ │ ├── ErgoLikeTransaction.scala │ │ ├── HeaderWithoutPow.scala │ │ ├── Input.scala │ │ └── validation │ │ └── ValidationRules.scala │ └── sigma │ ├── SigmaDataReflection.scala │ ├── ast │ ├── CostItem.scala │ ├── CostKind.scala │ ├── ErgoTree.scala │ ├── JitCost.scala │ ├── OperationDesc.scala │ ├── Operations.scala │ ├── SMethod.scala │ ├── SigmaBuilder.scala │ ├── SigmaPredef.scala │ ├── SourceContext.scala │ ├── methods.scala │ ├── syntax.scala │ ├── transformers.scala │ ├── trees.scala │ └── values.scala │ ├── crypto │ ├── BcDlogGroup.scala │ ├── CryptoConstants.scala │ └── DlogGroup.scala │ ├── data │ ├── BigIntegerOps.scala │ ├── CBox.scala │ ├── CHeader.scala │ ├── CSigmaDslBuilder.scala │ ├── DataValueComparer.scala │ ├── ExactIntegral.scala │ ├── ExactNumeric.scala │ ├── ExactOrdering.scala │ └── UnsignedBigIntegerOps.scala │ ├── eval │ ├── AvlTreeVerifier.scala │ ├── CostDetails.scala │ ├── ErgoTreeEvaluator.scala │ ├── EvalSettings.scala │ ├── Extensions.scala │ ├── Profiler.scala │ └── package.scala │ ├── exceptions │ ├── CompilerExceptions.scala │ ├── ConstraintFailed.scala │ ├── Exceptions.scala │ ├── InvalidArguments.scala │ └── SigmaExceptions.scala │ ├── interpreter │ ├── ContextExtension.scala │ └── ProverResult.scala │ ├── pow │ └── Autolykos2PowValidation.scala │ ├── serialization │ ├── ApplySerializer.scala │ ├── BlockValueSerializer.scala │ ├── BoolToSigmaPropSerializer.scala │ ├── CaseObjectSerialization.scala │ ├── ConcreteCollectionBooleanConstantSerializer.scala │ ├── ConcreteCollectionSerializer.scala │ ├── ConstantPlaceholderSerializer.scala │ ├── ConstantSerializer.scala │ ├── ConstantStore.scala │ ├── CreateAvlTreeSerializer.scala │ ├── CreateProveDlogSerializer.scala │ ├── DataSerializer.scala │ ├── ErgoTreeSerializer.scala │ ├── FuncValueSerializer.scala │ ├── GetVarSerializer.scala │ ├── LogicalNotSerializer.scala │ ├── MethodCallSerializer.scala │ ├── ModQArithOpSerializer.scala │ ├── ModQSerializer.scala │ ├── OneArgumentOperationSerializer.scala │ ├── OpCodes.scala │ ├── OptionGetOrElseSerializer.scala │ ├── PropertyCallSerializer.scala │ ├── SelectFieldSerializer.scala │ ├── SigmaByteReader.scala │ ├── SigmaByteWriter.scala │ ├── SigmaPropBytesSerializer.scala │ ├── SigmaPropIsProvenSerializer.scala │ ├── SigmaSerializer.scala │ ├── SubstConstantsSerializer.scala │ ├── TaggedVariableSerializer.scala │ ├── TupleSerializer.scala │ ├── TwoArgumentsSerializer.scala │ ├── ValDefSerializer.scala │ ├── ValDefTypeStore.scala │ ├── ValUseSerializer.scala │ ├── ValueSerializer.scala │ ├── transformers │ │ ├── AppendSerializer.scala │ │ ├── AtLeastSerializer.scala │ │ ├── BooleanTransformerSerializer.scala │ │ ├── ByIndexSerializer.scala │ │ ├── CreateProveDHTupleSerializer.scala │ │ ├── DeserializeContextSerializer.scala │ │ ├── DeserializeRegisterSerializer.scala │ │ ├── ExtractRegisterAsSerializer.scala │ │ ├── FilterSerializer.scala │ │ ├── FoldSerializer.scala │ │ ├── LogicalTransformerSerializer.scala │ │ ├── MapCollectionSerializer.scala │ │ ├── NumericCastSerializer.scala │ │ ├── SigmaTransformerSerializer.scala │ │ ├── SimpleTransformerSerializer.scala │ │ └── SliceSerializer.scala │ └── trees │ │ ├── QuadrupleSerializer.scala │ │ └── Relation2Serializer.scala │ └── utils │ └── SparseArrayContainer.scala ├── docs ├── LangSpec.md ├── aot-jit-switch.md ├── conversions.dot ├── ergoscript-compiler.md ├── fc-poster-2.pdf ├── notes.md ├── perf-style-guide.md ├── poster.pdf ├── posters │ ├── fc-poster-2.pdf │ ├── llncs.cls │ ├── poster.pdf │ ├── poster.tex │ └── sources.bib ├── pr-review-policy.md ├── sigma-dsl.md ├── sigmastate_protocols │ ├── CoinJoin.jpg │ ├── ErgoMix.jpg │ ├── compile.sh │ ├── sigmastate_protocols.bib │ ├── sigmastate_protocols.pdf │ ├── sigmastate_protocols.tex │ └── splncs04.bst ├── spec │ ├── appendix_ergotree_serialization.tex │ ├── appendix_integer_encoding.tex │ ├── appendix_motivation.tex │ ├── appendix_predeftypes.tex │ ├── appendix_primops.tex │ ├── cleanout.sh │ ├── compile.sh │ ├── costing.tex │ ├── evaluation.tex │ ├── figures │ │ ├── fig_language.tex │ │ ├── fig_semantics.tex │ │ └── fig_typing.tex │ ├── generated │ │ ├── AvlTree_methods.tex │ │ ├── BigInt_methods.tex │ │ ├── Boolean_methods.tex │ │ ├── Box_methods.tex │ │ ├── Byte_methods.tex │ │ ├── Context_methods.tex │ │ ├── GroupElement_methods.tex │ │ ├── Header_methods.tex │ │ ├── Int_methods.tex │ │ ├── Long_methods.tex │ │ ├── PreHeader_methods.tex │ │ ├── SCollection_methods.tex │ │ ├── SOption_methods.tex │ │ ├── Short_methods.tex │ │ ├── SigmaDslBuilder_methods.tex │ │ ├── SigmaProp_methods.tex │ │ ├── ergotree_serialization.tex │ │ ├── ergotree_serialization1.tex │ │ ├── predeffunc_rows.tex │ │ ├── predeffunc_sections.tex │ │ └── predeftypes.tex │ ├── graph.tex │ ├── language.tex │ ├── llncs.cls │ ├── serialization.tex │ ├── spec.bib │ ├── spec.pdf │ ├── spec.tex │ ├── type_serialization.tex │ └── types.tex ├── wpaper │ ├── compile.sh │ ├── llncs.cls │ ├── sigma.bib │ ├── sigma.pdf │ └── sigma.tex └── zerojoin │ ├── CoinJoin.jpg │ ├── ErgoMix.jpg │ ├── ErgoMixFlow.jpg │ ├── MixingTokens.jpg │ ├── ZeroCoin.jpg │ ├── compile.sh │ ├── llncs.cls │ ├── main.bib │ ├── main.pdf │ └── main.tex ├── interpreter ├── js │ └── src │ │ ├── main │ │ └── scala │ │ │ └── sigma │ │ │ └── interpreter │ │ │ └── js │ │ │ ├── ProverHints.scala │ │ │ ├── ProverSecret.scala │ │ │ ├── SigmaPropProver.scala │ │ │ └── SigmaPropVerifier.scala │ │ └── test │ │ └── scala │ │ └── sigmastate │ │ └── crypto │ │ ├── CryptoContextJsSpec.scala │ │ ├── CryptoFacadeJsSpec.scala │ │ └── CryptoTesting.scala └── shared │ └── src │ ├── main │ └── scala │ │ ├── org │ │ └── ergoplatform │ │ │ ├── ErgoLikeContext.scala │ │ │ ├── ErgoLikeInterpreter.scala │ │ │ ├── ErgoTreePredef.scala │ │ │ ├── SigmaPropProver.scala │ │ │ ├── SigmaPropVerifier.scala │ │ │ ├── dsl │ │ │ └── AvlTreeHelpers.scala │ │ │ ├── mining │ │ │ └── emission │ │ │ │ └── EmissionRules.scala │ │ │ ├── settings │ │ │ ├── ErgoAlgos.scala │ │ │ └── MonetarySettings.scala │ │ │ └── validation │ │ │ ├── RuleStatusSerializer.scala │ │ │ └── SigmaValidationSettingsSerializer.scala │ │ └── sigmastate │ │ ├── InterpreterReflection.scala │ │ ├── SigSerializer.scala │ │ ├── UncheckedTree.scala │ │ ├── UnprovenTree.scala │ │ ├── crypto │ │ ├── CryptoFunctions.scala │ │ ├── DLogProtocol.scala │ │ ├── DiffieHellmanTupleProtocol.scala │ │ ├── GF2_192.scala │ │ ├── GF2_192_Poly.scala │ │ └── SigmaProtocolFunctions.scala │ │ ├── eval │ │ ├── CAvlTreeVerifier.scala │ │ ├── CContext.scala │ │ ├── CPreHeader.scala │ │ ├── CProfiler.scala │ │ ├── Extensions.scala │ │ └── package.scala │ │ ├── exceptions │ │ └── SigmaTyperExceptions.scala │ │ ├── interpreter │ │ ├── CErgoTreeEvaluator.scala │ │ ├── CostAccumulator.scala │ │ ├── Hint.scala │ │ ├── Interpreter.scala │ │ ├── InterpreterContext.scala │ │ ├── ProverInterpreter.scala │ │ └── ProverUtils.scala │ │ ├── sigmastate.scala │ │ └── utils │ │ ├── Extensions.scala │ │ └── Helpers.scala │ └── test │ └── scala │ ├── org │ └── ergoplatform │ │ └── validation │ │ └── ValidationSpecification.scala │ ├── sigma │ ├── ast │ │ └── SigmaBuilderTest.scala │ └── serialization │ │ ├── AndSerializerSpecification.scala │ │ ├── AvlTreeSpecification.scala │ │ ├── BlockSerializerSpecification.scala │ │ ├── ConcreteCollectionSerializerSpecification.scala │ │ ├── ConstantSerializerSpecification.scala │ │ ├── ConstantStoreSpecification.scala │ │ ├── DataSerializerSpecification.scala │ │ ├── GroupElementSerializerSpecification.scala │ │ ├── MethodCallSerializerSpecification.scala │ │ ├── ModQSerializerSpecification.scala │ │ ├── OrSerializerSpecification.scala │ │ ├── PDHTSerializerSpecification.scala │ │ ├── ProveDlogSerializerSpec.scala │ │ ├── RelationsSpecification.scala │ │ ├── SelectFieldSerializerSpecification.scala │ │ ├── SerializationSpecification.scala │ │ ├── SigSerializerSpecification.scala │ │ ├── SubstConstantsSerializerSpecification.scala │ │ ├── TableSerializationSpecification.scala │ │ ├── TransformersSerializationSpec.scala │ │ ├── TupleSerializerSpecification.scala │ │ ├── TwoArgumentSerializerSpecification.scala │ │ ├── TypeSerializerSpecification.scala │ │ ├── UpcastOnDeserializationSpecification.scala │ │ └── generators │ │ ├── ConcreteCollectionGenerators.scala │ │ ├── ObjectGenerators.scala │ │ ├── OpcodesGen.scala │ │ ├── RelationGenerators.scala │ │ ├── TransformerGenerators.scala │ │ └── TypeGenerators.scala │ ├── sigmastate │ ├── CalcSha256Specification.scala │ ├── CrossVersionProps.scala │ ├── CryptoFacadeSpecification.scala │ ├── JitCostSpecification.scala │ ├── SigmaProtocolSpecification.scala │ ├── TestsBase.scala │ ├── crypto │ │ ├── GF2_192_Specification.scala │ │ ├── GroupLawsSpecification.scala │ │ └── SigningSpecification.scala │ ├── eval │ │ └── BasicOpsTests.scala │ ├── helpers │ │ ├── ContextEnrichingProverInterpreter.scala │ │ ├── ContextEnrichingTestProvingInterpreter.scala │ │ ├── ErgoLikeContextTesting.scala │ │ ├── ErgoLikeTestProvingInterpreter.scala │ │ ├── ErgoLikeTransactionTesting.scala │ │ ├── ErgoTransactionValidator.scala │ │ ├── NegativeTesting.scala │ │ ├── TestingCommons.scala │ │ └── TestingHelpers.scala │ ├── utils │ │ ├── HelpersTests.scala │ │ └── SparseArrayContainerSpecification.scala │ └── utxo │ │ └── ProverSpecification.scala │ └── special │ └── sigma │ ├── ContractsTestkit.scala │ └── SigmaTestingData.scala ├── jest.config.js ├── parsers └── shared │ └── src │ ├── main │ └── scala │ │ └── sigmastate │ │ └── lang │ │ ├── ContractParser.scala │ │ ├── SigmaParser.scala │ │ ├── Types.scala │ │ └── parsers │ │ ├── Basic.scala │ │ ├── Core.scala │ │ ├── Exprs.scala │ │ ├── Identifiers.scala │ │ └── Literals.scala │ └── test │ └── scala │ └── sigmastate │ ├── helpers │ └── SigmaPPrint.scala │ └── lang │ ├── ContractParserSpec.scala │ ├── LangTests.scala │ └── SigmaParserTest.scala ├── project ├── build.properties └── plugins.sbt ├── sc ├── js │ └── src │ │ ├── main │ │ └── scala │ │ │ └── sigmastate │ │ │ └── lang │ │ │ └── js │ │ │ └── SigmaCompiler.scala │ │ └── test │ │ └── scala │ │ └── scalan │ │ └── Platform.scala ├── jvm │ └── src │ │ └── test │ │ └── scala │ │ ├── scalan │ │ ├── Platform.scala │ │ └── compilation │ │ │ └── GraphVizExport.scala │ │ ├── sigmastate │ │ ├── ErgoTreeBenchmarks.scala │ │ ├── InterpreterReflectionGeneratorTests.scala │ │ ├── ReflectionGenerator.scala │ │ ├── helpers │ │ │ └── SigmaPPrintSpec.scala │ │ └── utils │ │ │ ├── GenPredefFuncsApp.scala │ │ │ ├── GenPredefTypesApp.scala │ │ │ └── GenSerializers.scala │ │ └── special │ │ └── collections │ │ ├── BasicBenchmarks.scala │ │ ├── BenchmarkGens.scala │ │ ├── BufferBenchmark.scala │ │ ├── CollBenchmark.scala │ │ ├── MapBenchmark.scala │ │ └── SymBenchmark.scala └── shared │ └── src │ ├── main │ ├── resources │ │ └── reference.conf │ └── scala │ │ ├── org │ │ └── ergoplatform │ │ │ ├── ErgoScriptPredef.scala │ │ │ └── dsl │ │ │ ├── ContractSpec.scala │ │ │ ├── ContractSyntax.scala │ │ │ ├── ErgoContractSpec.scala │ │ │ └── StdContracts.scala │ │ └── sigma │ │ └── compiler │ │ ├── Exceptions.scala │ │ ├── SigmaCompiler.scala │ │ ├── SigmaTemplateCompiler.scala │ │ ├── ir │ │ ├── AstGraphs.scala │ │ ├── Base.scala │ │ ├── DefRewriting.scala │ │ ├── Entities.scala │ │ ├── GraphBuilding.scala │ │ ├── GraphIRReflection.scala │ │ ├── IRContext.scala │ │ ├── MethodCalls.scala │ │ ├── Modules.scala │ │ ├── ProgramGraphs.scala │ │ ├── Transforming.scala │ │ ├── TreeBuilding.scala │ │ ├── TypeDescs.scala │ │ ├── core │ │ │ ├── MutableLazy.scala │ │ │ └── Variance.scala │ │ ├── meta │ │ │ ├── ModuleInfo.scala │ │ │ └── SSymName.scala │ │ ├── primitives │ │ │ ├── Equal.scala │ │ │ ├── Functions.scala │ │ │ ├── IfThenElse.scala │ │ │ ├── LogicalOps.scala │ │ │ ├── MiscOps.scala │ │ │ ├── NumericOps.scala │ │ │ ├── OrderingOps.scala │ │ │ ├── Thunks.scala │ │ │ ├── Tuples.scala │ │ │ └── UnBinOps.scala │ │ └── wrappers │ │ │ ├── WrapSpec.scala │ │ │ ├── WrappersSpec.scala │ │ │ ├── scala │ │ │ ├── WOptions.scala │ │ │ └── impl │ │ │ │ └── WOptionsImpl.scala │ │ │ └── sigma │ │ │ ├── CollsUnit.scala │ │ │ ├── SigmaDslUnit.scala │ │ │ ├── WRTypes.scala │ │ │ └── impl │ │ │ ├── CollsImpl.scala │ │ │ ├── SigmaDslImpl.scala │ │ │ └── WRTypesImpl.scala │ │ └── phases │ │ ├── SigmaBinder.scala │ │ └── SigmaTyper.scala │ └── test │ └── scala │ ├── org │ └── ergoplatform │ │ ├── EmissionSpec.scala │ │ ├── ErgoAddressSpecification.scala │ │ ├── ErgoLikeTransactionSpec.scala │ │ ├── ErgoTreePredefSpec.scala │ │ ├── dsl │ │ └── TestContractSpec.scala │ │ └── validation │ │ ├── RuleStatusSerializerSpec.scala │ │ └── SigmaValidationSettingsSerializerSpec.scala │ ├── scalan │ ├── BaseLiftableTests.scala │ ├── LibraryTests.scala │ ├── TestContexts.scala │ ├── TestLibrary.scala │ └── core │ │ ├── ScalaNameUtil.scala │ │ └── ScalaNameUtilSuite.scala │ ├── sigma │ ├── CollsStagingTests.scala │ ├── DataValueComparerSpecification.scala │ ├── LanguageSpecificationBase.scala │ ├── LanguageSpecificationV5.scala │ ├── LanguageSpecificationV6.scala │ ├── LoopTests.scala │ ├── SigmaDslStaginTests.scala │ └── SigmaDslTesting.scala │ ├── sigmastate │ ├── CompilerCrossVersionProps.scala │ ├── CompilerTestsBase.scala │ ├── ErgoTreeSpecification.scala │ ├── FailingToProveSpec.scala │ ├── ScriptVersionSwitchSpecification.scala │ ├── SoftForkabilitySpecification.scala │ ├── TestingInterpreterSpecification.scala │ ├── TypesSpecification.scala │ ├── eval │ │ ├── ErgoScriptTestkit.scala │ │ ├── ErgoTreeBuildingTest.scala │ │ ├── EvaluationTest.scala │ │ └── ExampleContracts.scala │ ├── helpers │ │ └── CompilerTestingCommons.scala │ ├── lang │ │ ├── SigmaBinderTest.scala │ │ ├── SigmaCompilerTest.scala │ │ ├── SigmaTemplateCompilerTest.scala │ │ └── SigmaTyperTest.scala │ ├── serialization │ │ ├── DeserializationResilience.scala │ │ └── ErgoTreeSerializerSpecification.scala │ ├── utils │ │ ├── GenInfoObjects.scala │ │ └── SpecGen.scala │ └── utxo │ │ ├── AVLTreeScriptsSpecification.scala │ │ ├── BasicOpsSpecification.scala │ │ ├── CollectionOperationsSpecification.scala │ │ ├── ComplexSigSpecification.scala │ │ ├── ContextEnrichingSpecification.scala │ │ ├── DistributedSigSpecification.scala │ │ ├── ErgoLikeInterpreterSpecification.scala │ │ ├── SerializationRoundTripSpec.scala │ │ ├── SigmaCompilerSpecification.scala │ │ ├── ThresholdSpecification.scala │ │ ├── UsingContextPropertiesSpecification.scala │ │ ├── blockchain │ │ ├── BlockchainSimulationSpecification.scala │ │ └── BlockchainSimulationTestingCommons.scala │ │ └── examples │ │ ├── AssetsAtomicExchange.scala │ │ ├── AssetsAtomicExchangeErgoTests.scala │ │ ├── AssetsAtomicExchangeTests.scala │ │ ├── AssetsPartialFilling.scala │ │ ├── AtomicSwapExampleSpecification.scala │ │ ├── CoinEmissionSpecification.scala │ │ ├── ColdWalletAdvContractExampleSpecification.scala │ │ ├── ColdWalletContractExampleSpecification.scala │ │ ├── CoopExampleSpecification.scala │ │ ├── CrowdFunding.scala │ │ ├── CrowdFundingTests.scala │ │ ├── DHTupleExampleSpecification.scala │ │ ├── DemurrageExampleSpecification.scala │ │ ├── DummyExamplesSpecification.scala │ │ ├── ExecuteFromExamplesSpecification.scala │ │ ├── FsmExampleSpecification.scala │ │ ├── IcoExample.scala │ │ ├── LetsSpecification.scala │ │ ├── MASTExampleSpecification.scala │ │ ├── MixExampleSpecification.scala │ │ ├── OracleDataInputsExamplesSpecification.scala │ │ ├── OracleExamplesSpecification.scala │ │ ├── OracleTokenExamplesSpecification.scala │ │ ├── RPSGameExampleSpecification.scala │ │ ├── RevenueSharingExamplesSpecification.scala │ │ ├── ReversibleTxExampleSpecification.scala │ │ ├── Rule110Specification.scala │ │ ├── TimedPaymentExampleSpecification.scala │ │ ├── TrustlessLETS.scala │ │ └── XorGameExampleSpecification.scala │ ├── special │ └── wrappers │ │ ├── WOptionTests.scala │ │ ├── WRTypeTests.scala │ │ └── WrappersTests.scala │ └── thelastpackage │ └── ZLastSpec.scala ├── sdk ├── js │ └── src │ │ ├── main │ │ └── scala │ │ │ └── org │ │ │ └── ergoplatform │ │ │ └── sdk │ │ │ └── js │ │ │ ├── BlockchainParameters.scala │ │ │ ├── BlockchainStateContext.scala │ │ │ ├── ContractTemplate.scala │ │ │ ├── Header.scala │ │ │ ├── Isos.scala │ │ │ ├── PreHeader.scala │ │ │ ├── ProverBuilder.scala │ │ │ ├── ReducedTransaction.scala │ │ │ └── SigmaProver.scala │ │ └── test │ │ └── scala │ │ └── org │ │ └── ergoplatform │ │ └── sdk │ │ └── js │ │ ├── IsosSpec.scala │ │ ├── IsosSpecBase.scala │ │ ├── SigmaProverSpec.scala │ │ └── ValueSpec.scala └── shared │ └── src │ ├── main │ └── scala │ │ └── org │ │ └── ergoplatform │ │ └── sdk │ │ ├── AppkitProvingInterpreter.scala │ │ ├── BlockchainContext.scala │ │ ├── BlockchainParameters.scala │ │ ├── BoxSelectionResult.scala │ │ ├── ContractTemplate.scala │ │ ├── DataJsonEncoder.scala │ │ ├── ErgoId.scala │ │ ├── ErgoToken.scala │ │ ├── ExtendedInputBox.scala │ │ ├── Extensions.scala │ │ ├── InputBoxesValidator.scala │ │ ├── JavaHelpers.scala │ │ ├── JsonCodecs.scala │ │ ├── NetworkType.scala │ │ ├── OutBoxBuilder.scala │ │ ├── ProverBuilder.scala │ │ ├── ReducingInterpreter.scala │ │ ├── SecretString.scala │ │ ├── SigmaProver.scala │ │ ├── Transactions.scala │ │ ├── UnsignedTransactionBuilder.scala │ │ ├── Utils.scala │ │ ├── utils │ │ ├── ArithUtils.scala │ │ ├── ErgoTreeUtils.scala │ │ ├── SerializationUtils.scala │ │ └── Zero.scala │ │ └── wallet │ │ ├── AssetUtils.scala │ │ ├── Constants.scala │ │ ├── package.scala │ │ ├── protocol │ │ └── context │ │ │ ├── BlockchainStateContext.scala │ │ │ └── TransactionContext.scala │ │ ├── secrets │ │ ├── DerivationPath.scala │ │ ├── ExtendedKey.scala │ │ ├── ExtendedPublicKey.scala │ │ ├── ExtendedSecretKey.scala │ │ ├── Index.scala │ │ └── SecretKey.scala │ │ └── settings │ │ └── EncryptionSettings.scala │ └── test │ └── scala │ └── org │ └── ergoplatform │ └── sdk │ ├── ContractTemplateSpecification.scala │ ├── DataJsonEncoderSpecification.scala │ ├── ExtensionsSpec.scala │ ├── JsonSerializationSpec.scala │ ├── generators │ └── ObjectGenerators.scala │ ├── utils │ └── ErgoTreeUtilsSpec.scala │ └── wallet │ ├── secrets │ └── DerivationPathSpec.scala │ └── utils │ └── Generators.scala └── sigma-js ├── README.md ├── jest.config.js ├── package-lock.json ├── package.json ├── scripts └── setSnapshotVersion.js ├── sigmastate-js.d.ts └── tests └── js ├── Address.spec.js ├── Box.spec.js ├── ContractTemplate.spec.js ├── ErgoTree.spec.js ├── GroupElement.spec.js ├── SigmaCompiler.spec.js ├── SigmaProp.spec.js ├── SigmaPropProver.spec.js ├── Type.spec.js └── Value.spec.js /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/README.md -------------------------------------------------------------------------------- /ci/ci.jvmopts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/ci/ci.jvmopts -------------------------------------------------------------------------------- /ci/import_gpg.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/ci/import_gpg.sh -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/crypto/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/crypto/Platform.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/crypto/SigmaJsCryptoFacade.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/crypto/SigmaJsCryptoFacade.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/AvlTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/AvlTree.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/GroupElement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/GroupElement.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/Isos.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/Isos.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/JsWrapper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/JsWrapper.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/SigmaProp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/SigmaProp.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/Type.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/Type.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/js/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/js/Utils.scala -------------------------------------------------------------------------------- /core/js/src/main/scala/sigma/reflection/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/js/src/main/scala/sigma/reflection/Platform.scala -------------------------------------------------------------------------------- /core/jvm/src/main/scala/sigma/crypto/CryptoContextJvm.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/main/scala/sigma/crypto/CryptoContextJvm.scala -------------------------------------------------------------------------------- /core/jvm/src/main/scala/sigma/crypto/HmacSHA512.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/main/scala/sigma/crypto/HmacSHA512.scala -------------------------------------------------------------------------------- /core/jvm/src/main/scala/sigma/crypto/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/main/scala/sigma/crypto/Platform.scala -------------------------------------------------------------------------------- /core/jvm/src/main/scala/sigma/reflection/JavaImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/main/scala/sigma/reflection/JavaImpl.scala -------------------------------------------------------------------------------- /core/jvm/src/main/scala/sigma/reflection/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/main/scala/sigma/reflection/Platform.scala -------------------------------------------------------------------------------- /core/jvm/src/test/scala/sigma/util/FileUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/test/scala/sigma/util/FileUtil.scala -------------------------------------------------------------------------------- /core/jvm/src/test/scala/sigma/util/FileUtilTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/test/scala/sigma/util/FileUtilTests.scala -------------------------------------------------------------------------------- /core/jvm/src/test/scala/sigma/util/ProcessUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/jvm/src/test/scala/sigma/util/ProcessUtil.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala-2.11/sigma/kiama/util/Collections.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala-2.11/sigma/kiama/util/Collections.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala-2.12/sigma/kiama/util/Collections.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala-2.12/sigma/kiama/util/Collections.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala-2.13/sigma/kiama/util/Collections.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala-2.13/sigma/kiama/util/Collections.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/java7/compat/Math.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/java7/compat/Math.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/Colls.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/Colls.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/Environment.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/Environment.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/Evaluation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/Evaluation.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/Extensions.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/RuntimePlatform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/RuntimePlatform.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/SigmaDsl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/SigmaDsl.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/SigmaException.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/SigmaException.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/VersionContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/VersionContext.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/ast/SType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/ast/SType.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/ast/STypeParam.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/ast/STypeParam.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/ast/TypeCodes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/ast/TypeCodes.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/ast/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/ast/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/crypto/BigIntegers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/crypto/BigIntegers.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/crypto/CryptoContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/crypto/CryptoContext.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/crypto/CryptoFacade.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/crypto/CryptoFacade.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/crypto/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/crypto/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/AnyVals.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/AnyVals.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/AvlTreeData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/AvlTreeData.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CAnyValue.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CAnyValue.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CAvlTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CAvlTree.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CBigInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CBigInt.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CGroupElement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CGroupElement.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CSigmaProp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CSigmaProp.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CUnsignedBigInt.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CUnsignedBigInt.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/CollsOverArrays.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/CollsOverArrays.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/DFunc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/DFunc.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/Iso.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/Iso.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/Lazy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/Lazy.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/OverloadHack.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/OverloadHack.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/RType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/RType.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/SigmaBoolean.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/SigmaBoolean.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/SigmaConstants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/SigmaConstants.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/SigmaPropCodes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/SigmaPropCodes.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/WrapperOf.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/WrapperOf.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/data/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/data/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/kiama.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/kiama.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/rewriting/CallbackRewriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/rewriting/CallbackRewriter.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/rewriting/PlusStrategy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/rewriting/PlusStrategy.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/rewriting/Rewriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/rewriting/Rewriter.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/rewriting/Strategy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/rewriting/Strategy.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/kiama/util/Comparison.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/kiama/util/Comparison.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/reflection/RClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/reflection/RClass.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/reflection/ReflectionData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/reflection/ReflectionData.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/reflection/StaticImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/reflection/StaticImpl.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/reflection/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/reflection/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/CoreByteReader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/CoreByteReader.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/CoreByteWriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/CoreByteWriter.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/CoreDataSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/CoreDataSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/CoreSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/CoreSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/GroupElementSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/GroupElementSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/ProveDHTupleSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/ProveDHTupleSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/ProveDlogSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/ProveDlogSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/SerializerException.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/SerializerException.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/serialization/TypeSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/serialization/TypeSerializer.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/CollectionUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/CollectionUtil.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/Extensions.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/GraphUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/GraphUtil.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/MemoizedFunc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/MemoizedFunc.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/NBitsUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/NBitsUtils.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/StringUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/StringUtil.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/util/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/util/package.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/validation/RuleStatus.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/validation/RuleStatus.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/validation/SigmaValidationSettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/validation/SigmaValidationSettings.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/validation/SoftForkChecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/validation/SoftForkChecker.scala -------------------------------------------------------------------------------- /core/shared/src/main/scala/sigma/validation/ValidationRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/main/scala/sigma/validation/ValidationRules.scala -------------------------------------------------------------------------------- /core/shared/src/test/resources/root/A.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/shared/src/test/resources/root/B.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/shared/src/test/resources/root/subdir/C.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/shared/src/test/resources/root/subdir/subsubdir/D.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/BaseTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/BaseTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/CollGens.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/CollGens.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/CollsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/CollsTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/TestUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/TestUtils.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/TypesTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/TypesTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/VersionTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/VersionTesting.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/VersionTestingProperty.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/VersionTestingProperty.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/BenchmarkUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/BenchmarkUtil.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/CollectionUtilTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/CollectionUtilTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/GraphUtilTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/GraphUtilTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/PrintExtensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/PrintExtensions.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/StringUtilTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/StringUtilTests.scala -------------------------------------------------------------------------------- /core/shared/src/test/scala/sigma/util/StronglyConnectedComponentsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/core/shared/src/test/scala/sigma/util/StronglyConnectedComponentsTests.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/org/ergoplatform/js/Address.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/org/ergoplatform/js/Address.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/Platform.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/ast/js/ErgoTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/ast/js/ErgoTree.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/ast/js/Expr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/ast/js/Expr.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/ast/js/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/ast/js/package.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/data/js/Isos.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/data/js/Isos.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/js/Box.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/js/Box.scala -------------------------------------------------------------------------------- /data/js/src/main/scala/sigma/js/Value.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/js/src/main/scala/sigma/js/Value.scala -------------------------------------------------------------------------------- /data/jvm/src/main/scala/sigma/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/jvm/src/main/scala/sigma/Platform.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoAddress.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoAddress.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoBox.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoBox.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoBoxAssets.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoBoxAssets.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoBoxCandidate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoBoxCandidate.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoHeader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoHeader.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/ErgoLikeTransaction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/ErgoLikeTransaction.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/HeaderWithoutPow.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/HeaderWithoutPow.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/Input.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/Input.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/org/ergoplatform/validation/ValidationRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/org/ergoplatform/validation/ValidationRules.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/SigmaDataReflection.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/SigmaDataReflection.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/CostItem.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/CostItem.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/CostKind.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/CostKind.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/ErgoTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/ErgoTree.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/JitCost.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/JitCost.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/OperationDesc.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/OperationDesc.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/Operations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/Operations.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/SMethod.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/SMethod.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/SigmaBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/SigmaBuilder.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/SigmaPredef.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/SigmaPredef.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/SourceContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/SourceContext.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/methods.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/methods.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/syntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/syntax.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/transformers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/transformers.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/trees.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/trees.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/ast/values.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/ast/values.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/crypto/BcDlogGroup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/crypto/BcDlogGroup.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/crypto/CryptoConstants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/crypto/CryptoConstants.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/crypto/DlogGroup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/crypto/DlogGroup.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/BigIntegerOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/BigIntegerOps.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/CBox.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/CBox.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/CHeader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/CHeader.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/CSigmaDslBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/CSigmaDslBuilder.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/DataValueComparer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/DataValueComparer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/ExactIntegral.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/ExactIntegral.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/ExactNumeric.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/ExactNumeric.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/ExactOrdering.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/ExactOrdering.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/data/UnsignedBigIntegerOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/data/UnsignedBigIntegerOps.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/AvlTreeVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/AvlTreeVerifier.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/CostDetails.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/CostDetails.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/ErgoTreeEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/ErgoTreeEvaluator.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/EvalSettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/EvalSettings.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/Extensions.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/Profiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/Profiler.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/eval/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/eval/package.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/exceptions/CompilerExceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/exceptions/CompilerExceptions.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/exceptions/ConstraintFailed.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/exceptions/ConstraintFailed.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/exceptions/Exceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/exceptions/Exceptions.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/exceptions/InvalidArguments.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/exceptions/InvalidArguments.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/exceptions/SigmaExceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/exceptions/SigmaExceptions.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/interpreter/ContextExtension.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/interpreter/ContextExtension.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/interpreter/ProverResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/interpreter/ProverResult.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/pow/Autolykos2PowValidation.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/pow/Autolykos2PowValidation.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ApplySerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ApplySerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/BlockValueSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/BlockValueSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/BoolToSigmaPropSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/BoolToSigmaPropSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/CaseObjectSerialization.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/CaseObjectSerialization.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ConcreteCollectionBooleanConstantSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ConcreteCollectionBooleanConstantSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ConcreteCollectionSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ConcreteCollectionSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ConstantPlaceholderSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ConstantPlaceholderSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ConstantSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ConstantSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ConstantStore.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ConstantStore.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/CreateAvlTreeSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/CreateAvlTreeSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/CreateProveDlogSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/CreateProveDlogSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/DataSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/DataSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ErgoTreeSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ErgoTreeSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/FuncValueSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/FuncValueSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/GetVarSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/GetVarSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/LogicalNotSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/LogicalNotSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/MethodCallSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/MethodCallSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ModQArithOpSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ModQArithOpSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ModQSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ModQSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/OneArgumentOperationSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/OneArgumentOperationSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/OpCodes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/OpCodes.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/OptionGetOrElseSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/OptionGetOrElseSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/PropertyCallSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/PropertyCallSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SelectFieldSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SelectFieldSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SigmaByteReader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SigmaByteReader.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SigmaByteWriter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SigmaByteWriter.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SigmaPropBytesSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SigmaPropBytesSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SigmaPropIsProvenSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SigmaPropIsProvenSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SigmaSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SigmaSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/SubstConstantsSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/SubstConstantsSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/TaggedVariableSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/TaggedVariableSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/TupleSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/TupleSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/TwoArgumentsSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/TwoArgumentsSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ValDefSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ValDefSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ValDefTypeStore.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ValDefTypeStore.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ValUseSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ValUseSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/ValueSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/ValueSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/AppendSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/AppendSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/AtLeastSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/AtLeastSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/BooleanTransformerSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/BooleanTransformerSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/ByIndexSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/ByIndexSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/CreateProveDHTupleSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/CreateProveDHTupleSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/DeserializeContextSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/DeserializeContextSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/DeserializeRegisterSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/DeserializeRegisterSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/ExtractRegisterAsSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/ExtractRegisterAsSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/FilterSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/FilterSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/FoldSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/FoldSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/LogicalTransformerSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/LogicalTransformerSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/MapCollectionSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/MapCollectionSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/NumericCastSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/NumericCastSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/SigmaTransformerSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/SigmaTransformerSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/SimpleTransformerSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/SimpleTransformerSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/transformers/SliceSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/transformers/SliceSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/trees/QuadrupleSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/trees/QuadrupleSerializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/serialization/trees/Relation2Serializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/serialization/trees/Relation2Serializer.scala -------------------------------------------------------------------------------- /data/shared/src/main/scala/sigma/utils/SparseArrayContainer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/data/shared/src/main/scala/sigma/utils/SparseArrayContainer.scala -------------------------------------------------------------------------------- /docs/LangSpec.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/LangSpec.md -------------------------------------------------------------------------------- /docs/aot-jit-switch.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/aot-jit-switch.md -------------------------------------------------------------------------------- /docs/conversions.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/conversions.dot -------------------------------------------------------------------------------- /docs/ergoscript-compiler.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/ergoscript-compiler.md -------------------------------------------------------------------------------- /docs/fc-poster-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/fc-poster-2.pdf -------------------------------------------------------------------------------- /docs/notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/notes.md -------------------------------------------------------------------------------- /docs/perf-style-guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/perf-style-guide.md -------------------------------------------------------------------------------- /docs/poster.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/poster.pdf -------------------------------------------------------------------------------- /docs/posters/fc-poster-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/posters/fc-poster-2.pdf -------------------------------------------------------------------------------- /docs/posters/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/posters/llncs.cls -------------------------------------------------------------------------------- /docs/posters/poster.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/posters/poster.pdf -------------------------------------------------------------------------------- /docs/posters/poster.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/posters/poster.tex -------------------------------------------------------------------------------- /docs/posters/sources.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/posters/sources.bib -------------------------------------------------------------------------------- /docs/pr-review-policy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/pr-review-policy.md -------------------------------------------------------------------------------- /docs/sigma-dsl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigma-dsl.md -------------------------------------------------------------------------------- /docs/sigmastate_protocols/CoinJoin.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/CoinJoin.jpg -------------------------------------------------------------------------------- /docs/sigmastate_protocols/ErgoMix.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/ErgoMix.jpg -------------------------------------------------------------------------------- /docs/sigmastate_protocols/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/compile.sh -------------------------------------------------------------------------------- /docs/sigmastate_protocols/sigmastate_protocols.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/sigmastate_protocols.bib -------------------------------------------------------------------------------- /docs/sigmastate_protocols/sigmastate_protocols.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/sigmastate_protocols.pdf -------------------------------------------------------------------------------- /docs/sigmastate_protocols/sigmastate_protocols.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/sigmastate_protocols.tex -------------------------------------------------------------------------------- /docs/sigmastate_protocols/splncs04.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/sigmastate_protocols/splncs04.bst -------------------------------------------------------------------------------- /docs/spec/appendix_ergotree_serialization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/appendix_ergotree_serialization.tex -------------------------------------------------------------------------------- /docs/spec/appendix_integer_encoding.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/appendix_integer_encoding.tex -------------------------------------------------------------------------------- /docs/spec/appendix_motivation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/appendix_motivation.tex -------------------------------------------------------------------------------- /docs/spec/appendix_predeftypes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/appendix_predeftypes.tex -------------------------------------------------------------------------------- /docs/spec/appendix_primops.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/appendix_primops.tex -------------------------------------------------------------------------------- /docs/spec/cleanout.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/cleanout.sh -------------------------------------------------------------------------------- /docs/spec/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/compile.sh -------------------------------------------------------------------------------- /docs/spec/costing.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/costing.tex -------------------------------------------------------------------------------- /docs/spec/evaluation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/evaluation.tex -------------------------------------------------------------------------------- /docs/spec/figures/fig_language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/figures/fig_language.tex -------------------------------------------------------------------------------- /docs/spec/figures/fig_semantics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/figures/fig_semantics.tex -------------------------------------------------------------------------------- /docs/spec/figures/fig_typing.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/figures/fig_typing.tex -------------------------------------------------------------------------------- /docs/spec/generated/AvlTree_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/AvlTree_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/BigInt_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/BigInt_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Boolean_methods.tex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/spec/generated/Box_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Box_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Byte_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Byte_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Context_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Context_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/GroupElement_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/GroupElement_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Header_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Header_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Int_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Int_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Long_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Long_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/PreHeader_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/PreHeader_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/SCollection_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/SCollection_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/SOption_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/SOption_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/Short_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/Short_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/SigmaDslBuilder_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/SigmaDslBuilder_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/SigmaProp_methods.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/SigmaProp_methods.tex -------------------------------------------------------------------------------- /docs/spec/generated/ergotree_serialization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/ergotree_serialization.tex -------------------------------------------------------------------------------- /docs/spec/generated/ergotree_serialization1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/ergotree_serialization1.tex -------------------------------------------------------------------------------- /docs/spec/generated/predeffunc_rows.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/predeffunc_rows.tex -------------------------------------------------------------------------------- /docs/spec/generated/predeffunc_sections.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/predeffunc_sections.tex -------------------------------------------------------------------------------- /docs/spec/generated/predeftypes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/generated/predeftypes.tex -------------------------------------------------------------------------------- /docs/spec/graph.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/graph.tex -------------------------------------------------------------------------------- /docs/spec/language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/language.tex -------------------------------------------------------------------------------- /docs/spec/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/llncs.cls -------------------------------------------------------------------------------- /docs/spec/serialization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/serialization.tex -------------------------------------------------------------------------------- /docs/spec/spec.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/spec.bib -------------------------------------------------------------------------------- /docs/spec/spec.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/spec.pdf -------------------------------------------------------------------------------- /docs/spec/spec.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/spec.tex -------------------------------------------------------------------------------- /docs/spec/type_serialization.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/type_serialization.tex -------------------------------------------------------------------------------- /docs/spec/types.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/spec/types.tex -------------------------------------------------------------------------------- /docs/wpaper/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/wpaper/compile.sh -------------------------------------------------------------------------------- /docs/wpaper/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/wpaper/llncs.cls -------------------------------------------------------------------------------- /docs/wpaper/sigma.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/wpaper/sigma.bib -------------------------------------------------------------------------------- /docs/wpaper/sigma.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/wpaper/sigma.pdf -------------------------------------------------------------------------------- /docs/wpaper/sigma.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/wpaper/sigma.tex -------------------------------------------------------------------------------- /docs/zerojoin/CoinJoin.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/CoinJoin.jpg -------------------------------------------------------------------------------- /docs/zerojoin/ErgoMix.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/ErgoMix.jpg -------------------------------------------------------------------------------- /docs/zerojoin/ErgoMixFlow.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/ErgoMixFlow.jpg -------------------------------------------------------------------------------- /docs/zerojoin/MixingTokens.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/MixingTokens.jpg -------------------------------------------------------------------------------- /docs/zerojoin/ZeroCoin.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/ZeroCoin.jpg -------------------------------------------------------------------------------- /docs/zerojoin/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/compile.sh -------------------------------------------------------------------------------- /docs/zerojoin/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/llncs.cls -------------------------------------------------------------------------------- /docs/zerojoin/main.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/main.bib -------------------------------------------------------------------------------- /docs/zerojoin/main.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/main.pdf -------------------------------------------------------------------------------- /docs/zerojoin/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/docs/zerojoin/main.tex -------------------------------------------------------------------------------- /interpreter/js/src/main/scala/sigma/interpreter/js/ProverHints.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/main/scala/sigma/interpreter/js/ProverHints.scala -------------------------------------------------------------------------------- /interpreter/js/src/main/scala/sigma/interpreter/js/ProverSecret.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/main/scala/sigma/interpreter/js/ProverSecret.scala -------------------------------------------------------------------------------- /interpreter/js/src/main/scala/sigma/interpreter/js/SigmaPropProver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/main/scala/sigma/interpreter/js/SigmaPropProver.scala -------------------------------------------------------------------------------- /interpreter/js/src/main/scala/sigma/interpreter/js/SigmaPropVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/main/scala/sigma/interpreter/js/SigmaPropVerifier.scala -------------------------------------------------------------------------------- /interpreter/js/src/test/scala/sigmastate/crypto/CryptoContextJsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/test/scala/sigmastate/crypto/CryptoContextJsSpec.scala -------------------------------------------------------------------------------- /interpreter/js/src/test/scala/sigmastate/crypto/CryptoFacadeJsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/test/scala/sigmastate/crypto/CryptoFacadeJsSpec.scala -------------------------------------------------------------------------------- /interpreter/js/src/test/scala/sigmastate/crypto/CryptoTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/js/src/test/scala/sigmastate/crypto/CryptoTesting.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/ErgoLikeContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/ErgoLikeContext.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/ErgoLikeInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/ErgoLikeInterpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/ErgoTreePredef.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/ErgoTreePredef.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/SigmaPropProver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/SigmaPropProver.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/SigmaPropVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/SigmaPropVerifier.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/dsl/AvlTreeHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/dsl/AvlTreeHelpers.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/mining/emission/EmissionRules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/mining/emission/EmissionRules.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/settings/ErgoAlgos.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/settings/ErgoAlgos.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/settings/MonetarySettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/settings/MonetarySettings.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/validation/RuleStatusSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/validation/RuleStatusSerializer.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/org/ergoplatform/validation/SigmaValidationSettingsSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/org/ergoplatform/validation/SigmaValidationSettingsSerializer.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/InterpreterReflection.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/InterpreterReflection.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/SigSerializer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/SigSerializer.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/UncheckedTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/UncheckedTree.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/UnprovenTree.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/UnprovenTree.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/CryptoFunctions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/CryptoFunctions.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/DLogProtocol.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/DLogProtocol.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/DiffieHellmanTupleProtocol.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/DiffieHellmanTupleProtocol.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/GF2_192.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/GF2_192.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/GF2_192_Poly.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/GF2_192_Poly.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/crypto/SigmaProtocolFunctions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/crypto/SigmaProtocolFunctions.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/CAvlTreeVerifier.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/CAvlTreeVerifier.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/CContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/CContext.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/CPreHeader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/CPreHeader.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/CProfiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/CProfiler.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/Extensions.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/eval/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/eval/package.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/exceptions/SigmaTyperExceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/exceptions/SigmaTyperExceptions.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/CErgoTreeEvaluator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/CErgoTreeEvaluator.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/CostAccumulator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/CostAccumulator.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/Hint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/Hint.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/Interpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/Interpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/InterpreterContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/InterpreterContext.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/ProverInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/ProverInterpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/interpreter/ProverUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/interpreter/ProverUtils.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/sigmastate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/sigmastate.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/utils/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/utils/Extensions.scala -------------------------------------------------------------------------------- /interpreter/shared/src/main/scala/sigmastate/utils/Helpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/main/scala/sigmastate/utils/Helpers.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/org/ergoplatform/validation/ValidationSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/org/ergoplatform/validation/ValidationSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/ast/SigmaBuilderTest.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/AndSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/AndSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/AvlTreeSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/AvlTreeSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/BlockSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/BlockSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/ConcreteCollectionSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/ConcreteCollectionSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/ConstantSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/ConstantSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/ConstantStoreSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/ConstantStoreSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/DataSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/DataSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/GroupElementSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/GroupElementSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/MethodCallSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/MethodCallSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/ModQSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/ModQSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/OrSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/OrSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/PDHTSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/PDHTSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/ProveDlogSerializerSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/ProveDlogSerializerSpec.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/RelationsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/RelationsSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/SelectFieldSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/SelectFieldSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/SerializationSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/SerializationSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/SigSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/SigSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/SubstConstantsSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/SubstConstantsSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/TableSerializationSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/TableSerializationSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/TransformersSerializationSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/TransformersSerializationSpec.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/TupleSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/TupleSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/TwoArgumentSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/TwoArgumentSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/TypeSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/TypeSerializerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/UpcastOnDeserializationSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/UpcastOnDeserializationSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/ConcreteCollectionGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/ConcreteCollectionGenerators.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/ObjectGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/ObjectGenerators.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/OpcodesGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/OpcodesGen.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/RelationGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/RelationGenerators.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/TransformerGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/TransformerGenerators.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigma/serialization/generators/TypeGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigma/serialization/generators/TypeGenerators.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/CalcSha256Specification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/CalcSha256Specification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/CrossVersionProps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/CrossVersionProps.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/CryptoFacadeSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/CryptoFacadeSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/JitCostSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/JitCostSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/SigmaProtocolSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/SigmaProtocolSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/TestsBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/TestsBase.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/crypto/GF2_192_Specification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/crypto/GF2_192_Specification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/crypto/GroupLawsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/crypto/GroupLawsSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/crypto/SigningSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/crypto/SigningSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/eval/BasicOpsTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/eval/BasicOpsTests.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ContextEnrichingProverInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ContextEnrichingProverInterpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ContextEnrichingTestProvingInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ContextEnrichingTestProvingInterpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeContextTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeContextTesting.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeTestProvingInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeTestProvingInterpreter.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeTransactionTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ErgoLikeTransactionTesting.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/ErgoTransactionValidator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/ErgoTransactionValidator.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/NegativeTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/NegativeTesting.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/TestingCommons.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/TestingCommons.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/helpers/TestingHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/helpers/TestingHelpers.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/utils/HelpersTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/utils/HelpersTests.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/utils/SparseArrayContainerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/utils/SparseArrayContainerSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/sigmastate/utxo/ProverSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/sigmastate/utxo/ProverSpecification.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/special/sigma/ContractsTestkit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/special/sigma/ContractsTestkit.scala -------------------------------------------------------------------------------- /interpreter/shared/src/test/scala/special/sigma/SigmaTestingData.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/interpreter/shared/src/test/scala/special/sigma/SigmaTestingData.scala -------------------------------------------------------------------------------- /jest.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/jest.config.js -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/ContractParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/ContractParser.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/SigmaParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/SigmaParser.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/Types.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/Types.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/parsers/Basic.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/parsers/Basic.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/parsers/Core.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/parsers/Core.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/parsers/Exprs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/parsers/Exprs.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/parsers/Identifiers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/parsers/Identifiers.scala -------------------------------------------------------------------------------- /parsers/shared/src/main/scala/sigmastate/lang/parsers/Literals.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/main/scala/sigmastate/lang/parsers/Literals.scala -------------------------------------------------------------------------------- /parsers/shared/src/test/scala/sigmastate/helpers/SigmaPPrint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/test/scala/sigmastate/helpers/SigmaPPrint.scala -------------------------------------------------------------------------------- /parsers/shared/src/test/scala/sigmastate/lang/ContractParserSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/test/scala/sigmastate/lang/ContractParserSpec.scala -------------------------------------------------------------------------------- /parsers/shared/src/test/scala/sigmastate/lang/LangTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/test/scala/sigmastate/lang/LangTests.scala -------------------------------------------------------------------------------- /parsers/shared/src/test/scala/sigmastate/lang/SigmaParserTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/parsers/shared/src/test/scala/sigmastate/lang/SigmaParserTest.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.11.1 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /sc/js/src/main/scala/sigmastate/lang/js/SigmaCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/js/src/main/scala/sigmastate/lang/js/SigmaCompiler.scala -------------------------------------------------------------------------------- /sc/js/src/test/scala/scalan/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/js/src/test/scala/scalan/Platform.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/scalan/Platform.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/scalan/Platform.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/scalan/compilation/GraphVizExport.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/scalan/compilation/GraphVizExport.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/ErgoTreeBenchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/ErgoTreeBenchmarks.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/InterpreterReflectionGeneratorTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/InterpreterReflectionGeneratorTests.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/ReflectionGenerator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/ReflectionGenerator.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/helpers/SigmaPPrintSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/helpers/SigmaPPrintSpec.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/utils/GenPredefFuncsApp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/utils/GenPredefFuncsApp.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/utils/GenPredefTypesApp.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/utils/GenPredefTypesApp.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/sigmastate/utils/GenSerializers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/sigmastate/utils/GenSerializers.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/BasicBenchmarks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/BasicBenchmarks.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/BenchmarkGens.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/BenchmarkGens.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/BufferBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/BufferBenchmark.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/CollBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/CollBenchmark.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/MapBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/MapBenchmark.scala -------------------------------------------------------------------------------- /sc/jvm/src/test/scala/special/collections/SymBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/jvm/src/test/scala/special/collections/SymBenchmark.scala -------------------------------------------------------------------------------- /sc/shared/src/main/resources/reference.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/resources/reference.conf -------------------------------------------------------------------------------- /sc/shared/src/main/scala/org/ergoplatform/ErgoScriptPredef.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/org/ergoplatform/ErgoScriptPredef.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/org/ergoplatform/dsl/ContractSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/org/ergoplatform/dsl/ContractSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/org/ergoplatform/dsl/ContractSyntax.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/org/ergoplatform/dsl/ContractSyntax.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/org/ergoplatform/dsl/ErgoContractSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/org/ergoplatform/dsl/ErgoContractSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/org/ergoplatform/dsl/StdContracts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/org/ergoplatform/dsl/StdContracts.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/Exceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/Exceptions.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/SigmaCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/SigmaCompiler.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/SigmaTemplateCompiler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/SigmaTemplateCompiler.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/AstGraphs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/AstGraphs.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/Base.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/Base.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/DefRewriting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/DefRewriting.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/Entities.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/Entities.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/GraphBuilding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/GraphBuilding.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/GraphIRReflection.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/GraphIRReflection.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/IRContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/IRContext.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/MethodCalls.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/MethodCalls.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/Modules.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/Modules.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/ProgramGraphs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/ProgramGraphs.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/Transforming.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/Transforming.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/TreeBuilding.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/TypeDescs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/TypeDescs.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/core/MutableLazy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/core/MutableLazy.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/core/Variance.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/core/Variance.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/meta/ModuleInfo.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/meta/ModuleInfo.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/meta/SSymName.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/meta/SSymName.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/Equal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/Equal.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/Functions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/Functions.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/IfThenElse.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/IfThenElse.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/LogicalOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/LogicalOps.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/MiscOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/MiscOps.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/NumericOps.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/OrderingOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/OrderingOps.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/Thunks.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/Thunks.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/Tuples.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/Tuples.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/primitives/UnBinOps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/primitives/UnBinOps.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/WrapSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/WrapSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/WrappersSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/WrappersSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/scala/WOptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/scala/WOptions.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/scala/impl/WOptionsImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/scala/impl/WOptionsImpl.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/CollsUnit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/CollsUnit.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/SigmaDslUnit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/SigmaDslUnit.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/WRTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/WRTypes.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/CollsImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/CollsImpl.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/SigmaDslImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/SigmaDslImpl.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/WRTypesImpl.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/ir/wrappers/sigma/impl/WRTypesImpl.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/phases/SigmaBinder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/phases/SigmaBinder.scala -------------------------------------------------------------------------------- /sc/shared/src/main/scala/sigma/compiler/phases/SigmaTyper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/main/scala/sigma/compiler/phases/SigmaTyper.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/EmissionSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/EmissionSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/ErgoAddressSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/ErgoAddressSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/ErgoLikeTransactionSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/ErgoLikeTransactionSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/ErgoTreePredefSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/ErgoTreePredefSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/dsl/TestContractSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/dsl/TestContractSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/validation/RuleStatusSerializerSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/validation/RuleStatusSerializerSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/org/ergoplatform/validation/SigmaValidationSettingsSerializerSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/org/ergoplatform/validation/SigmaValidationSettingsSerializerSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/BaseLiftableTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/BaseLiftableTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/LibraryTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/LibraryTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/TestContexts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/TestContexts.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/TestLibrary.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/TestLibrary.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/core/ScalaNameUtil.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/core/ScalaNameUtil.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/scalan/core/ScalaNameUtilSuite.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/scalan/core/ScalaNameUtilSuite.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/CollsStagingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/CollsStagingTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/DataValueComparerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/DataValueComparerSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/LanguageSpecificationBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/LanguageSpecificationBase.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/LanguageSpecificationV5.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/LanguageSpecificationV5.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/LanguageSpecificationV6.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/LanguageSpecificationV6.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/LoopTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/LoopTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/SigmaDslStaginTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/SigmaDslStaginTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigma/SigmaDslTesting.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigma/SigmaDslTesting.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/CompilerCrossVersionProps.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/CompilerCrossVersionProps.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/CompilerTestsBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/CompilerTestsBase.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/ErgoTreeSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/ErgoTreeSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/FailingToProveSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/FailingToProveSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/ScriptVersionSwitchSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/ScriptVersionSwitchSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/SoftForkabilitySpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/SoftForkabilitySpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/TestingInterpreterSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/TestingInterpreterSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/TypesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/TypesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/eval/ErgoScriptTestkit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/eval/ErgoScriptTestkit.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/eval/ErgoTreeBuildingTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/eval/ErgoTreeBuildingTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/eval/EvaluationTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/eval/EvaluationTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/eval/ExampleContracts.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/eval/ExampleContracts.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/helpers/CompilerTestingCommons.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/helpers/CompilerTestingCommons.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/lang/SigmaBinderTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/lang/SigmaBinderTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/lang/SigmaCompilerTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/lang/SigmaTemplateCompilerTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/lang/SigmaTemplateCompilerTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/lang/SigmaTyperTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/lang/SigmaTyperTest.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/serialization/DeserializationResilience.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/serialization/DeserializationResilience.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/serialization/ErgoTreeSerializerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/serialization/ErgoTreeSerializerSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utils/GenInfoObjects.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utils/GenInfoObjects.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utils/SpecGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utils/SpecGen.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/AVLTreeScriptsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/AVLTreeScriptsSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/BasicOpsSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/CollectionOperationsSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/ComplexSigSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/ComplexSigSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/ContextEnrichingSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/ContextEnrichingSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/DistributedSigSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/DistributedSigSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/ErgoLikeInterpreterSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/ErgoLikeInterpreterSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/SerializationRoundTripSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/SerializationRoundTripSpec.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/SigmaCompilerSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/SigmaCompilerSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/ThresholdSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/ThresholdSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/UsingContextPropertiesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/UsingContextPropertiesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/blockchain/BlockchainSimulationSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/blockchain/BlockchainSimulationSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/blockchain/BlockchainSimulationTestingCommons.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/blockchain/BlockchainSimulationTestingCommons.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchange.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchange.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchangeErgoTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchangeErgoTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchangeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsAtomicExchangeTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsPartialFilling.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/AssetsPartialFilling.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/AtomicSwapExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/AtomicSwapExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/CoinEmissionSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/CoinEmissionSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/ColdWalletAdvContractExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/ColdWalletAdvContractExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/ColdWalletContractExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/ColdWalletContractExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/CoopExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/CoopExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/CrowdFunding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/CrowdFunding.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/CrowdFundingTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/CrowdFundingTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/DHTupleExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/DHTupleExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/DemurrageExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/DemurrageExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/DummyExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/DummyExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/ExecuteFromExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/ExecuteFromExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/FsmExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/FsmExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/IcoExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/IcoExample.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/LetsSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/LetsSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/MASTExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/MASTExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/MixExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/MixExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/OracleDataInputsExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/OracleDataInputsExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/OracleExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/OracleExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/OracleTokenExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/OracleTokenExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/RPSGameExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/RPSGameExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/RevenueSharingExamplesSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/RevenueSharingExamplesSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/ReversibleTxExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/ReversibleTxExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/Rule110Specification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/Rule110Specification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/TimedPaymentExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/TimedPaymentExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/TrustlessLETS.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/TrustlessLETS.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/sigmastate/utxo/examples/XorGameExampleSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/sigmastate/utxo/examples/XorGameExampleSpecification.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/special/wrappers/WOptionTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/special/wrappers/WOptionTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/special/wrappers/WRTypeTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/special/wrappers/WRTypeTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/special/wrappers/WrappersTests.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/special/wrappers/WrappersTests.scala -------------------------------------------------------------------------------- /sc/shared/src/test/scala/thelastpackage/ZLastSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sc/shared/src/test/scala/thelastpackage/ZLastSpec.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/BlockchainParameters.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/BlockchainParameters.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/BlockchainStateContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/BlockchainStateContext.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/ContractTemplate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/ContractTemplate.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/Header.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/Header.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/Isos.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/Isos.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/PreHeader.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/PreHeader.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/ProverBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/ProverBuilder.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/ReducedTransaction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/ReducedTransaction.scala -------------------------------------------------------------------------------- /sdk/js/src/main/scala/org/ergoplatform/sdk/js/SigmaProver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/main/scala/org/ergoplatform/sdk/js/SigmaProver.scala -------------------------------------------------------------------------------- /sdk/js/src/test/scala/org/ergoplatform/sdk/js/IsosSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/test/scala/org/ergoplatform/sdk/js/IsosSpec.scala -------------------------------------------------------------------------------- /sdk/js/src/test/scala/org/ergoplatform/sdk/js/IsosSpecBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/test/scala/org/ergoplatform/sdk/js/IsosSpecBase.scala -------------------------------------------------------------------------------- /sdk/js/src/test/scala/org/ergoplatform/sdk/js/SigmaProverSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/test/scala/org/ergoplatform/sdk/js/SigmaProverSpec.scala -------------------------------------------------------------------------------- /sdk/js/src/test/scala/org/ergoplatform/sdk/js/ValueSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/js/src/test/scala/org/ergoplatform/sdk/js/ValueSpec.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/AppkitProvingInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/AppkitProvingInterpreter.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/BlockchainContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/BlockchainContext.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/BlockchainParameters.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/BlockchainParameters.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/BoxSelectionResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/BoxSelectionResult.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ContractTemplate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ContractTemplate.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/DataJsonEncoder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/DataJsonEncoder.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ErgoId.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ErgoId.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ErgoToken.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ErgoToken.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ExtendedInputBox.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ExtendedInputBox.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/Extensions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/Extensions.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/InputBoxesValidator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/InputBoxesValidator.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/JavaHelpers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/JavaHelpers.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/JsonCodecs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/JsonCodecs.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/NetworkType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/NetworkType.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/OutBoxBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/OutBoxBuilder.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ProverBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ProverBuilder.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/ReducingInterpreter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/ReducingInterpreter.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/SecretString.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/SecretString.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/SigmaProver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/SigmaProver.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/Transactions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/Transactions.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/UnsignedTransactionBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/UnsignedTransactionBuilder.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/Utils.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/ArithUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/ArithUtils.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/ErgoTreeUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/ErgoTreeUtils.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/SerializationUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/SerializationUtils.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/Zero.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/utils/Zero.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/AssetUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/AssetUtils.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/Constants.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/Constants.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/package.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/protocol/context/BlockchainStateContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/protocol/context/BlockchainStateContext.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/protocol/context/TransactionContext.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/protocol/context/TransactionContext.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/DerivationPath.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/DerivationPath.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedKey.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedKey.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedPublicKey.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedPublicKey.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedSecretKey.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/ExtendedSecretKey.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/Index.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/Index.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/SecretKey.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/secrets/SecretKey.scala -------------------------------------------------------------------------------- /sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/settings/EncryptionSettings.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/main/scala/org/ergoplatform/sdk/wallet/settings/EncryptionSettings.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/ContractTemplateSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/ContractTemplateSpecification.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/DataJsonEncoderSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/DataJsonEncoderSpecification.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/ExtensionsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/ExtensionsSpec.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/JsonSerializationSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/JsonSerializationSpec.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/generators/ObjectGenerators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/generators/ObjectGenerators.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/utils/ErgoTreeUtilsSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/utils/ErgoTreeUtilsSpec.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/wallet/secrets/DerivationPathSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/wallet/secrets/DerivationPathSpec.scala -------------------------------------------------------------------------------- /sdk/shared/src/test/scala/org/ergoplatform/sdk/wallet/utils/Generators.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sdk/shared/src/test/scala/org/ergoplatform/sdk/wallet/utils/Generators.scala -------------------------------------------------------------------------------- /sigma-js/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/README.md -------------------------------------------------------------------------------- /sigma-js/jest.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/jest.config.js -------------------------------------------------------------------------------- /sigma-js/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/package-lock.json -------------------------------------------------------------------------------- /sigma-js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/package.json -------------------------------------------------------------------------------- /sigma-js/scripts/setSnapshotVersion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/scripts/setSnapshotVersion.js -------------------------------------------------------------------------------- /sigma-js/sigmastate-js.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/sigmastate-js.d.ts -------------------------------------------------------------------------------- /sigma-js/tests/js/Address.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/Address.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/Box.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/Box.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/ContractTemplate.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/ContractTemplate.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/ErgoTree.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/ErgoTree.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/GroupElement.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/GroupElement.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/SigmaCompiler.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/SigmaCompiler.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/SigmaProp.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/SigmaProp.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/SigmaPropProver.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/SigmaPropProver.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/Type.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/Type.spec.js -------------------------------------------------------------------------------- /sigma-js/tests/js/Value.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ergoplatform/sigmastate-interpreter/HEAD/sigma-js/tests/js/Value.spec.js --------------------------------------------------------------------------------