Acceptable request

CHANGELOG.md

@@ -10,6 +10,7 @@
 - Added method `findAtLowestHeight` for finding the earliest block satisfying some condition.
 - Added method `findAccountCreation` for finding the block in which an account was created.
 - Fixed an issue where `ConcordiumHdWallet.fromSeedPhrase` always produced an invalid seed as hex.
+- Added `AcceptableRequest` class with `acceptableRequest` and `acceptableAtomicStatement` to check if a request satisfies wallet rules.
 
 ## 7.0.0
 - Make the `energy` parameter for invoking an instance `Optional`.

concordium-sdk/src/main/java/com/concordium/sdk/crypto/CryptoJniNative.java

@@ -7,6 +7,8 @@
 import com.concordium.sdk.crypto.wallet.UnsignedCredentialInput;
 import com.concordium.sdk.crypto.wallet.credential.CredentialDeploymentDetails;
 import com.concordium.sdk.crypto.wallet.credential.CredentialDeploymentSerializationContext;
+import com.concordium.sdk.crypto.wallet.web3Id.AcceptableRequest;
+import com.concordium.sdk.crypto.wallet.web3Id.AttributeCheck;
 import com.concordium.sdk.exceptions.JNIError;
 import com.concordium.sdk.transactions.InitName;
 import com.concordium.sdk.transactions.ReceiveName;
@@ -316,4 +318,14 @@ public static String getVerifiableCredentialBackupEncryptionKey(String seedAsHex
      * {@link Web3IdProof} as JSON.
      */
     public static native String createWeb3IdProof(String input);
+
+    /**
+     * Check that a request is acceptable
+     * @param input {@link Request} serialized as JSON.
+     * @return JSON representing {@link StringResult}. If successful the field 'result' is empty, 
+     * but if not acceptable the reason will be contained in the error.
+     */
+    public static native String isAcceptableRequest(String input);
+
+    public static native String isAcceptableAtomicStatement(String input, String rangeTags, String setTags, AcceptableRequest.RawAttributeCheck check);
 }

concordium-sdk/src/main/java/com/concordium/sdk/crypto/wallet/web3Id/AcceptableRequest.java

@@ -0,0 +1,76 @@
+package com.concordium.sdk.crypto.wallet.web3Id;
+
+import java.util.List;
+import com.concordium.sdk.crypto.CryptoJniNative;
+import com.concordium.sdk.crypto.NativeResolver;
+import com.concordium.sdk.crypto.wallet.StringResult;
+import com.concordium.sdk.crypto.wallet.web3Id.Statement.AtomicStatement;
+import com.concordium.sdk.exceptions.CryptoJniException;
+import com.concordium.sdk.serializing.JsonMapper;
+import com.fasterxml.jackson.core.JsonProcessingException;
+import com.fasterxml.jackson.databind.JsonMappingException;
+
+public class AcceptableRequest {
+    // Static block to load native library.
+    static {
+        NativeResolver.loadLib();
+    }
+
+    /**
+     * Check that a request is acceptable
+     *
+     * @param input the request that should be checked
+     * @return a Presentation serialized as JSON
+     */
+    public static void acceptableRequest(QualifiedRequest request) {
+        StringResult result = null;
+        try {
+            String jsonStr = CryptoJniNative.isAcceptableRequest(JsonMapper.INSTANCE.writeValueAsString(request));
+            result = JsonMapper.INSTANCE.readValue(jsonStr, StringResult.class);
+        } catch (JsonProcessingException e) {
+            throw new RuntimeException(e);
+        }
+
+        if (!result.isSuccess()) {
+            throw CryptoJniException.from(result.getErr());
+        }
+    }
+
+    /**
+     * Check that a request is acceptable
+     *
+     * @param input the request that should be checked
+     * @return a Presentation serialized as JSON
+     */
+    public static void acceptableAtomicStatement(AtomicStatement statement, List<String> rangeTags,
+            List<String> setTags, AttributeCheck attributeCheck) {
+        StringResult result = null;
+        try {
+
+            String jsonStr = CryptoJniNative.isAcceptableAtomicStatement(
+                    JsonMapper.INSTANCE.writeValueAsString(statement),
+                    JsonMapper.INSTANCE.writeValueAsString(rangeTags),
+                    JsonMapper.INSTANCE.writeValueAsString(setTags),
+                    new RawAttributeCheck(attributeCheck));
+            result = JsonMapper.INSTANCE.readValue(jsonStr, StringResult.class);
+        } catch (JsonProcessingException e) {
+            throw new RuntimeException(e);
+        }
+
+        if (!result.isSuccess()) {
+            throw CryptoJniException.from(result.getErr());
+        }
+    }
+
+    public static class RawAttributeCheck {
+        AttributeCheck checker;
+
+        public RawAttributeCheck(AttributeCheck checker) {
+            this.checker = checker;
+        }
+
+        public String check_attribute(String tag, String value) throws JsonMappingException, JsonProcessingException {
+            return checker.checkAttribute(tag, JsonMapper.INSTANCE.readValue(value, CredentialAttribute.class));
+        }
+    }
+}

concordium-sdk/src/main/java/com/concordium/sdk/crypto/wallet/web3Id/AttributeCheck.java

@@ -0,0 +1,5 @@
+package com.concordium.sdk.crypto.wallet.web3Id;
+
+public interface AttributeCheck {
+    public String checkAttribute(String tag, CredentialAttribute value);
+}

concordium-sdk/src/test/java/com/concordium/sdk/crypto/wallet/web3Id/RequestStatementTest.java

@@ -4,6 +4,7 @@
 import static org.junit.Assert.assertTrue;
 
 import java.nio.charset.Charset;
+import java.util.Collections;
 import java.util.List;
 
 import org.junit.Test;
@@ -12,13 +13,16 @@
 import com.concordium.sdk.crypto.wallet.FileHelpers;
 import com.concordium.sdk.crypto.wallet.Network;
 import com.concordium.sdk.crypto.wallet.identityobject.IdentityObject;
+import com.concordium.sdk.crypto.wallet.web3Id.CredentialAttribute.CredentialAttributeType;
 import com.concordium.sdk.crypto.wallet.web3Id.Statement.AtomicStatement;
 import com.concordium.sdk.crypto.wallet.web3Id.Statement.QualifiedRequestStatement;
+import com.concordium.sdk.crypto.wallet.web3Id.Statement.RangeStatement;
 import com.concordium.sdk.crypto.wallet.web3Id.Statement.RequestStatement;
 import com.concordium.sdk.crypto.wallet.web3Id.Statement.StatementType;
 import com.concordium.sdk.serializing.JsonMapper;
 import com.concordium.sdk.transactions.CredentialRegistrationId;
 import com.concordium.sdk.types.ContractAddress;
+import com.fasterxml.jackson.core.JsonProcessingException;
 
 public class RequestStatementTest {
 
@@ -51,6 +55,26 @@ public void testGetsUnsatisfiedStatement() throws Exception {
         assertEquals(requestStatement1.getStatement().get(0), unsatisfied.get(0));
     }
 
+    @Test
+    public void testIsAcceptableRequest() throws Exception {
+        QualifiedRequest request = ProofTest.loadRequest("accountRequest.json");
+        AcceptableRequest.acceptableRequest(request);
+    }
+
+    @Test
+    public void testIsAcceptableAtomicStatement() {
+        AtomicStatement statement = RangeStatement.builder().attributeTag("dob")
+                .lower(CredentialAttribute.builder().type(CredentialAttributeType.STRING).value("20140112").build())
+                .upper(CredentialAttribute.builder().type(CredentialAttributeType.STRING).value("20150112").build())
+                .build();
+
+        AcceptableRequest.acceptableAtomicStatement(statement, Collections.singletonList("dob"), Collections.emptyList(), new AttributeCheck() {
+            @Override
+            public String checkAttribute(String tag, CredentialAttribute value) {
+                return "Test";
+            }});
+    }
+
     @Test
     public void testCanQualifyStatement() throws Exception {
         // Arrange