fix type property names

palladians · Aug 12, 2023 · 222c9d7 · 222c9d7
1 parent 78cf80f
commit 222c9d7
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/packages/credentials/test/credentials.test.ts b/packages/credentials/test/credentials.test.ts
@@ -2,7 +2,7 @@ import { PrivateKey, verify } from "snarkyjs";
 import { ClaimType, Rule } from "@herald-sdk/data-model";
 import { Credential } from "../src"; 
 import { describe, it } from '@jest/globals';
-import { PublicInputArgs, ZkProgramDetails } from "@herald-sdk/provable-programs";
+import { PublicInputArgs, ZkProgramsDetails } from "@herald-sdk/provable-programs";
 
 describe('Credential', () => {
     it('can construct a credential', () => {
@@ -81,7 +81,7 @@ describe('Credential', () => {
         const challenge: PublicInputArgs = {issuerPubKey, subjectPubKey, provingRule: rule};
 
         const proofResponse = await credential.prove("age", challenge, subjectPrvKey, "AttestSingleCredentialProperty");
-        console.log("attestationProof Verification: ", await verify(proofResponse.toJSON(), ZkProgramDetails["AttestSingleCredentialProperty"].verificationKey));
-        expect(verify(proofResponse.toJSON(), ZkProgramDetails["AttestSingleCredentialProperty"].verificationKey)).toBeTruthy();
+        console.log("attestationProof Verification: ", await verify(proofResponse.toJSON(), ZkProgramsDetails["AttestSingleCredentialProperty"].verificationKey));
+        expect(verify(proofResponse.toJSON(), ZkProgramsDetails["AttestSingleCredentialProperty"].verificationKey)).toBeTruthy();
     });
 });
diff --git a/packages/provable-programs/src/utils/types.ts b/packages/provable-programs/src/utils/types.ts
@@ -27,7 +27,7 @@ export type AttestMethodType = (
 // Define the ZkProgramDetails structure
 // TODO: rename as we already have ZkProgramsDetails
 export type ZkProgramDetails = {
-    key: string;
+    verificationKey: string;
     compile: () => Promise<{ verificationKey: string }>; 
     attest: AttestMethodType;
 };

diff --git a/packages/provable-programs/src/utils/zkPrograms.ts b/packages/provable-programs/src/utils/zkPrograms.ts
@@ -3,7 +3,7 @@ import { ZkPDetails } from "./types";
 
 export const ZkProgramsDetails: ZkPDetails = {
     AttestSingleCredentialProperty: {
-        key: "AAC2xLSa0iRU5Hg0xKAt5t+M4luF4z9yIhvBgM1bY+5QNZAvJ/syqBsG57iKWbDhjBXG7VKVwCrd61YSc1zIYfMLBI4M6scKf2KkYyeJvIuYZfaay/hMA+aI1xULHcj1+TwrmKGtMk6ElsYMMjA30ebTw3kwTg30o7JTwr9ia7YAHti4dreH82gXZuiEsb5GOyAtpUORsNtOA6Y/x5w0f24235MZV8OV8n0rHhe9w1nohqE5swk757kYgnYBkWWQlDGV89tEOaPwOp1ixJSHo3MO1AIYNI9BR87WWm1ah/OoIhFPd2ZGmfF3d9YSKEO4FWR2F44j5lndh8LCwYfJZqMgVWcdW+2xK5ty3IG+b2xzhf6rKVJ2T1rVVBOT+SXEeCRkjp1SAuhxyG3AFzqdXLibfklXkwTsMseUx3uVJoptI7Cb7n8cyfCp8ZCIq6hjeNQxgzUvE/2M2d0tKv6XOs0ouExzs4N13TQ/+3LzvYdOOmvBP7lzi7xeb4K2XIPE+Bdj+lrgMks7KatdE23u2SUuf6EdG2O9F/2YkrLiU/vtGolji9YLlhLi/j0O+LyTI+SHj362iknmyhRgZMo5dTEmAHW51K82wqeaIh3RdCh9PglQVrubLId1e5oDRYcClNsQzofrBoZ8Xzc2JeSQjEPeArQ6pCFV6L1dM2eEfBuCBiHB5TXm8L6R2U5qb6IJnFG/bjSkgmoxYzKLrj0Lp1L5I6D0DuEIdHVnaS8pZ/PKX9Rga7LceFynUShAMseqPekdWtNPSrhTLDb/soESY9sT0kuqSCZieKDZGBC0ssKw7xo1Rrt0bypYcnGxpwQqYGjn1RHLxqfelc82GxIyrNqFJlRbFNk1YYQ1ztyKVnluRi8HW7U4XdfYBwA2EK06HU41HMr6ovJTdqMeBQqs4w2dQ+fesZC5em0pTC7WCvMbKwdSSqW4RVdnhcsmCMBMsGaA14vD/U1+FGIfr6QygL7XDabcqaXKCKE0KJ5FoDb7d4pmTMPNqNrgTuynvW8z0JkjPu3v6M4sTIDtuaZlvmDc+sfwNQNqksRrbth8OXevUC8L7ggj2skrf8iKuDSyBYKV2XE/8vu5e0oJBzNF0wHGKr5dk4oJy10N7B+TL+8ONopzLa4Hp+OOD1zE7lI9bb025CuVVxr1ynYj6XJVcy6Iq/bwv02i17xpRnOMFHS0ux5eyBt7KU+VscGGX412AyrMD3qSOHaofNmXNErS1sEIKbduNI+bvl4IT3xmhIZj0l9IKgXDa2WivDbesmw4Bj0OfNTh9foqyBicMjJkm5+d4Cx/h6ZiuxfeFrpQslEdCA5Ms/rYP+Ifwxj/AUEXmEtH+Y7KNYV7bqMaC59kpiAKOnLiq5N2YkuBUowm9rgEy4FFqjmjFbdgXs1sGTH+pJcsNisp7v48xgf1xLA9u1C386UT8u6u9SAVTeDVNkjTJD3svxebqNl4fvTDApuFDaTKMPTgUNCk4CURv0EUR85HKdvbTv/MXG8/+ateo3y9X4ji+1/HrFqfLcgsYPpNjpojxvJaImoAYLCUqCLl8KxJ1yPcNve3unI3bG9KGOtvwyuf0gU2yavrXiL5M9R4wyfaggfN3Twr8rDXROMbyzkdJIzqcqz76jl7ZDgh7FumHQGAgIQH9ZwcMyrAA6zyb2E1/5gP5T94L495/OOp0vMw89OFZOG58j7+74SBILZOMCC/hAbjyqWUcN5cjFqHkuPYbiWkZC4k5ah4d7bTv8lxJoEoUKsu8JfatOAEAS9ymEHkpoBFFuWU+2SAjtEvYEoLHTaTqYy4nuqVYld2BJYqXB4YjWF/shRJP3/Ntz/XQAJdHdXObqOoytSUKiXdQ4w+keGINBHOF6OGuuvnQOapEADK7bsL+U2HWxzuXGsScGLUrWdfc2F4BjXXps3yTcBSJwCky1X/BlpzVcwq+xmPpm8vZwANLqWgUAQaxqlefUsGBSZTiyH5+mVTAn5Pnz66+RWILIPwNxfhu2zNnPjM4gFOoKoiLyknL5UbTcE7i9zjHblcXyeCYEHz08xw/OJlJ4SY9YYDQmK9Gt7STFnJsVHlhmPTi5YItVlMWLwbBwAavsscTRt6HxRiz+GpZ9CyED24pNduqBgqbXW4vknWbQcbccCuuCfuaM+35oKRN2BQAJ0Y276J//cSmTmxWKP0IEkY2T2SLOhlrVZwHiSJD/7FZzh2ry1dCJvwFmFS0a0cNyv9IqttYDWlY9VXQyP/OMI+k2wb5yHkDOERSsjiOBZXr+IhmQ/PaRlBiYUYuZg74ZMtUgnFCDlzPdNm8vrqIlZptlcI71zX5oPc2KYI9ONcx+WYaPy5peVNA92Ub5IpUhuJwTtx706Ajrz3yk16auHdgyMs0X+0pYkyn5weqR0=",
+        verificationKey: "AAC2xLSa0iRU5Hg0xKAt5t+M4luF4z9yIhvBgM1bY+5QNZAvJ/syqBsG57iKWbDhjBXG7VKVwCrd61YSc1zIYfMLBI4M6scKf2KkYyeJvIuYZfaay/hMA+aI1xULHcj1+TwrmKGtMk6ElsYMMjA30ebTw3kwTg30o7JTwr9ia7YAHti4dreH82gXZuiEsb5GOyAtpUORsNtOA6Y/x5w0f24235MZV8OV8n0rHhe9w1nohqE5swk757kYgnYBkWWQlDGV89tEOaPwOp1ixJSHo3MO1AIYNI9BR87WWm1ah/OoIhFPd2ZGmfF3d9YSKEO4FWR2F44j5lndh8LCwYfJZqMgVWcdW+2xK5ty3IG+b2xzhf6rKVJ2T1rVVBOT+SXEeCRkjp1SAuhxyG3AFzqdXLibfklXkwTsMseUx3uVJoptI7Cb7n8cyfCp8ZCIq6hjeNQxgzUvE/2M2d0tKv6XOs0ouExzs4N13TQ/+3LzvYdOOmvBP7lzi7xeb4K2XIPE+Bdj+lrgMks7KatdE23u2SUuf6EdG2O9F/2YkrLiU/vtGolji9YLlhLi/j0O+LyTI+SHj362iknmyhRgZMo5dTEmAHW51K82wqeaIh3RdCh9PglQVrubLId1e5oDRYcClNsQzofrBoZ8Xzc2JeSQjEPeArQ6pCFV6L1dM2eEfBuCBiHB5TXm8L6R2U5qb6IJnFG/bjSkgmoxYzKLrj0Lp1L5I6D0DuEIdHVnaS8pZ/PKX9Rga7LceFynUShAMseqPekdWtNPSrhTLDb/soESY9sT0kuqSCZieKDZGBC0ssKw7xo1Rrt0bypYcnGxpwQqYGjn1RHLxqfelc82GxIyrNqFJlRbFNk1YYQ1ztyKVnluRi8HW7U4XdfYBwA2EK06HU41HMr6ovJTdqMeBQqs4w2dQ+fesZC5em0pTC7WCvMbKwdSSqW4RVdnhcsmCMBMsGaA14vD/U1+FGIfr6QygL7XDabcqaXKCKE0KJ5FoDb7d4pmTMPNqNrgTuynvW8z0JkjPu3v6M4sTIDtuaZlvmDc+sfwNQNqksRrbth8OXevUC8L7ggj2skrf8iKuDSyBYKV2XE/8vu5e0oJBzNF0wHGKr5dk4oJy10N7B+TL+8ONopzLa4Hp+OOD1zE7lI9bb025CuVVxr1ynYj6XJVcy6Iq/bwv02i17xpRnOMFHS0ux5eyBt7KU+VscGGX412AyrMD3qSOHaofNmXNErS1sEIKbduNI+bvl4IT3xmhIZj0l9IKgXDa2WivDbesmw4Bj0OfNTh9foqyBicMjJkm5+d4Cx/h6ZiuxfeFrpQslEdCA5Ms/rYP+Ifwxj/AUEXmEtH+Y7KNYV7bqMaC59kpiAKOnLiq5N2YkuBUowm9rgEy4FFqjmjFbdgXs1sGTH+pJcsNisp7v48xgf1xLA9u1C386UT8u6u9SAVTeDVNkjTJD3svxebqNl4fvTDApuFDaTKMPTgUNCk4CURv0EUR85HKdvbTv/MXG8/+ateo3y9X4ji+1/HrFqfLcgsYPpNjpojxvJaImoAYLCUqCLl8KxJ1yPcNve3unI3bG9KGOtvwyuf0gU2yavrXiL5M9R4wyfaggfN3Twr8rDXROMbyzkdJIzqcqz76jl7ZDgh7FumHQGAgIQH9ZwcMyrAA6zyb2E1/5gP5T94L495/OOp0vMw89OFZOG58j7+74SBILZOMCC/hAbjyqWUcN5cjFqHkuPYbiWkZC4k5ah4d7bTv8lxJoEoUKsu8JfatOAEAS9ymEHkpoBFFuWU+2SAjtEvYEoLHTaTqYy4nuqVYld2BJYqXB4YjWF/shRJP3/Ntz/XQAJdHdXObqOoytSUKiXdQ4w+keGINBHOF6OGuuvnQOapEADK7bsL+U2HWxzuXGsScGLUrWdfc2F4BjXXps3yTcBSJwCky1X/BlpzVcwq+xmPpm8vZwANLqWgUAQaxqlefUsGBSZTiyH5+mVTAn5Pnz66+RWILIPwNxfhu2zNnPjM4gFOoKoiLyknL5UbTcE7i9zjHblcXyeCYEHz08xw/OJlJ4SY9YYDQmK9Gt7STFnJsVHlhmPTi5YItVlMWLwbBwAavsscTRt6HxRiz+GpZ9CyED24pNduqBgqbXW4vknWbQcbccCuuCfuaM+35oKRN2BQAJ0Y276J//cSmTmxWKP0IEkY2T2SLOhlrVZwHiSJD/7FZzh2ry1dCJvwFmFS0a0cNyv9IqttYDWlY9VXQyP/OMI+k2wb5yHkDOERSsjiOBZXr+IhmQ/PaRlBiYUYuZg74ZMtUgnFCDlzPdNm8vrqIlZptlcI71zX5oPc2KYI9ONcx+WYaPy5peVNA92Ub5IpUhuJwTtx706Ajrz3yk16auHdgyMs0X+0pYkyn5weqR0=",
         attest: async (...args) => {
             const proof = await AttestSingleCredentialProperty.attest(...args);
             return { attestationProof: proof };