diff options
Diffstat (limited to 'extensions/rv_zbkc')
| -rw-r--r-- | extensions/rv_zbkc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extensions/rv_zbkc b/extensions/rv_zbkc new file mode 100644 index 0000000..b82588f --- /dev/null +++ b/extensions/rv_zbkc @@ -0,0 +1,2 @@ +$import rv_zbc::clmul +$import rv_zbc::clmulh |