Sigma release v5.0.3 for Ergo mainnet v5.0.x

What's Changed

• Remove v4.x implementation from Interpreter #795
• ErgoScripit compiler without AOT costing #797
• Refactor tests #802
• Remove all AOT costing code #801
• Allow nested BoolToSigmaProp in historical transactions #829

Related PR: #811

Full Changelog: v5.0.2...v5.0.3

Sigma release v5.0.2 for Ergo mainnet v5.0.x

What's Changed

• remove incorrect comment regarding max tokens limit in tx serialization; by @greenhat in #818
• ErgoBoxCandidate.tokens does not account for same token multiple times in array by @MrStahlfelge in #839

New Contributors

• @MrStahlfelge made their first contribution in #839

Full Changelog: v5.0.1...v5.0.2

Sigma release v5.0.1 for Ergo mainnet v5.0.x

This release fixes incompatibility bugs in v5.0.0:

• 5.0.0 interpreter introducing breaking changes in deserialization of a Tuple instance stored in register #836
• Breaking serialization changes in 5.0.0 caused by switching from getUInt.toInt to getUIntExact #837

Related PR:

• Release Candidate v5.0.1 by @aslesarenko in #835

Full Changelog: v5.0.0...v5.0.1

Sigma release v5.0.0 for Ergo mainnet v5.0.x

This release delivers the new implementation of ErgoTree interpreter with Just-in-Time (JIT) costing.
In this release both v4.x and v5.0 interpreters are implemented side-by-side. The old interpreter (v4.x) is used before version 3 of Ergo Protocol is activated after that the new interpreter (v5.0) is used.
This switch happens automatically based on activated protocol version passed in context parameters.

Summary of changes

• AOT costing of ErgoTree has been replaced by JIT costing
• introduced new AOT costing of signature verification
• fixed bugs in xorOf global operation, CONTEXT.selfBoxIndex, Coll.append (++ operation), Coll.zip, substConstants
• removed limitations on lambda argument of Coll.flatMap
• significant performance optimizations (2-3x) of contracts evaluation
• reduced memory footprint of interpreter
• code cleanups and documentation

What's Changed

• Re-introduce SigmaCompiler constructor with networkPrefix (#755)
• Encapsulate Interpreter.evaluationMode selection (#753)
• Use JitCost type (#756)
• Interpreter with new costing (#738)
• Activation of v5.0 (#748)
• Implement validation for positive integer parsing (#762)
• Implemented simple cases of // TODO optimize (#761)
• Fix XorOf operation (#760, #777)
• Fix non-lazy if statement (make the branches lazy) (#763)
• Protected methods in Interpreter (#768)
• Resolve all TODO v5.0 (#767)
• Fix Zip and Append operations (#771)
• Add new test for headers (#780)
• Fix CONTEXT.selfBoxIndex method (#772)
• Fix SubstConstants operation (#773)
• Fix Coll.flatMap method (#775, #790)
• Test for Coll.map inside Coll.fold (#788)
• Added Coll.flatMap test (#786)
• Added AvlTree.contains test (#787)
• Testing of JIT costing for changed ErgoTree features (#791)
• Resolve all TODO mainnet(#779)
• Adding fromBase16 to the frontend (#737)
• Add JIT costing tests vectors (#785)
• Support for registers with Unit value (#817)

Contributors

• @aslesarenko
• @greenhat
• @jozanek made their first contribution in #762
• @thub1271 made their first contribution in #737

Full Changelog: v4.0.7...v5.0.0

ErgoScript release v4.0.7 for Ergo mainnet v4.0.x

What's Changed

• Fix RoboVM incompatibility by @aslesarenko in #826

Full Changelog: v4.0.6...v4.0.7

ErgoScript release v4.0.6 for Ergo mainnet v4.0.x

What's Changed

• Fix possible race condition in PrecompiledScriptReducer by @aslesarenko in #793

Full Changelog: v4.0.5...v4.0.6

ErgoScript release v4.0.5 for Ergo mainnet v4.0.x

What's Changed

• Preparation refactoring towards v5.0 (part 3) by @aslesarenko in #732
• Preparation refactoring towards v5.0 (part 4) by @aslesarenko in #733
• Java 7 Runtime compatibility by @aslesarenko in #736
• add ProveDHTuple test vectors to SigningSpecification; by @greenhat in #729
• Removing unused code by @kushti in #740
• Preparation refactoring towards v5.0 (part 5) by @aslesarenko in #734
• Paradise and macro-compat dependencies removed by @kushti in #745
• Scalanizer subproject removed by @kushti in #743
• sigma-conf subproject removed by @kushti in #746
• Refactor ExactIntegral and ExactNumeric by @aslesarenko in #742
• Release v4.0.5 by @aslesarenko in #751

ErgoScript release v4.0.4 for Ergo mainnet v4.0.x

In this release:

• test vectors for prove/verify Interpreter operations (#718)
• optimization of signature parsing and verification (#719)
• optimization of SigSerializer and FiatShamirTree
• support parsing partially serialized signatures
• fixed roundtrip property for SigSerializer
• add Sigma AND, OR test vectors (#724)
• update GPG signing key for release (#725)
• missing ScalaDocs added
• preparation towards v5.0 (#720, #726)
• Update of LangSpec.md (#727) and README.md (#728)
• code refactoring and cleanup

Contributors: @aslesarenko @greenhat @pragmaxim

Related PR: #730

ErgoScript release v4.0.3 for Ergo mainnet v4.0.x

Optimizations of TX verification (#716)

• avoiding unnecessary allocations during deserialization of ErgoBox
• Fast verification of ErgoTrees containing only sigma propositions (SigmaPropConstant)
• implemented PrecompiledScriptProcessor with internal cache of precompiled graphs ready for repeated evaluation in different contexts.

ErgoScript release v4.0.2 for Ergo mainnet v4.0.x

Optimizations of TX verification (#716)

• avoiding unnecessary allocations during deserialization of ErgoBox
• Fast verification of ErgoTrees containing only sigma propositions (SigmaPropConstant)
• implemented PrecompiledScriptProcessor with internal cache of precompiled graphs ready for repeated evaluation in different contexts.

Related PR: #717