input-output-hk

input-output-hk/PlutusCoreBlaster

Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage

Stars: 14
Forks: 6
Open beginner issues: 0
Indexed issues: 5
Avg merge: 4d 8h
Merged PRs (30d): 2

Dominant language: Lean
License: Apache-2.0
Last GitHub push: Sep 10, 2026
Latest indexed: Sep 17, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Open All

5 open issues indexed

[Bug]: BLS12-381 G1/G2/MlResult memory-size cost constants use raw byte counts, not the word-based convention Open

input-output-hk/PlutusCoreBlaster#31 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[Bug]: CEK machine's Case-on-constants is not gated behind a protocol version, unlike upstream Open

input-output-hk/PlutusCoreBlaster#32 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[Bug]: ConstrData does not enforce the Word64 index range under semantics variants D/E Open

input-output-hk/PlutusCoreBlaster#33 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[Bug]: BLS12-381 conformance tests fail budget checks by ~70-105x due to a stale, never-regenerated test suite Open

input-output-hk/PlutusCoreBlaster#35 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[Bug]: MkCons skips Haskell's element/list type-tag check Open

input-output-hk/PlutusCoreBlaster#37 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026

A short digest of beginner-friendly GitHub issues.