Add Plutus V3 support

[nielstron]

This PR adds all features added to UPLC in PlutusV3. It meanwhile attempts to remain backwards compatible and will still be able to exectue PlutusV2 and PlutusV1 code. The newly added features comprise the following:

• Bitprimitives (https://cips.cardano.org/cip/CIP-0058)
• new crypto primitives (https://iohk.io/en/blog/posts/2024/02/12/unlocking-more-opportunities-with-plutus-v3/)
• bls12-358 builtins (group 1, group2 and ML-results) and corresponding mul, add, millerloop builtin functions
• sum of product types (i.e. case and constr new plutus v3 terms and their encodings (+ ensuring they can only be used in PlutusV3 and later, https://cips.cardano.org/cip/CIP-0085)
• cost functions thereof

To confirm the correctness of all operations, we have ported all conformance tests from the official plutus repository and ensure that outputs and computed cost match exactly. We further added case/constr to automatically generated programs used in property-based tests to ensure consistent encoding, decoding, parsing and serializing. Moreover a golden encoding for the sum-of-product terms case and constr has been ported from the aiken repository.

[socket-security]

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher
pypi/[email protected]	environment, eval, filesystem, shell, unsafe	0	1.51 MB	hynek
pypi/[email protected]	None	0	0 B
pypi/[email protected]	environment, eval, filesystem	0	757 kB	sgriffiths
pypi/[email protected]	environment, filesystem, network	0	255 kB	blockfrost
pypi/[email protected]	environment, filesystem, network	0	110 kB
pypi/[email protected]	environment, eval, filesystem, network, shell	0	210 kB	nalyd88
pypi/[email protected]	filesystem	0	309 kB	Lukasa
pypi/[email protected]	eval, filesystem	0	787 kB	Ousret
pypi/[email protected]	None	0	0 B
pypi/[email protected]	environment, filesystem, network, shell	0	454 kB	xolox
pypi/[email protected]	environment, eval, filesystem, network, shell, unsafe	0	19.5 MB	reaperhulk
pypi/[email protected]	None	0	0 B
pypi/[email protected]	environment, filesystem, network, shell	0	511 kB	aiordache, ccrone, dev-tooling-team, ...4 more
pypi/[email protected]	eval, filesystem, network	0	4.54 MB	horejsek
pypi/[email protected]	None	0	0 B
pypi/[email protected]	environment, eval, filesystem, shell	0	691 kB	xolox
pypi/[email protected]	None	0	0 B
pypi/[email protected]	filesystem	0	368 kB	matejcik, satoshilabs, stick
pypi/[email protected]	eval, filesystem	0	746 kB	willie_viperscience
pypi/[email protected]	environment, filesystem, network, shell, unsafe	0	24.5 MB	ijl
pypi/[email protected]	environment, eval, filesystem, shell	0	2.47 MB	brettcannon, dstufft, pf_moore, ...1 more
pypi/[email protected]	filesystem	0	580 kB	tseaver
pypi/[email protected]	environment, eval, filesystem, network, shell, unsafe	0	1.51 MB
pypi/[email protected]	environment, eval, filesystem, network, shell	0	3.75 MB
pypi/[email protected]	environment, eval, filesystem, network, shell	0	347 kB	asottile
pypi/[email protected]	unsafe	0	802 kB	nielstron
pypi/[email protected]	None	0	0 B
pypi/[email protected]	environment, eval, filesystem, network, unsafe	0	9.98 MB	Legrandin

🚮 Removed packages: pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected], pypi/[email protected]

View full report↗︎