Skip to content

Commit 8add3e4

Browse files
topperccmuellner
authored andcommitted
Remove implementation guarantees for crypto intrinsics.
1 parent dd4dba6 commit 8add3e4

File tree

1 file changed

+0
-12
lines changed

1 file changed

+0
-12
lines changed

riscv-c-api.md

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -500,18 +500,6 @@ Sign extension of 32-bit values on RV64 is not reflected in the interface.
500500
| `uint32_t __riscv_sm4ed(uint32_t rs1, uint32_t rs2, const int bs);` | `sm4ed` | Zksed | `bs`=[0..3] |
501501
| `uint32_t __riscv_sm4ks(uint32_t rs1, uint32_t rs2, const int bs);` | `sm4ks` | Zksed | `bs`=[0..3] |
502502
503-
### Cryptography Intrinsics Implementation Guarantees
504-
505-
The `riscv_crypto.h` can implement the intrinsics in many ways
506-
(early implementations used inline assembler). Builtin mapping is a
507-
compiler and system specific issue.
508-
509-
Due to the data-independent latency ("constant time") assertions of
510-
the `Zkt` extension, the header file or the compiler can't use table
511-
lookups, conditional branching, etc., when implementing crypto intrinsics.
512-
In production (cryptographic implementations), the execution latency of
513-
all cryptography intrinsics must be independent of input values.
514-
515503
## Constraints on Operands of Inline Assembly Statements
516504
517505
This section lists operand constraints that can be used with inline assembly

0 commit comments

Comments
 (0)