Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix - some statements are not consistent with the examples shown #3728

Closed
wants to merge 1 commit into from
Closed

fix - some statements are not consistent with the examples shown #3728

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 4 additions & 7 deletions doc/reference/simple-scripts.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -169,15 +169,15 @@ With this in mind, we can understand the interpretation of the new expressions:
+ RequireTimeBefore: has a slot number X.

This expression evaluates to `true` if (and only if) the upper bound of the
transaction validity interval is a slot number Y, and X <= Y.
transaction validity interval is a slot number Y, and Y <= X.

This condition guarantees that the actual slot number in which the transaction
is included is (strictly) less than slot number X.

+ RequireTimeAfter: has a slot number X.

This expression evaluates to `true` if (and only if) the lower bound of the
transaction validity interval is a slot number Y, and Y <= X.
transaction validity interval is a slot number Y, and Y >= X.

This condition guarantees that the actual slot number in which the transaction
is included is greater than or equal to slot number X.
Expand Down Expand Up @@ -330,7 +330,7 @@ how to do this using the `cardano-cli`.

### Type "before"

This corresponds to the "RequireTimeAfter" expression above. It specifies the
This corresponds to the "RequireTimeBefore" expression above. It specifies the
type "before" and the slot number.

This example allows a signature from one key at any time, or before slot 3000
Expand Down Expand Up @@ -365,7 +365,7 @@ key is acceptable, but at slot 3000 and thereafter only one key is acceptable.
```

Note that transactions spending from scripts that use type `before` must provide
the lower bound for the transaction validity interval. See below for examples of
the upper bound for the transaction validity interval. See below for examples of
how to do this using the `cardano-cli`.


Expand Down Expand Up @@ -599,7 +599,6 @@ above this means >= 1000.

```bash
cardano-cli transaction build-raw \
--invalid-hereafter 1000 \
--invalid-before 1000\
--fee 0 \
--tx-in (txin of script address)
Expand Down Expand Up @@ -634,11 +633,9 @@ above this means <= 3000:

```bash
cardano-cli transaction build-raw \
--invalid-hereafter 1000 \
--invalid-hereafter 3000\
--fee 0 \
--tx-in (txin of script address)
--tx-out yourspecifiedtxout \
--out-file spendScriptTxBody
```