fix: rsa documentation scripts

dyne · Aug 15, 2024 · c21812f · c21812f
1 parent 760ca7b
commit c21812f
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 9 deletions.
diff --git a/docs/examples/zencode_cookbook/rsa/alice_rsa_keygen.zen b/docs/examples/zencode_cookbook/rsa/alice_rsa_keygen.zen
@@ -1,5 +1,5 @@
-# Scenario rsa
-# Given I am known as 'Alice'
-# When I create the keyring
-# and I create the rsa key
-# Then print my 'keyring'
+Scenario rsa
+Given I am known as 'Alice'
+When I create the keyring
+and I create the rsa key
+Then print my 'keyring'
diff --git a/docs/examples/zencode_cookbook/rsa/verify_rsa_from_alice.zen b/docs/examples/zencode_cookbook/rsa/verify_rsa_from_alice.zen
@@ -1,6 +1,6 @@
 Rule check version 4.32.6
 Scenario rsa
-Given I have a 'rsa public key'
+Given I have a 'rsa public key' in 'Alice'
 and I have a 'rsa signature'
 and I have a 'string' named 'message'
 When I verify the 'message' has a rsa signature in 'rsa signature' by 'Alice'

diff --git a/docs/pages/zencode-scenarios-post-quantum-cryptography.md b/docs/pages/zencode-scenarios-post-quantum-cryptography.md
@@ -408,4 +408,4 @@ The results are amazing again and they show that, also in this case, **Kyber512
 All the smart contracts and the data you see in this page are generated by the scripts [generic_dilithium.bats](https://github.com/dyne/Zenroom/blob/master/test/zencode_qp/generic_dilithium.bats), [kyber.bats](https://github.com/dyne/Zenroom/blob/master/test/zencode/kyber.bats) and [ntrup.bats](https://github.com/dyne/Zenroom/blob/master/test/zencode/ntrup.bats) . If you want to run the scripts (on Linux) you should: 
  - *git clone https://github.com/dyne/Zenroom.git*
  - install **zsh** and **jq**
- - download a [zenroom binary](https://zenroom.org/#downloads) and place it */bin* or */usr/bin* or in *./Zenroom/src*
+ - download a [zenroom binary](https://zenroom.org/#downloads) and place it  in *./Zenroom/test*
diff --git a/test/zencode/rsa.bats b/test/zencode/rsa.bats
@@ -88,10 +88,10 @@ and print the 'message'
 EOF
     save_output sign_rsa_pubkey.json
 
-    cat <<EOF | zexe verify_rsa_from_alice.zen sign_rsa_pubkey.json
+    cat <<EOF | zexe verify_rsa_from_alice.zen sign_rsa_alice_output.json alice_rsa_pubkey.json
 Rule check version 4.32.6
 Scenario rsa
-Given I have a 'rsa public key'
+Given I have a 'rsa public key' in 'Alice'
 and I have a 'rsa signature'
 and I have a 'string' named 'message'
 When I verify the 'message' has a rsa signature in 'rsa signature' by 'Alice'