refactor(stm): rename IvcProvingSetup to IvcProverSetup, move prove_with_transcript to IvcProof, rename prover_input and proof locals
Jun 08, 6-7 AM (5)
Jun 08, 7-8 AM (25)
Jun 08, 8-9 AM (36)
Jun 08, 9-10 AM (41)
Jun 08, 10-11 AM (24)
Jun 08, 11-12 PM (22)
Jun 08, 12-1 PM (40)
Jun 08, 1-2 PM (48)
Jun 08, 2-3 PM (33)
Jun 08, 3-4 PM (27)
Jun 08, 4-5 PM (12)
Jun 08, 5-6 PM (23)
Jun 08, 6-7 PM (14)
Jun 08, 7-8 PM (3)
Jun 08, 8-9 PM (6)
Jun 08, 9-10 PM (19)
Jun 08, 10-11 PM (29)
Jun 08, 11-12 AM (8)
Jun 09, 12-1 AM (5)
Jun 09, 1-2 AM (3)
Jun 09, 2-3 AM (1)
Jun 09, 3-4 AM (3)
Jun 09, 4-5 AM (26)
Jun 09, 5-6 AM (5)
Jun 09, 6-7 AM (23)
Jun 09, 7-8 AM (51)
Jun 09, 8-9 AM (35)
Jun 09, 9-10 AM (45)
Jun 09, 10-11 AM (51)
Jun 09, 11-12 PM (46)
Jun 09, 12-1 PM (86)
Jun 09, 1-2 PM (84)
Jun 09, 2-3 PM (36)
Jun 09, 3-4 PM (38)
Jun 09, 4-5 PM (16)
Jun 09, 5-6 PM (18)
Jun 09, 6-7 PM (18)
Jun 09, 7-8 PM (19)
Jun 09, 8-9 PM (16)
Jun 09, 9-10 PM (16)
Jun 09, 10-11 PM (28)
Jun 09, 11-12 AM (10)
Jun 10, 12-1 AM (11)
Jun 10, 1-2 AM (16)
Jun 10, 2-3 AM (11)
Jun 10, 3-4 AM (19)
Jun 10, 4-5 AM (5)
Jun 10, 5-6 AM (2)
Jun 10, 6-7 AM (46)
Jun 10, 7-8 AM (82)
Jun 10, 8-9 AM (18)
Jun 10, 9-10 AM (59)
Jun 10, 10-11 AM (46)
Jun 10, 11-12 PM (134)
Jun 10, 12-1 PM (49)
Jun 10, 1-2 PM (33)
Jun 10, 2-3 PM (32)
Jun 10, 3-4 PM (28)
Jun 10, 4-5 PM (36)
Jun 10, 5-6 PM (12)
Jun 10, 6-7 PM (12)
Jun 10, 7-8 PM (38)
Jun 10, 8-9 PM (11)
Jun 10, 9-10 PM (10)
Jun 10, 10-11 PM (20)
Jun 10, 11-12 AM (7)
Jun 11, 12-1 AM (10)
Jun 11, 1-2 AM (2)
Jun 11, 2-3 AM (0)
Jun 11, 3-4 AM (2)
Jun 11, 4-5 AM (8)
Jun 11, 5-6 AM (12)
Jun 11, 6-7 AM (34)
Jun 11, 7-8 AM (106)
Jun 11, 8-9 AM (36)
Jun 11, 9-10 AM (20)
Jun 11, 10-11 AM (105)
Jun 11, 11-12 PM (25)
Jun 11, 12-1 PM (38)
Jun 11, 1-2 PM (37)
Jun 11, 2-3 PM (14)
Jun 11, 3-4 PM (20)
Jun 11, 4-5 PM (5)
Jun 11, 5-6 PM (7)
Jun 11, 6-7 PM (26)
Jun 11, 7-8 PM (90)
Jun 11, 8-9 PM (11)
Jun 11, 9-10 PM (5)
Jun 11, 10-11 PM (25)
Jun 11, 11-12 AM (5)
Jun 12, 12-1 AM (8)
Jun 12, 1-2 AM (2)
Jun 12, 2-3 AM (2)
Jun 12, 3-4 AM (4)
Jun 12, 4-5 AM (7)
Jun 12, 5-6 AM (15)
Jun 12, 6-7 AM (46)
Jun 12, 7-8 AM (19)
Jun 12, 8-9 AM (28)
Jun 12, 9-10 AM (22)
Jun 12, 10-11 AM (29)
Jun 12, 11-12 PM (42)
Jun 12, 12-1 PM (24)
Jun 12, 1-2 PM (26)
Jun 12, 2-3 PM (22)
Jun 12, 3-4 PM (38)
Jun 12, 4-5 PM (23)
Jun 12, 5-6 PM (19)
Jun 12, 6-7 PM (26)
Jun 12, 7-8 PM (12)
Jun 12, 8-9 PM (17)
Jun 12, 9-10 PM (5)
Jun 12, 10-11 PM (30)
Jun 12, 11-12 AM (6)
Jun 13, 12-1 AM (6)
Jun 13, 1-2 AM (2)
Jun 13, 2-3 AM (0)
Jun 13, 3-4 AM (3)
Jun 13, 4-5 AM (0)
Jun 13, 5-6 AM (3)
Jun 13, 6-7 AM (7)
Jun 13, 7-8 AM (5)
Jun 13, 8-9 AM (6)
Jun 13, 9-10 AM (14)
Jun 13, 10-11 AM (12)
Jun 13, 11-12 PM (2)
Jun 13, 12-1 PM (23)
Jun 13, 1-2 PM (21)
Jun 13, 2-3 PM (8)
Jun 13, 3-4 PM (0)
Jun 13, 4-5 PM (4)
Jun 13, 5-6 PM (4)
Jun 13, 6-7 PM (3)
Jun 13, 7-8 PM (3)
Jun 13, 8-9 PM (7)
Jun 13, 9-10 PM (16)
Jun 13, 10-11 PM (19)
Jun 13, 11-12 AM (24)
Jun 14, 12-1 AM (18)
Jun 14, 1-2 AM (0)
Jun 14, 2-3 AM (0)
Jun 14, 3-4 AM (0)
Jun 14, 4-5 AM (2)
Jun 14, 5-6 AM (0)
Jun 14, 6-7 AM (2)
Jun 14, 7-8 AM (3)
Jun 14, 8-9 AM (0)
Jun 14, 9-10 AM (1)
Jun 14, 10-11 AM (2)
Jun 14, 11-12 PM (10)
Jun 14, 12-1 PM (8)
Jun 14, 1-2 PM (4)
Jun 14, 2-3 PM (8)
Jun 14, 3-4 PM (2)
Jun 14, 4-5 PM (1)
Jun 14, 5-6 PM (1)
Jun 14, 6-7 PM (0)
Jun 14, 7-8 PM (11)
Jun 14, 8-9 PM (1)
Jun 14, 9-10 PM (13)
Jun 14, 10-11 PM (29)
Jun 14, 11-12 AM (23)
Jun 15, 12-1 AM (8)
Jun 15, 1-2 AM (10)
Jun 15, 2-3 AM (4)
Jun 15, 3-4 AM (4)
Jun 15, 4-5 AM (1)
Jun 15, 5-6 AM (3)
Jun 15, 6-7 AM (0)
3,302 commits this week
Jun 08, 2026
-
Jun 15, 2026
ci(stm): run IVC SNARK slow tests serially to avoid resource contention
Merge pull request #3322 from input-output-hk/jpraynaud/3147-certificate-chain-support-ivc-snark
feat: certificate chain support for IVC SNARK
build(deps): bump github.com/blinklabs-io/gouroboros
Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.181.0 to 0.183.0. - [Release notes](https://github.com/blinklabs-io/gouroboros/releases) - [Changelog](https://github.com/blinklabs-io/gouroboros/blob/main/RELEASE_NOTES.md) - [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.181.0...v0.183.0) --- updated-dependencies: - dependency-name: github.com/blinklabs-io/gouroboros dependency-version: 0.183.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps-dev): bump eslint from 9.39.2 to 10.5.0
Bumps [eslint](https://github.com/eslint/eslint) from 9.39.2 to 10.5.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Commits](https://github.com/eslint/eslint/compare/v9.39.2...v10.5.0) --- updated-dependencies: - dependency-name: eslint dependency-version: 10.5.0 dependency-type: direct:development update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps): bump react-dom from 19.2.4 to 19.2.7
Bumps [react-dom](https://github.com/facebook/react/tree/HEAD/packages/react-dom) from 19.2.4 to 19.2.7. - [Release notes](https://github.com/facebook/react/releases) - [Changelog](https://github.com/react/react/blob/main/CHANGELOG.md) - [Commits](https://github.com/facebook/react/commits/v19.2.7/packages/react-dom) --- updated-dependencies: - dependency-name: react-dom dependency-version: 19.2.7 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps): bump lucide-react from 1.7.0 to 1.18.0
Bumps [lucide-react](https://github.com/lucide-icons/lucide/tree/HEAD/packages/lucide-react) from 1.7.0 to 1.18.0. - [Release notes](https://github.com/lucide-icons/lucide/releases) - [Commits](https://github.com/lucide-icons/lucide/commits/1.18.0/packages/lucide-react) --- updated-dependencies: - dependency-name: lucide-react dependency-version: 1.18.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
docs: fix AnonCreds present-proof example — add required proofs field and use full registry URLs for cred_def_id/schema_id
Signed-off-by: Seydi Charyyev <[email protected]>
Merge branch 'staging' into docs/curriculum-spine
chore(deps-dev): bump eslint-config-next from 16.2.6 to 16.2.9
Bumps [eslint-config-next](https://github.com/vercel/next.js/tree/HEAD/packages/eslint-config-next) from 16.2.6 to 16.2.9. - [Release notes](https://github.com/vercel/next.js/releases) - [Changelog](https://github.com/vercel/next.js/blob/canary/release.js) - [Commits](https://github.com/vercel/next.js/commits/v16.2.9/packages/eslint-config-next) --- updated-dependencies: - dependency-name: eslint-config-next dependency-version: 16.2.9 dependency-type: direct:development update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps): bump github.com/blinklabs-io/gouroboros
Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.181.0 to 0.183.0. - [Release notes](https://github.com/blinklabs-io/gouroboros/releases) - [Changelog](https://github.com/blinklabs-io/gouroboros/blob/main/RELEASE_NOTES.md) - [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.181.0...v0.183.0) --- updated-dependencies: - dependency-name: github.com/blinklabs-io/gouroboros dependency-version: 0.183.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps-dev): bump tailwindcss from 3.4.19 to 4.3.1
Bumps [tailwindcss](https://github.com/tailwindlabs/tailwindcss/tree/HEAD/packages/tailwindcss) from 3.4.19 to 4.3.1. - [Release notes](https://github.com/tailwindlabs/tailwindcss/releases) - [Changelog](https://github.com/tailwindlabs/tailwindcss/blob/main/CHANGELOG.md) - [Commits](https://github.com/tailwindlabs/tailwindcss/commits/v4.3.1/packages/tailwindcss) --- updated-dependencies: - dependency-name: tailwindcss dependency-version: 4.3.1 dependency-type: direct:development update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps): bump lucide-react from 0.439.0 to 1.18.0
Bumps [lucide-react](https://github.com/lucide-icons/lucide/tree/HEAD/packages/lucide-react) from 0.439.0 to 1.18.0. - [Release notes](https://github.com/lucide-icons/lucide/releases) - [Commits](https://github.com/lucide-icons/lucide/commits/1.18.0/packages/lucide-react) --- updated-dependencies: - dependency-name: lucide-react dependency-version: 1.18.0 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>
chore(deps): bump the next group with 2 updates
Bumps the next group with 2 updates: [next](https://github.com/vercel/next.js) and [@next/bundle-analyzer](https://github.com/vercel/next.js/tree/HEAD/packages/next-bundle-analyzer). Updates `next` from 16.2.6 to 16.2.9 - [Release notes](https://github.com/vercel/next.js/releases) - [Changelog](https://github.com/vercel/next.js/blob/canary/release.js) - [Commits](https://github.com/vercel/next.js/compare/v16.2.6...v16.2.9) Updates `@next/bundle-analyzer` from 16.2.6 to 16.2.9 - [Release notes](https://github.com/vercel/next.js/releases) - [Changelog](https://github.com/vercel/next.js/blob/canary/release.js) - [Commits](https://github.com/vercel/next.js/commits/v16.2.9/packages/next-bundle-analyzer) --- updated-dependencies: - dependency-name: next dependency-version: 16.2.9 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: next - dependency-name: "@next/bundle-analyzer" dependency-version: 16.2.9 dependency-type: direct:development update-type: version-update:semver-patch dependency-group: next ... Signed-off-by: dependabot[bot] <[email protected]>
Fold cardano-cli into the Module 6 governance page
Module 6 had a Governance page (SDK how-tos) and a separate "Governance via cardano-cli" category covering the same operations plus deep ceremonies. Add cardano-cli as a third tab alongside Evolution and Mesh for each operation (register DRep, delegate, vote, propose, committee, query), and continue the deeper cli-only ceremonies inline: script and Plutus DReps, authoring each action type, committee cold/hot key management, and the governance queries. Delete the six cardano-cli pages and the sidebar category, point the operator governance page at the consolidated sections, and retarget the old cli governance redirects to the page.
Fold Listening for Payments into one page
The section split the same detection loop (poll an address, compare the received amount) across three method pages plus an overview. Consolidate into a single page with the methods as tabs: Blockfrost (recommended, hosted), cardano-cli (own node), and cardano-wallet (REST service). Each tab keeps the essential query-and-compare code and links out for the deeper walkthrough (the Blockfrost point-of-sale app links to its starter repo). Delete the three method pages, collapse the sidebar category to a single entry, repoint the inbound link, and redirect the old prod URLs to the page.
Consolidate Wallet Authentication; add AI-assisted development
Wallet Authentication was split across a concept page, a separate Mesh guide, and an autogenerated UTXOS subtree. Roll it into one page: the concept, an "implement it yourself" section with Mesh and Evolution in tabs, a hosted sign-in section pointing to UTXOS as a service, and a zero-knowledge login earmark for zklogin-aiken. Delete the Mesh and UTXOS pages, repoint inbound links, and redirect their prod URLs to the page. Broaden the Integrations "AI Agents" category to "AI" and add a highlighted AI-assisted development page for Cardano Dev Skills, the plugin that gives AI coding assistants current Cardano context. The overview now frames the two scopes: AI as a development aid versus autonomous on-chain agents. Fix the Token Registry sidebar so the category opens its overview directly (the category-link pattern used everywhere else) instead of listing overview as a separate item.
v2 check: reproduce the cabal v2-test environment for test checks
builderVersion = 2 runs a test's installed binary directly (not via `cabal v2-test`) in an empty dir with only runtime libs on PATH, so tests that rely on the environment cabal normally provides failed. Bring the v2 `check` (lib/check.nix) in line with v1 / cabal v2-test: - Set each installed package's `<pkg>_datadir` (the env var Cabal's `Paths_<pkg>` consults) to the `share` dir the slice stages under `$out/store/ghc-*/<unit>/share`, so `getDataFileName` finds `data-files` (the compiled-in datadir is an ephemeral build-time cabal dir). - Put the component's `build-tool-depends` (`executableToolDepends`, including same-package exes a test spawns) on PATH, so e.g. a test that spawns its package's exe no longer fails with `spawnProcess: ... does not exist`. - Run the test from a writable copy of the package source subdir (`passthru.srcSubDirPath`), so tests reading source-relative files (golden files / fixtures) find them — mirroring v1's unpack + cd. All three happen before `preCheck` so a project's own `preCheck` can still override them. Exes are unaffected (they install to the store with a correct, persistent datadir). Adds the `check-datadir` test: a library package shipping a data-file, a source-relative file, and a build-tool exe, with a test-suite that reads / spawns all three — run under both builderVersion 1 and 2.
Dissolve the Module 4 Languages section into Choose a Language
The languages/ subsection was mostly thin: only Aiken had real content, the Plutarch subtree duplicated the Design Patterns data structures, and the rest were install steps plus external links that Choose a Language already aggregates. Choose a Language becomes the single hub: its comparison table links out to each language's official docs, and a compact "Getting started with Aiken" section carries the install and learning resources. The language-agnostic DeFi patterns the Plutarch dApps demonstrated (vesting, P2P/atomic swaps, reward accrual, routing, bridges) fold into a new section on the DeFi page, each composing the existing Design Patterns primitives and pointing to open-source reference implementations. Delete the languages/ tree, drop the Languages sidebar category, repoint inbound links to the hub or upstream docs, and redirect the established prod URLs (data structures to Design Patterns, the dApp patterns to the DeFi page).
Navbar: dedupe Dev Blog, fix one-column mega width
Dev Blog appeared in both the Developers and Ecosystem menus; keep it in Ecosystem only. Add a data-column-count="1" width rule so the simplified Operators menu renders as a single narrow column instead of reserving three columns of empty width.
Refine dApp/production IA, add scaffolding + DeFi pages, generalize app names
Group Module 7's infrastructure pages under an Infrastructure category that lands on the infrastructure overview. Reorder Community to Developer Community, Talent Pool, Funding. Reshape Module 5 (Build a dApp): Scaffolding, Connect a wallet, Wallet Authentication, DeFi on Cardano, DeFi Kernel, Oracles. Add a Scaffolding page (starter templates today plus the cardano-init tool in development), a DeFi Kernel page (the open order-book standard), and a Cardano DeFi map link. Stop naming specific third-party apps in conceptual prose. Generalize DeFi protocols, wallets, and example tokens to categories, pointing to cardano.org/apps for the live list. Developer tooling (SDKs, infra providers, oracles) and hands-on tutorials keep their specifics.
chore(deps): bump golang.org/x/crypto from 0.52.0 to 0.53.0
Bumps [golang.org/x/crypto](https://github.com/golang/crypto) from 0.52.0 to 0.53.0. - [Commits](https://github.com/golang/crypto/compare/v0.52.0...v0.53.0) --- updated-dependencies: - dependency-name: golang.org/x/crypto dependency-version: 0.53.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
:pencil: Update summary in README [skip ci] [upptime]