Deployed 20aa7dc with MkDocs version: 1.6.1
Home /
Cardano Foundation /
cardano-mpfs-cage
Feb 26, 5-6 PM (0)
Feb 26, 6-7 PM (0)
Feb 26, 7-8 PM (0)
Feb 26, 8-9 PM (0)
Feb 26, 9-10 PM (0)
Feb 26, 10-11 PM (0)
Feb 26, 11-12 AM (0)
Feb 27, 12-1 AM (0)
Feb 27, 1-2 AM (0)
Feb 27, 2-3 AM (0)
Feb 27, 3-4 AM (0)
Feb 27, 4-5 AM (0)
Feb 27, 5-6 AM (0)
Feb 27, 6-7 AM (0)
Feb 27, 7-8 AM (0)
Feb 27, 8-9 AM (0)
Feb 27, 9-10 AM (0)
Feb 27, 10-11 AM (0)
Feb 27, 11-12 PM (0)
Feb 27, 12-1 PM (0)
Feb 27, 1-2 PM (0)
Feb 27, 2-3 PM (0)
Feb 27, 3-4 PM (0)
Feb 27, 4-5 PM (0)
Feb 27, 5-6 PM (0)
Feb 27, 6-7 PM (0)
Feb 27, 7-8 PM (0)
Feb 27, 8-9 PM (0)
Feb 27, 9-10 PM (0)
Feb 27, 10-11 PM (0)
Feb 27, 11-12 AM (0)
Feb 28, 12-1 AM (0)
Feb 28, 1-2 AM (0)
Feb 28, 2-3 AM (0)
Feb 28, 3-4 AM (0)
Feb 28, 4-5 AM (0)
Feb 28, 5-6 AM (0)
Feb 28, 6-7 AM (0)
Feb 28, 7-8 AM (0)
Feb 28, 8-9 AM (0)
Feb 28, 9-10 AM (0)
Feb 28, 10-11 AM (0)
Feb 28, 11-12 PM (0)
Feb 28, 12-1 PM (0)
Feb 28, 1-2 PM (0)
Feb 28, 2-3 PM (0)
Feb 28, 3-4 PM (0)
Feb 28, 4-5 PM (0)
Feb 28, 5-6 PM (0)
Feb 28, 6-7 PM (0)
Feb 28, 7-8 PM (0)
Feb 28, 8-9 PM (0)
Feb 28, 9-10 PM (0)
Feb 28, 10-11 PM (0)
Feb 28, 11-12 AM (0)
Mar 01, 12-1 AM (0)
Mar 01, 1-2 AM (0)
Mar 01, 2-3 AM (0)
Mar 01, 3-4 AM (0)
Mar 01, 4-5 AM (0)
Mar 01, 5-6 AM (0)
Mar 01, 6-7 AM (0)
Mar 01, 7-8 AM (0)
Mar 01, 8-9 AM (0)
Mar 01, 9-10 AM (0)
Mar 01, 10-11 AM (0)
Mar 01, 11-12 PM (0)
Mar 01, 12-1 PM (0)
Mar 01, 1-2 PM (0)
Mar 01, 2-3 PM (0)
Mar 01, 3-4 PM (0)
Mar 01, 4-5 PM (0)
Mar 01, 5-6 PM (0)
Mar 01, 6-7 PM (0)
Mar 01, 7-8 PM (0)
Mar 01, 8-9 PM (0)
Mar 01, 9-10 PM (0)
Mar 01, 10-11 PM (0)
Mar 01, 11-12 AM (0)
Mar 02, 12-1 AM (0)
Mar 02, 1-2 AM (0)
Mar 02, 2-3 AM (0)
Mar 02, 3-4 AM (0)
Mar 02, 4-5 AM (0)
Mar 02, 5-6 AM (0)
Mar 02, 6-7 AM (0)
Mar 02, 7-8 AM (0)
Mar 02, 8-9 AM (0)
Mar 02, 9-10 AM (0)
Mar 02, 10-11 AM (0)
Mar 02, 11-12 PM (0)
Mar 02, 12-1 PM (0)
Mar 02, 1-2 PM (0)
Mar 02, 2-3 PM (0)
Mar 02, 3-4 PM (0)
Mar 02, 4-5 PM (0)
Mar 02, 5-6 PM (0)
Mar 02, 6-7 PM (0)
Mar 02, 7-8 PM (0)
Mar 02, 8-9 PM (0)
Mar 02, 9-10 PM (0)
Mar 02, 10-11 PM (0)
Mar 02, 11-12 AM (0)
Mar 03, 12-1 AM (0)
Mar 03, 1-2 AM (0)
Mar 03, 2-3 AM (0)
Mar 03, 3-4 AM (0)
Mar 03, 4-5 AM (0)
Mar 03, 5-6 AM (0)
Mar 03, 6-7 AM (0)
Mar 03, 7-8 AM (0)
Mar 03, 8-9 AM (0)
Mar 03, 9-10 AM (0)
Mar 03, 10-11 AM (0)
Mar 03, 11-12 PM (0)
Mar 03, 12-1 PM (0)
Mar 03, 1-2 PM (0)
Mar 03, 2-3 PM (0)
Mar 03, 3-4 PM (0)
Mar 03, 4-5 PM (0)
Mar 03, 5-6 PM (0)
Mar 03, 6-7 PM (0)
Mar 03, 7-8 PM (0)
Mar 03, 8-9 PM (0)
Mar 03, 9-10 PM (0)
Mar 03, 10-11 PM (0)
Mar 03, 11-12 AM (0)
Mar 04, 12-1 AM (0)
Mar 04, 1-2 AM (0)
Mar 04, 2-3 AM (0)
Mar 04, 3-4 AM (0)
Mar 04, 4-5 AM (0)
Mar 04, 5-6 AM (0)
Mar 04, 6-7 AM (0)
Mar 04, 7-8 AM (0)
Mar 04, 8-9 AM (0)
Mar 04, 9-10 AM (0)
Mar 04, 10-11 AM (0)
Mar 04, 11-12 PM (0)
Mar 04, 12-1 PM (0)
Mar 04, 1-2 PM (0)
Mar 04, 2-3 PM (0)
Mar 04, 3-4 PM (0)
Mar 04, 4-5 PM (0)
Mar 04, 5-6 PM (0)
Mar 04, 6-7 PM (0)
Mar 04, 7-8 PM (0)
Mar 04, 8-9 PM (0)
Mar 04, 9-10 PM (0)
Mar 04, 10-11 PM (0)
Mar 04, 11-12 AM (0)
Mar 05, 12-1 AM (0)
Mar 05, 1-2 AM (0)
Mar 05, 2-3 AM (0)
Mar 05, 3-4 AM (0)
Mar 05, 4-5 AM (0)
Mar 05, 5-6 AM (0)
Mar 05, 6-7 AM (0)
Mar 05, 7-8 AM (0)
Mar 05, 8-9 AM (0)
Mar 05, 9-10 AM (0)
Mar 05, 10-11 AM (0)
Mar 05, 11-12 PM (0)
Mar 05, 12-1 PM (1)
Mar 05, 1-2 PM (3)
Mar 05, 2-3 PM (7)
Mar 05, 3-4 PM (16)
Mar 05, 4-5 PM (0)
Mar 05, 5-6 PM (0)
27 commits this week
Feb 26, 2026
-
Mar 05, 2026
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
chore(main): release 1.0.0
fix: format test vectors with fourmolu
feat: add --aiken flag to cage-test-vectors
Generate Aiken source with test functions for cross-validating MPF proofs and asset name derivation against the Haskell reference. Pre-hashes keys with blake2b_256 to match the Aiken MPF library's internal key hashing.
fix: format test vectors with fourmolu
feat: add --aiken flag to cage-test-vectors
Generate Aiken source with test functions for cross-validating MPF proofs and asset name derivation against the Haskell reference. Pre-hashes keys with blake2b_256 to match the Aiken MPF library's internal key hashing.
fix: eliminate all sorry from Lean spec proofs
Unfold POSIXTime alias before omega to let it see through abbrev POSIXTime := Int. Key pattern: bind vr.wf before unfold so it gets normalized along with everything else.
feat: add deploy-docs workflow using dev-assets/mkdocs flake
docs: add README and MkDocs documentation
- README with project overview and development instructions - MkDocs with Material theme (slate) - Architecture docs: on-chain types and formal safety properties
fix: add vectors check to ci recipe
fix: add Nix setup to lean CI job
feat: add release-please pipeline and update gitignore
- Add release-please config (simple type) for automated releases - Add release workflow triggered on push to main - Add .llm/ to .gitignore
fix: correct Lean 4 syntax errors in Spec.lean
- Fix `opaque def X := Y` → `opaque X : Type := Y` (invalid syntax) - Fix dangling docstring not followed by declaration - Fix anonymous constructor placeholders in emptyInit - Prefix unused variables with underscore
fix: format cabal file with cabal-fmt
fix: shell hook message to stderr, drop nix develop wrapper for test vectors
The shellHook echo went to stdout, breaking piped commands like cage-test-vectors | jq. Also, nix-built binaries are self-contained and don't need nix develop to run.
feat: add docs CI job with mkdocs gh-deploy
fix: add vectors check to ci recipe
fix: format cabal file with cabal-fmt
feat: add deploy-docs workflow using dev-assets/mkdocs flake
feat: add docs CI job with mkdocs gh-deploy
fix: shell hook message to stderr, drop nix develop wrapper for test vectors
The shellHook echo went to stdout, breaking piped commands like cage-test-vectors | jq. Also, nix-built binaries are self-contained and don't need nix develop to run.
fix: add Nix setup to lean CI job
fix: eliminate all sorry from Lean spec proofs
Unfold POSIXTime alias before omega to let it see through abbrev POSIXTime := Int. Key pattern: bind vr.wf before unfold so it gets normalized along with everything else.
fix: correct Lean 4 syntax errors in Spec.lean
- Fix `opaque def X := Y` → `opaque X : Type := Y` (invalid syntax) - Fix dangling docstring not followed by declaration - Fix anonymous constructor placeholders in emptyInit - Prefix unused variables with underscore
docs: add README and MkDocs documentation
- README with project overview and development instructions - MkDocs with Material theme (slate) - Architecture docs: on-chain types and formal safety properties