![sg-doc-holiday[bot]](https://avatars.githubusercontent.com/in/1508860?v=4&s=80)
Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&s=80)
Bumps [github.com/consensys/gnark-crypto](https://github.com/consensys/gnark-crypto) from 0.20.0 to 0.20.1. - [Release notes](https://github.com/consensys/gnark-crypto/releases) - [Changelog](https://github.com/Consensys/gnark-crypto/blob/master/CHANGELOG.md) - [Commits](https://github.com/consensys/gnark-crypto/compare/v0.20.0...v0.20.1) --- updated-dependencies: - dependency-name: github.com/consensys/gnark-crypto dependency-version: 0.20.1 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 5.5.2 to 5.5.3. - [Release notes](https://github.com/codecov/codecov-action/releases) - [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/codecov/codecov-action/compare/671740ac38dd9b0130fbe1cec585b89eea48d3de...1af58845a975a7985b0beb0cbe6fbbb71a41dbad) --- updated-dependencies: - dependency-name: codecov/codecov-action dependency-version: 5.5.3 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
* fix(cek): remove BIP-146 low-s enforcement from verifyEcdsaSecp256k1Signature Cardano's CIP-0049 uses libsecp256k1's secp256k1_ecdsa_verify which does NOT enforce BIP-146 low-s normalization. The IsOverHalfOrder() check was Bitcoin-specific and caused evaluation disagreements with cardano-node on blocks containing cross-chain bridge scripts that produce high-s ECDSA signatures. Also wraps btcec.ParsePubKey errors in BuiltinError for consistency with other validation error paths. Signed-off-by: wcatz <[email protected]> * fix(cek): use static test vector in ECDSA high-s test Replace fragile DER decoding with the known high-s test vector from conformance test-vector-03. Fixes panic on CI from DER encoding edge cases with variable-length integer padding. Signed-off-by: wcatz <[email protected]> --------- Signed-off-by: wcatz <[email protected]>
Replace fragile DER decoding with the known high-s test vector from conformance test-vector-03. Fixes panic on CI from DER encoding edge cases with variable-length integer padding. Signed-off-by: wcatz <[email protected]>
Cardano's CIP-0049 uses libsecp256k1's secp256k1_ecdsa_verify which does NOT enforce BIP-146 low-s normalization. The IsOverHalfOrder() check was Bitcoin-specific and caused evaluation disagreements with cardano-node on blocks containing cross-chain bridge scripts that produce high-s ECDSA signatures. Also wraps btcec.ParsePubKey errors in BuiltinError for consistency with other validation error paths. Signed-off-by: wcatz <[email protected]>
The flat encoder had two bugs that caused Encode(Decode(bytes)) to produce different bytes than the original input. This broke script hash derivation when applying parameters to compiled Plutus scripts in Go, since the re-encoded bytes differed from what reference implementations (Blaze SDK, Aiken) produce. Bug 1: bits() used direct byte manipulation for multi-bit writes (3+ bits) that packed bits incorrectly across byte boundaries. Replaced with a simple MSB-to-LSB loop delegating to one()/zero(), matching the reference flat encoder's pushBits() approach. Bug 2: encodeConstantType() for TList and TPair was missing the list-continuation marker bits (one()) before each type tag. The decoder reads constant type tags via DecodeList, which expects a 1-bit before each tag entry, but the encoder wrote raw tags without these delimiters. Added a roundtrip test using a synthetic UPLC program that exercises all term types (Lambda, Apply, Var, Constant, Force, Delay, Builtin, Constr, Case, Error) and constant types (Integer, ByteString, Bool, Data). Signed-off-by: Pascal Grange <[email protected]>
Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 5.5.2 to 5.5.3. - [Release notes](https://github.com/codecov/codecov-action/releases) - [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/codecov/codecov-action/compare/671740ac38dd9b0130fbe1cec585b89eea48d3de...1af58845a975a7985b0beb0cbe6fbbb71a41dbad) --- updated-dependencies: - dependency-name: codecov/codecov-action dependency-version: 5.5.3 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
Bumps [github.com/consensys/gnark-crypto](https://github.com/consensys/gnark-crypto) from 0.20.0 to 0.20.1. - [Release notes](https://github.com/consensys/gnark-crypto/releases) - [Changelog](https://github.com/Consensys/gnark-crypto/blob/master/CHANGELOG.md) - [Commits](https://github.com/consensys/gnark-crypto/compare/v0.20.0...v0.20.1) --- updated-dependencies: - dependency-name: github.com/consensys/gnark-crypto dependency-version: 0.20.1 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>