@ -132,7 +132,7 @@ If `C` is shorter than 64 bits, it is zero-extended before the result is written
### FPU instructions
### FPU instructions
|opcodes|instruction|C|
|opcodes|instruction|C|
|-|-|-|-|-|
|-|-|-|
|TBD|FADD|A + B|
|TBD|FADD|A + B|
|TBD|FSUB|A - B|
|TBD|FSUB|A - B|
|TBD|FMUL|A * B|
|TBD|FMUL|A * B|
@ -186,4 +186,4 @@ The program is initialized from a 256-bit seed value using a suitable PRNG. The
## Result
## Result
When the program terminates (the value of `ic` register reaches 0), the register file and the stack are hashed using the Blake2b hash function to get the final PoW value. The generation/execution can be chained multiple times to discourage mining strategies that search for programs with particular properties.
When the program terminates (the value of `ic` register reaches 0), the cache, the register file and the stack are hashed using the Blake2b hash function to get the final PoW value. The generation/execution can be chained multiple times to discourage mining strategies that search for programs with particular properties.