Merge pull request #52 from pragma-org/cip-133-bls-msm
Implements bls12 MultiScalarMul
Implements bls12 MultiScalarMul
Signed-off-by: Chris Gianelloni <[email protected]>
Co-authored-by: sg-doc-holiday[bot] <219201796+sg-doc-holiday[bot]@users.noreply.github.com>
- Replace bilinear value_contains with O(n+m) sorted lockstep merge - Cache negative_count in LedgerValue for O(1) checks - Add size short-circuit matching Haskell valueContains - Replace UnValueData(&'static str) with typed enum - Add valueDataMaxSize (40,000) check to value_data - Enforce CIP-153 invariants in flat decode (ordering, no zeros, no empty maps) - Remove redundant MachineError::value() helper Signed-off-by: Jonathan Lim <[email protected]>
* Add FromJSON (TxOut era) as EraTxOut superclass constraint * Add FromJSON t as Val t superclass constraint * Add ToJSON/FromJSON for Datum era * Add FromJSON for ShelleyTxOut, AlonzoTxOut, BabbageTxOut * Add FromJSON for MaryValue; fix FromJSON/FromJSONKey for AssetName to hex-decode * Add round-trip JSON property test for TxOut era
* Add ToJSON, FromJSON and NFData as EraTxWits superclass constraints * Add ToJSON/FromJSON for WitVKey, BootstrapWitness * Add ToJSONKey/FromJSONKey for AccountId * Add ToJSON/FromJSON for Inclusive and Exclusive * Add FromJSON for TxIn; fix txInToText to use unTxIx * Add FromJSON for PoolCert * Add ToJSON/FromJSON for ShelleyTxWits era * Add FromJSON for AsIx, AlonzoPlutusPurpose AsIx, TxDats, Redeemers, AlonzoTxWits * Add FromJSON for ConwayDelegCert, ConwayGovCert, ConwayTxCert era, ConwayPlutusPurpose * Add FromJSON for GovActionId, Voter, Vote, VotingProcedure, ProposalProcedure, GovAction, GovPurposeId * Add ToJSON/FromJSON for AccountBalanceInterval, DijkstraScript * Add FromJSON for DijkstraDelegCert, DijkstraTxCert era * Add round-trip JSON property test for TxWits era
* Add ToJSON/FromJSON and NFData as EraTxAuxData superclass constraints * Add ToJSON/FromJSON for Metadatum * Add ToJSON/FromJSON for Data era and PlutusBinary * Add FromJSON for PoolCert, ConwayGovCert, DijkstraDelegCert, DijkstraTxCert era * Add ToJSON/FromJSON for ShelleyTxAuxData, AllegraTxAuxData, AlonzoTxAuxData * Add round-trip JSON property test for TxAuxData era
* Add ToJSON/FromJSON as superclass constraints to EraScript * Add ToJSON/FromJSON instances for MultiSig, Timelock and DijkstraNativeScript * Add structured JSON serialisation for native scripts across all eras (Shelley, Allegra, Dijkstra) * Add ToJSON/FromJSON instances for AlonzoScript with structured JSON format * Rename kindObject (returning Value) to kindObjectValue; add new kindObject returning Aeson.Object * Fix shelleyBasedEraNativeScriptToJSON and sizedNativeScriptGens to accept a child continuation to correctly handle nested scripts across eras * Add round-trip JSON property tests for NativeScript and Script to the shared era spec
Signed-off-by: Doc Holiday <[email protected]> Signed-off-by: Doc Holiday <[email protected]>
Signed-off-by: Doc Holiday <[email protected]> Signed-off-by: Doc Holiday <[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: Tripura Repalle <[email protected]>
Signed-off-by: akrepala <[email protected]>
Signed-off-by: akrepala <[email protected]>
Update index-state