refactor(halo2_ivc): delete temporary Certificate circuit duplicate
May 07, 5-6 AM (33)
May 07, 6-7 AM (97)
May 07, 7-8 AM (236)
May 07, 8-9 AM (42)
May 07, 9-10 AM (29)
May 07, 10-11 AM (55)
May 07, 11-12 PM (40)
May 07, 12-1 PM (59)
May 07, 1-2 PM (48)
May 07, 2-3 PM (48)
May 07, 3-4 PM (44)
May 07, 4-5 PM (58)
May 07, 5-6 PM (11)
May 07, 6-7 PM (25)
May 07, 7-8 PM (30)
May 07, 8-9 PM (12)
May 07, 9-10 PM (18)
May 07, 10-11 PM (65)
May 07, 11-12 AM (21)
May 08, 12-1 AM (6)
May 08, 1-2 AM (20)
May 08, 2-3 AM (19)
May 08, 3-4 AM (9)
May 08, 4-5 AM (3)
May 08, 5-6 AM (21)
May 08, 6-7 AM (20)
May 08, 7-8 AM (53)
May 08, 8-9 AM (34)
May 08, 9-10 AM (12)
May 08, 10-11 AM (32)
May 08, 11-12 PM (40)
May 08, 12-1 PM (30)
May 08, 1-2 PM (46)
May 08, 2-3 PM (46)
May 08, 3-4 PM (26)
May 08, 4-5 PM (23)
May 08, 5-6 PM (29)
May 08, 6-7 PM (15)
May 08, 7-8 PM (10)
May 08, 8-9 PM (15)
May 08, 9-10 PM (16)
May 08, 10-11 PM (23)
May 08, 11-12 AM (12)
May 09, 12-1 AM (4)
May 09, 1-2 AM (1)
May 09, 2-3 AM (0)
May 09, 3-4 AM (6)
May 09, 4-5 AM (6)
May 09, 5-6 AM (2)
May 09, 6-7 AM (6)
May 09, 7-8 AM (4)
May 09, 8-9 AM (4)
May 09, 9-10 AM (3)
May 09, 10-11 AM (9)
May 09, 11-12 PM (6)
May 09, 12-1 PM (21)
May 09, 1-2 PM (24)
May 09, 2-3 PM (12)
May 09, 3-4 PM (14)
May 09, 4-5 PM (7)
May 09, 5-6 PM (0)
May 09, 6-7 PM (2)
May 09, 7-8 PM (3)
May 09, 8-9 PM (1)
May 09, 9-10 PM (8)
May 09, 10-11 PM (33)
May 09, 11-12 AM (16)
May 10, 12-1 AM (15)
May 10, 1-2 AM (0)
May 10, 2-3 AM (0)
May 10, 3-4 AM (5)
May 10, 4-5 AM (0)
May 10, 5-6 AM (4)
May 10, 6-7 AM (0)
May 10, 7-8 AM (17)
May 10, 8-9 AM (8)
May 10, 9-10 AM (1)
May 10, 10-11 AM (26)
May 10, 11-12 PM (4)
May 10, 12-1 PM (49)
May 10, 1-2 PM (18)
May 10, 2-3 PM (8)
May 10, 3-4 PM (15)
May 10, 4-5 PM (26)
May 10, 5-6 PM (11)
May 10, 6-7 PM (7)
May 10, 7-8 PM (23)
May 10, 8-9 PM (12)
May 10, 9-10 PM (10)
May 10, 10-11 PM (29)
May 10, 11-12 AM (19)
May 11, 12-1 AM (12)
May 11, 1-2 AM (5)
May 11, 2-3 AM (5)
May 11, 3-4 AM (7)
May 11, 4-5 AM (3)
May 11, 5-6 AM (12)
May 11, 6-7 AM (28)
May 11, 7-8 AM (60)
May 11, 8-9 AM (34)
May 11, 9-10 AM (77)
May 11, 10-11 AM (55)
May 11, 11-12 PM (78)
May 11, 12-1 PM (84)
May 11, 1-2 PM (102)
May 11, 2-3 PM (41)
May 11, 3-4 PM (27)
May 11, 4-5 PM (24)
May 11, 5-6 PM (26)
May 11, 6-7 PM (42)
May 11, 7-8 PM (53)
May 11, 8-9 PM (57)
May 11, 9-10 PM (22)
May 11, 10-11 PM (49)
May 11, 11-12 AM (19)
May 12, 12-1 AM (2)
May 12, 1-2 AM (2)
May 12, 2-3 AM (3)
May 12, 3-4 AM (4)
May 12, 4-5 AM (8)
May 12, 5-6 AM (11)
May 12, 6-7 AM (17)
May 12, 7-8 AM (25)
May 12, 8-9 AM (25)
May 12, 9-10 AM (35)
May 12, 10-11 AM (82)
May 12, 11-12 PM (98)
May 12, 12-1 PM (38)
May 12, 1-2 PM (69)
May 12, 2-3 PM (54)
May 12, 3-4 PM (41)
May 12, 4-5 PM (56)
May 12, 5-6 PM (29)
May 12, 6-7 PM (24)
May 12, 7-8 PM (24)
May 12, 8-9 PM (18)
May 12, 9-10 PM (8)
May 12, 10-11 PM (40)
May 12, 11-12 AM (19)
May 13, 12-1 AM (10)
May 13, 1-2 AM (2)
May 13, 2-3 AM (4)
May 13, 3-4 AM (2)
May 13, 4-5 AM (5)
May 13, 5-6 AM (29)
May 13, 6-7 AM (51)
May 13, 7-8 AM (42)
May 13, 8-9 AM (44)
May 13, 9-10 AM (21)
May 13, 10-11 AM (22)
May 13, 11-12 PM (47)
May 13, 12-1 PM (25)
May 13, 1-2 PM (42)
May 13, 2-3 PM (45)
May 13, 3-4 PM (42)
May 13, 4-5 PM (33)
May 13, 5-6 PM (29)
May 13, 6-7 PM (49)
May 13, 7-8 PM (31)
May 13, 8-9 PM (8)
May 13, 9-10 PM (24)
May 13, 10-11 PM (29)
May 13, 11-12 AM (11)
May 14, 12-1 AM (18)
May 14, 1-2 AM (3)
May 14, 2-3 AM (4)
May 14, 3-4 AM (18)
May 14, 4-5 AM (11)
May 14, 5-6 AM (2)
4,385 commits this week
May 07, 2026
-
May 14, 2026
refactor(halo2_ivc): replace Certificate with StmCircuit in halo2_ivc generators
cleanup: remove stale cabal.project comment about upstream patches
The GetDRepDelegations patch history note is better suited to commit message than an inline comment that will lack context over time. The SRPs were removed and are now obtained directly from CHaP. Co-Authored-By: Claude <[email protected]>
update: drop Babbage era support from transaction evaluation
Babbage is old enough to be removed per era rotation policy. Route Babbage transactions to unsupportedEra, keeping only Conway and Dijkstra as active evaluation eras. Co-Authored-By: Claude <[email protected]>
update: simplify TxSubmission era translations to sameEra or conwayToDijkstra
Remove babbageToConway and babbageToDijkstra translation paths, keeping only sameEra and conwayToDijkstra as suggested in review. Co-Authored-By: Claude <[email protected]>
refactor: rename Dijkstra module aliases from Dp to Di for consistency
Align with the two-letter era alias convention used throughout the codebase (Sh, Al, Ba, Cn). Also qualify Cardano.Ledger.Core as Ledger.Core for clarity. Co-Authored-By: Claude <[email protected]>
fix: add Dijkstra encoders for queries, remove remaining unsafeCoerce
Add encodePParams, encodeUtxo, encodeGovActionState, and govProposals to Dijkstra.hs. Replace all unsafeCoerce in Query.hs with these proper Dijkstra-era encoders. Co-Authored-By: Claude <[email protected]>
fix: add proper Dijkstra JSON encoders, remove unsafeCoerce from PredicateFailure
Add ~400 lines of Dijkstra-era encoding functions (encodeTxOut, encodeNativeScript, encodeDelegCert, encodeScriptPurpose, etc.) so PredicateFailure.hs can use them instead of unsafeCoercing through Conway encoders. Co-Authored-By: Claude <[email protected]>
fix: replace unsafeCoerce with Dijkstra-specific mempool failure encoder
Add encodeMempoolFailure for Dijkstra era and two new predicate failures (PointerAddressInCollateralReturn, SpendingOutputFromSubTransaction) rather than unsafeCoercing through Conway's encodeLedgerFailure. Co-Authored-By: Claude <[email protected]>
fix: replace unsafeCoerce with type-safe era upgrades in EraTranslation
Use upgradeTxOut and fmap upgrade for BabbageTxOut and UTxO Dijkstra era translations instead of unsafeCoerce. Co-Authored-By: Claude <[email protected]>
update: adapt tests and vectors for Dijkstra era
Update test generators, specs, and orphan instances to include Dijkstra era patterns. Add Dijkstra entry to deserialization failure test data. Fix BootstrapVote voter schema to use ExtendedVerificationKey. Update all test vector JSON files for the new era. Co-Authored-By: Claude <[email protected]>
update: add Dijkstra era support for cardano-node 11.0
Add ShelleyBasedEraDijkstra and QueryIfCurrentDijkstra pattern matches across all encoding, decoding, query, and predicate failure modules. Introduce Ogmios.Data.Json.Dijkstra with CBOR bridge functions for type conversion between the nominally distinct Dijkstra and Conway ledger types. Update era indices, codec configs, and the Prelude era list. Adapt Rewards module to new ledger API types (NonZero, ChainAccountState, StakeWithDelegation). Re-enable GetDRepDelegations query now that NodeToClientV_23 is available in cardano-node 11.0.1. Co-Authored-By: Claude <[email protected]>
bump: dependencies and CI for cardano-node 11.0
Update cabal.project constraints, index-state, and dependency bounds for cardano-node 11.0.1 (ouroboros-consensus 3.0.1, cardano-ledger-conway >= 1.22.1). Update Dockerfile, CI workflows, and JSON schemas to reference the new node version and include the Dijkstra era. Co-Authored-By: Claude <[email protected]>
Artifacts generated from 31bf81db693cdd9366ff80a31af63edd9aad3838
Merge branch 'main' into dependabot/github_actions/actions-deps-c974e643e2
Merge branch 'main' into dependabot/npm_and_yarn/tests/performance-tests/agent-performance-tests-k6/fast-uri-3.1.2
adopt improvements from PR #1169
simplify and improve Conway Certs PoV proofs
Update Certs PoV proofs for direct-deposit application in POST-CERT (CIP-159)
After direct-deposit application moved from LEDGER-V/SUBLEDGER-V into the
POST-CERT rule, the Certs preservation-of-value proofs needed to account for
the `getCoin (DirectDepositsOf Γ)` increase that POST-CERT now produces via
`rewards ∪⁺ directDeposits`.
Statement changes:
- POST-CERT-pov: getCoin s ≡ getCoin s'
→ getCoin s + getCoin (DirectDepositsOf Γ) ≡ getCoin s'
- sts-pov: gains a `+ getCoin (DirectDepositsOf Γ)` term on the LHS
- CERTS-pov: becomes the symmetric "consumed = produced" form
getCoin s₁ + getCoin (DirectDepositsOf Γ)
≡ getCoin sₙ + getCoin (WithdrawalsOf Γ)
Structural changes:
- POST-CERT-pov and sts-pov move into the parameterized `Certs-Pov-lemmas`
sub-module (alongside PRE-CERT-pov), since they now require a fourth
module parameter:
indexedSumᵛ'-∪⁺ : ∀ (m m' : Rewards) → getCoin (m ∪⁺ m') ≡ getCoin m + getCoin m'
This is the natural ∪⁺ analogue of the existing `indexedSumᵛ'-∪` lemma for
`∪ˡ` on disjoint domains, but unconditional because `∪⁺` adds (rather than
drops) values at shared keys. TODO: upstream to agda-sets.
- `Certs-PoV` (in PoV.lagda.md) gains the same parameter and forwards it.
CERT-pov and PRE-CERT-pov are unchanged: the CERT and PRE-CERT rules did
not change in this refactor.
Closes part of #1185.
[Dijkstra] CIP-159-11a: Prove Certs preservation of value (#1185)
Merge branch 'main' into update/main/sbt
Merge branch 'main' into dependabot/npm_and_yarn/fast-uri-3.1.2
Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <[email protected]>
Re-parameterize moved Equivalence.Map for src-lib-exts
Now that the file lives at `src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra.lagda.md`: + Update the top-level module declaration to `module abstract-set-theory.Axiom.Set.Map.Extra (th : Theory) where`, matching the rest of the abstract-set-theory subtree. + Replace `open import Ledger.Prelude` with explicit imports from `abstract-set-theory.Prelude` and stdlib modules. `src-lib-exts/` cannot depend on `Ledger.Prelude` (upward dependency). + Inline the five-line `_≢ᵐ_` definition that previously lived in the standalone `Extra.agda`, and delete `Extra.agda`. + Convert the file to literate-markdown formatting with brief section prose; the module body is otherwise unchanged. + Update the single downstream caller (`Ledger.Conway.Conformance.Equivalence.Deposits`) to import from the new location. Closes #1194
didn't notice directory name was still wrong