From ae9a4bc8a0473dd3970eb564e2318a222ca90240 Mon Sep 17 00:00:00 2001 From: rebustron Date: Sun, 3 Nov 2024 13:00:29 +0100 Subject: [PATCH] typo corr _instruction-set.mdx --- docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx b/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx index 4d081801c4d..882a3e25b0e 100644 --- a/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx +++ b/docs/docs/protocol-specs/public-vm/gen/_instruction-set.mdx @@ -504,7 +504,7 @@ Subtraction (a - b) - **bOffset**: memory offset of the operation's right input - **dstOffset**: memory offset specifying where to store operation's result - **Expression**: `M[dstOffset] = M[aOffset] - M[bOffset] mod 2^k` -- **Details**: Wraps on undeflow +- **Details**: Wraps on underflow - **Tag checks**: `T[aOffset] == T[bOffset] == inTag` - **Tag updates**: `T[dstOffset] = inTag` - **Bit-size**: 128