fix: fix line ending mismatch for windows
Signed-off-by: Jonathan Lim <[email protected]>
Signed-off-by: Jonathan Lim <[email protected]>
Complete coverage of the BLS12-381 prelude builtins so protocols no longer need to blend raw builtins with stdlib: - g1.neg / g2.neg: additive inverse of a curve point (previously only inlined inside `sub`). `sub` now reuses `neg`/`add`. - pairing.mul: multiply two `MillerLoopResult` together, aggregating pairings before a final verification (wraps bls12_381_mul_miller_loop_result). Adds property tests: P + (-P) = 0, -P = 0 - P, P - P = 0, and pairing bilinearity (e(P,Q)^2 = e(2P,Q); e(P,Q)*e(P,Q') = e(P, Q+Q')). Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Chris Gianelloni <[email protected]>
Signed-off-by: Jonathan Lim <[email protected]>
`Cardano.Ledger.Shelley.API.Types` keeps re-exporting the deprecated `Shelley*` rule names (sourced from `Cardano.Ledger.Shelley.Era`) rather than the new ones, since this module will eventually be removed. Update the internal call sites to import the new rule names from `Cardano.Ledger.Shelley.Rules` directly.
- `BabbageLEDGER` -> `LEDGER` - `BabbageUTXO` -> `UTXO` - `BabbageUTXOS` -> `UTXOS` - `BabbageUTXOW` -> `UTXOW`
- `ConwayBBODY` -> `BBODY` - `ConwayCERT` -> `CERT` - `ConwayCERTS` -> `CERTS` - `ConwayDELEG` -> `DELEG` - `ConwayENACT` -> `ENACT` - `ConwayEPOCH` -> `EPOCH` - `ConwayGOV` -> `GOV` - `ConwayGOVCERT` -> `GOVCERT` - `ConwayHARDFORK` -> `HARDFORK` - `ConwayLEDGER` -> `LEDGER` - `ConwayMEMPOOL` -> `MEMPOOL` - `ConwayNEWEPOCH` -> `NEWEPOCH` - `ConwayRATIFY` -> `RATIFY` - `ConwayTICKF` -> `TICKF` - `ConwayUTXO` -> `UTXO` - `ConwayUTXOS` -> `UTXOS` - `ConwayUTXOW` -> `UTXOW`
- `DijkstraBBODY` -> `BBODY` - `DijkstraCERT` -> `CERT` - `DijkstraGOV` -> `GOV` - `DijkstraGOVCERT` -> `GOVCERT` - `DijkstraLEDGER` -> `LEDGER` - `DijkstraMEMPOOL` -> `MEMPOOL` - `DijkstraSUBCERT` -> `SUBCERT` - `DijkstraSUBCERTS` -> `SUBCERTS` - `DijkstraSUBDELEG` -> `SUBDELEG` - `DijkstraSUBGOV` -> `SUBGOV` - `DijkstraSUBGOVCERT` -> `SUBGOVCERT` - `DijkstraSUBLEDGER` -> `SUBLEDGER` - `DijkstraSUBLEDGERS` -> `SUBLEDGERS` - `DijkstraSUBPOOL` -> `SUBPOOL` - `DijkstraSUBUTXO` -> `SUBUTXO` - `DijkstraSUBUTXOW` -> `SUBUTXOW` - `DijkstraUTXO` -> `UTXO` - `DijkstraUTXOW` -> `UTXOW`
- `AlonzoBBODY` -> `BBODY` - `AlonzoLEDGER` -> `LEDGER` - `AlonzoUTXO` -> `UTXO` - `AlonzoUTXOS` -> `UTXOS` - `AlonzoUTXOW` -> `UTXOW`