Skip to content

Clarify phase 2 validation rules - #332

Open
mpetruska wants to merge 2 commits into
mainfrom
update-fraud-proofs-based-on-cardano-ledger
Open

Clarify phase 2 validation rules#332
mpetruska wants to merge 2 commits into
mainfrom
update-fraud-proofs-based-on-cardano-ledger

Conversation

@mpetruska

Copy link
Copy Markdown
Contributor
  • ready for review/merge

@keyan-m keyan-m left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me. There is only a minor error.

Comment thread technical-spec/5-ledger-rules/1-cardano-ledger-rules.tex Outdated
Co-authored-by: keyanm <86695999+keyan-m@users.noreply.github.com>
@matteocoppola

Copy link
Copy Markdown
Collaborator

Looks good to me too.
Where are we going to define the function script_validation_succeeds(s, t) ?

@mpetruska

Copy link
Copy Markdown
Contributor Author

Looks good to me too. Where are we going to define the function script_validation_succeeds(s, t) ?

It is described in the notes of the rule and in the "On Cardano native and Plutus scripts" subsection. To fully specify the semantics of the scripts would take pages this document, so I opted to just link the relevant specifications.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants