Electabuzz

v1.5.0-alpha.1 -- Electabuzz -- is the alpha release for the coming Electra upgrade.

It is the spec target of pectra-devnet-0, with bug fixes on test cases and new fork tests.

It also includes the new EIP-7594 (PeerDAS) tests with new test formats for general/eip7594/kzg and {mainnet, minimal}/eip7594/networking/get_custody_columns.

PR showing full diff can be found here: #3725

Electra

• [non-substantive] Refactor upgrade_to_electra() in #3711
• [non-substantive] Minor comment on ExecutionLayerWithdrawalRequest #3707

Experimental

EIP7594 (PeerDAS)

DAS Core

• Make get_custody_columns return sorted values and add get_custody_columns #3715
• Fix EIP7594_FORK_VERSION test #3730

Cryptography

Shout out to @kevaundray, @jtraglia, and @asn-d6!

• Rename CELLS_PER_BLOB to CELLS_PER_EXT_BLOB #3694
• Change g2_lincomb to take in G2Point #3692
• Fix and elaborates on comments #3695
• For compute_kzg_proof_multi remove remainder polynomial when in monomial form #3696
• Change recover_polynomial to recover_all_cells #3702
• Remove extra return value in construct_vanishing_polynomial #3704
• Add more description for the kzg verify algorithm by #3703
• Add a new config MAX_EXTENDED_MATRIX_SIZE #3708
• Add BLS_MODULUS to places where the result of a subtraction can be negative #3709
• Integrate new CosetEvals type by #3701
• Use CELLS_PER_EXT_BLOB to compute the number of columns #3710
• Make List Copy explicit in divide_polynomialcoeff #3706
• Add asserts for public functions #3684
• Use py-arkworks's multi-exp method inside of g1_lincomb and g2_lincomb #3714
• Replace "proofs" with "kzg_proofs" in function names #3727
• Fix bls.multi_exp when using py_ecc #3730

Testing, repo, etc

• Fix and move test_multiple_consolidations_* tests to sanity block tests #3724
• Fix consolidation test_invalid_*_signature tests #3728
• Add Electra fork tests #3720
• Add EIP-7594 to TESTGEN_FORKS #3721
• Add kzg_7594 test formats #3718
• Add initial version of kzg_7594 test generator #3693
• Rename formats/kzg to formats/kzg_4844 #3716
• Fix test_effective_balance_hysteresis_with_compounding_credentials test #3730
• Enable EIP7594 merkle proof testgen and use bls.use_fastest() in default testgen #3732