🍱 Add contracts locally in place of a submodule

DECODEproject · Oct 8, 2019 · 9b00c69 · 9b00c69
1 parent 4fd1087
commit 9b00c69
Show file tree

Hide file tree

Showing 16 changed files with 93 additions and 2 deletions.
diff --git a/app/coconut_contracts/aggregate_petition_signature.zen b/app/coconut_contracts/aggregate_petition_signature.zen
@@ -0,0 +1,9 @@
+Scenario coconut: aggregate petition signature
+Given that I have a valid 'petition signature'
+and I have a valid 'petition'
+and I have a valid 'verifiers'
+When the petition signature is not a duplicate
+and the petition signature is just one more
+and I add the signature to the petition
+Then print the 'petition'
+and print the 'verifiers'
diff --git a/app/coconut_contracts/aggregate_signature.zen b/app/coconut_contracts/aggregate_signature.zen
@@ -0,0 +1,7 @@
+Scenario coconut: aggregate signature
+Given that I am known as 'Alice'
+and I have my valid 'credential keypair'
+and I have a valid 'credential signature'
+When I create the credentials
+Then print my 'credentials'
+and print my 'credential keypair'
diff --git a/app/coconut_contracts/approve_petition.zen b/app/coconut_contracts/approve_petition.zen
@@ -0,0 +1,9 @@
+Scenario coconut: approve petition
+Given that I have a valid 'verifier' from 'MadHatter'
+and I have a valid 'credential proof'
+and I have a valid 'petition'
+When I aggregate the verifiers
+and I verify the credential proof
+and I verify the new petition to be empty
+Then print the 'petition'
+and print the 'verifiers'
diff --git a/app/coconut_contracts/count_petition.zen b/app/coconut_contracts/count_petition.zen
@@ -0,0 +1,5 @@
+Scenario coconut: count petition
+Given that I have a valid 'petition'
+and I have a valid 'petition tally'
+When I count the petition results
+Then print the 'results'
diff --git a/app/coconut_contracts/create_petition.zen b/app/coconut_contracts/create_petition.zen
@@ -0,0 +1,9 @@
+Scenario coconut: create petition
+Given that I am known as 'Alice'
+and I have my valid 'credential keypair'
+and I have my valid 'credentials'
+and I have a valid 'verifier' from 'MadHatter'
+When I aggregate the verifiers
+and I create the credential proof
+and I create the petition 'poll'
+Then print all data
diff --git a/app/coconut_contracts/create_proof.zen b/app/coconut_contracts/create_proof.zen
@@ -0,0 +1,8 @@
+Scenario coconut: create proof
+Given that I am known as 'Alice'
+and I have my valid 'credential keypair'
+and I have a valid 'verifier' from 'MadHatter'
+and I have my valid 'credentials'
+When I aggregate the verifiers
+and I create the credential proof
+Then print the 'credential proof'
diff --git a/app/coconut_contracts/create_request.zen b/app/coconut_contracts/create_request.zen
@@ -0,0 +1,5 @@
+Scenario coconut: create request
+Given that I am known as 'Alice'
+and I have my valid 'credential keypair'
+When I create the credential request
+Then print my 'credential request'
diff --git a/app/coconut_contracts/credential_keygen.zen b/app/coconut_contracts/credential_keygen.zen
@@ -0,0 +1,4 @@
+Scenario coconut: credential keygen
+Given that I am known as 'Alice'
+When I create the credential keypair
+Then print my 'credential keypair'
diff --git a/app/coconut_contracts/issuer_keygen.zen b/app/coconut_contracts/issuer_keygen.zen
@@ -0,0 +1,4 @@
+Scenario coconut: issuer keygen
+Given that I am known as 'MadHatter'
+When I create the issuer keypair
+Then print my 'issuer keypair'
diff --git a/app/coconut_contracts/issuer_sign.zen b/app/coconut_contracts/issuer_sign.zen
@@ -0,0 +1,7 @@
+Scenario coconut: issuer sign
+Given that I am known as 'MadHatter'
+and I have my valid 'issuer keypair'
+and I have a valid 'credential request'
+When I create the credential signature
+Then print the 'credential signature'
+and print the 'verifier'
diff --git a/app/coconut_contracts/publish_verifier.zen b/app/coconut_contracts/publish_verifier.zen
@@ -0,0 +1,4 @@
+Scenario coconut: publish verifier
+Given that I am known as 'MadHatter'
+and I have my valid 'verifier'
+Then print my 'verifier'
diff --git a/app/coconut_contracts/sign_petition.zen b/app/coconut_contracts/sign_petition.zen
@@ -0,0 +1,8 @@
+Scenario coconut: sign petition
+Given I am 'Alice'
+and I have my valid 'credential keypair'
+and I have a valid 'credentials'
+and I have a valid 'verifier' from 'MadHatter'
+When I aggregate the verifiers
+and I create the petition signature 'poll'
+Then print the 'petition signature'
diff --git a/app/coconut_contracts/tally_petition.zen b/app/coconut_contracts/tally_petition.zen
@@ -0,0 +1,6 @@
+Scenario coconut: tally petition
+Given that I am 'Alice'
+and I have my valid 'credential keypair'
+and I have a valid 'petition'
+When I create a petition tally
+Then print all data
diff --git a/app/coconut_contracts/verify_proof.zen b/app/coconut_contracts/verify_proof.zen
@@ -0,0 +1,6 @@
+Scenario coconut: verify proof
+Given that I have a valid 'verifier' from 'MadHatter'
+and I have a valid 'credential proof'
+When I aggregate the verifiers
+and I verify the credential proof
+Then print 'Success' 'OK' as 'string'
diff --git a/app/config.ini b/app/config.ini
@@ -11,7 +11,7 @@ uid = issuer_identifier
 keypair = /app/app/ci_keypair.keys
 
 
-contracts_path = /app/app/contracts/src
+contracts_path = /app/app/coconut_contracts
 
 
 secret = 615872afdb35a291f56166d63399d0fa1f2a37415b24206fb051dbce294afc5c

diff --git a/app/test.ini b/app/test.ini
@@ -2,7 +2,7 @@
 debug = true
 uid = issuer_identifier
 keypair = /home/travis/build/DECODEproject/credential-issuer/tests/ci_keypair.keys
-contracts_path = /home/travis/build/DECODEproject/Zenroom/test/zencode_coconut
+contracts_path = /home/travis/build/DECODEproject/credential-issuer/app/coconut_contracts
 secret = 615872afdb35a291f56166d63399d0fa1f2a37415b24206fb051dbce294afc5c
 
 ALGORITHM = HS256