Skip to content

Post-confirmations spec #15

Open
0 of 1 issue completed
Open
Post-confirmations spec#15
0 of 1 issue completed
Assignees
l-monninger
Labels
post-confirmationsRelates to a post-confirmations implementationpriority:mediumThis issue should be worked on progressively but does not need consistent immediate attentionspecRelates to spec implementation

Description

@l-monninger
l-monninger
opened on Mar 7, 2025

Summary

Write a spec in Dafny for the the post-confirmations algorithm specified in MIP-37 to prove its correctness. We will enumerate specifications as we discuss further.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

post-confirmationsRelates to a post-confirmations implementationpriority:mediumThis issue should be worked on progressively but does not need consistent immediate attentionspecRelates to spec implementation

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions