Skip to content

Implement Plutus Conformance Tests for Scalus UPLC JIT Compiler #212

Description

@Sumit6307

Implement Plutus Conformance Tests for Scalus UPLC JIT Compiler

Type: Feature / Enhancement
Topic: Testing, Performance, JIT

Problem Description

The scalus-uplc-jit-compiler is currently experimental and lacks validation against the official Plutus conformance test suite. As noted in scalus-uplc-jit-compiler/test-notes.md:

No dedicated unit tests are added for case on builtins in the JIT compiler because:

  1. The Plutus conformance tests will be run against the JIT compiler in the future

Without these tests, we cannot guarantee the JIT compiler matches the reference CEK machine behavior, especially for edge cases and gas usage.

Proposed Solution

Extend PlutusConformanceTest to support the JIT compiler backend.

Action Items

  • Create a new test class JitPlutusConformanceTest in scalus-uplc-jit-compiler/src/test/scala.
  • Implement the check method to invoke the JIT compiler instead of the CEK machine.
  • Run the suite against standard Plutus conformance vectors.
  • Document discrepancies or failures.

Value Add

  • Reliability: Proves correctness of the JIT compiler.
  • Maturity: Essential step for moving JIT from experimental to production.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions