Dart
Dart
Cape Verde Fatura Eletrónica XML Digital Signature
See more XML Digital Signatures Examples
Demonstrates how to sign XML to create a signed invoice compatible with the Cape Verde Fatura Eletrónica requirements.Note: This example requires Chilkat v9.5.0.89 or greater for a small feature to provide the ability produce mult-line base64 signature ending with
Chilkat Dart Downloads
import 'package:chilkat/chilkat.dart';
void main() {
// This example assumes the Chilkat API to have been previously unlocked.
// See Global Unlock Sample for sample code.
// First create the following XML to be signed. This can be created programmatically as shown in the code below, or
// you can simply load the XML to be signed from a file..
// <?xml version="1.0" encoding="utf-8"?>
// <Dfe xmlns="urn:cv:efatura:xsd:v1.0" DocumentTypeCode="1" Id="CV2210818123456789000010100000000546735014601" Version="1.0">
// <Invoice>
// <LedCode>1</LedCode>
// <Serie>SL</Serie>
// <DocumentNumber>5</DocumentNumber>
// <IssueDate>2021-08-30</IssueDate>
// <IssueTime>00:01:00</IssueTime>
// <TaxPointDate>2021-08-18</TaxPointDate>
// <EmitterParty>
// <TaxId CountryCode="CV">123456789</TaxId>
// <Name>Maria</Name>
// <Address CountryCode="CV">
// <State>Estado do Emissor</State>
// <City>Cidade do Emissor</City>
// <Region>Regi�o do Emissor</Region>
// <Street>Rua do Emissor</Street>
// <StreetDetail>Detalhe da rua do Emissor</StreetDetail>
// <BuildingName>Pr�dio do Emissor</BuildingName>
// <BuildingNumber>1</BuildingNumber>
// <BuildingFloor>2</BuildingFloor>
// <PostalCode>7600</PostalCode>
// <AddressDetail>Detalhe de endere�o do Emissor</AddressDetail>
// <AddressCode>CV774999999999999319</AddressCode>
// </Address>
// <Contacts>
// <Telephone>1234567</Telephone>
// <Mobilephone>1234568</Mobilephone>
// <Telefax>1234569</Telefax>
// <Email>somebody@example.com</Email>
// <Website>emissor.efatura.cv</Website>
// </Contacts>
// </EmitterParty>
// <ReceiverParty>
// <TaxId CountryCode="CV">123456789</TaxId>
// <Name>Nome do Recetor</Name>
// <Address CountryCode="CV">
// <State>Estado do Recetor</State>
// <City>Cidade do Recetor</City>
// <Region>Regi�o do Recetor</Region>
// <Street>Rua do Recetor</Street>
// <StreetDetail>Detalhe da rua do Recetor</StreetDetail>
// <BuildingName>Pr�dio do Recetor</BuildingName>
// <BuildingNumber>2</BuildingNumber>
// <BuildingFloor>3</BuildingFloor>
// <PostalCode>7601</PostalCode>
// <AddressDetail>Detalhe de endere�o do Recetor</AddressDetail>
// <AddressCode>CV774999999999999319</AddressCode>
// </Address>
// <Contacts>
// <Telephone>2234567</Telephone>
// <Mobilephone>2234568</Mobilephone>
// <Telefax>2234569</Telefax>
// <Email>rector@efatura.cv</Email>
// <Website>rector.efatura.cv</Website>
// </Contacts>
// </ReceiverParty>
// <Lines>
// <Line LineTypeCode="N">
// <Id>01</Id>
// <OrderLineReference>1</OrderLineReference>
// <Quantity UnitCode="EA">3.15</Quantity>
// <Price>123456</Price>
// <PriceExtension>388886</PriceExtension>
// <Discount>15</Discount>
// <NetTotal>252776</NetTotal>
// <Tax TaxTypeCode="IVA">
// <TaxPercentage>15</TaxPercentage>
// </Tax>
// <Item>
// <Description>Telem�vel</Description>
// <Name>Telem�vel</Name>
// <BrandName>Apple</BrandName>
// <ModelName>iPhone X</ModelName>
// <EmitterIdentification>TLMV</EmitterIdentification>
// <StandardIdentification>
// <GTIN>12345</GTIN>
// </StandardIdentification>
// <HazardousRiskIndicator>false</HazardousRiskIndicator>
// </Item>
// </Line>
// </Lines>
// <Totals>
// <PriceExtensionTotalAmount>388886</PriceExtensionTotalAmount>
// <ChargeTotalAmount>0</ChargeTotalAmount>
// <DiscountTotalAmount>136110</DiscountTotalAmount>
// <NetTotalAmount>252776</NetTotalAmount>
// <Discount ValueType="P">20</Discount>
// <TaxTotalAmount>37916</TaxTotalAmount>
// <PayableAmount>290692</PayableAmount>
// </Totals>
// <References>
// <Reference>
// <FiscalDocument IsOldDocument="false">CV1200520123456789000112345678901112345678901</FiscalDocument>
// <PaymentAmount>12345</PaymentAmount>
// <Tax TaxTypeCode="IR">
// <TaxPercentage>10</TaxPercentage>
// </Tax>
// </Reference>
// <Reference>
// <FiscalDocument IsOldDocument="false">CV1200520123456789000112345678901112345678903</FiscalDocument>
// <PaymentAmount>98765</PaymentAmount>
// <Tax TaxTypeCode="IVA">
// <TaxPercentage>15</TaxPercentage>
// </Tax>
// </Reference>
// </References>
// <Payments>
// <PaymentDueDate>2021-12-31</PaymentDueDate>
// <PaymentTerms>
// <Note>Juros de 12% a partir da data de vencimento</Note>
// </PaymentTerms>
// <PayeeFinancialAccount>
// <NIB>123456789012345678901</NIB>
// <Name>Nome da Conta 1</Name>
// </PayeeFinancialAccount>
// <PayeeFinancialAccount>
// <NIB>123456789012345678902</NIB>
// <Name>Nome da Conta 2</Name>
// </PayeeFinancialAccount>
// </Payments>
// <Note>Texto livre</Note>
// </Invoice>
// <Transmission>
// <IssueMode>2</IssueMode>
// <TransmitterTaxId CountryCode="CV">123456789</TransmitterTaxId>
// <Software>
// <Code>EMIPUB</Code>
// <Name>DNRE Emissor P�blico</Name>
// <Version>Build #53 12-07-2021 14:00:47 CVT - master</Version>
// </Software>
// <Contingency>
// <LedCode>1</LedCode>
// <IssueDate>2020-01-01</IssueDate>
// <IssueTime>01:02:03</IssueTime>
// <ReasonTypeCode>1</ReasonTypeCode>
// </Contingency>
// </Transmission>
// <RepositoryCode>2</RepositoryCode>
// </Dfe>
// Create the XML to be signed...
// Use this online tool to generate code from sample XML:
// Generate Code to Create XML
final xmlToSign = CkXml();
xmlToSign.tag = 'Dfe';
xmlToSign.addAttribute('xmlns', 'urn:cv:efatura:xsd:v1.0');
xmlToSign.addAttribute('DocumentTypeCode', '1');
xmlToSign.addAttribute('Id', 'CV2210818123456789000010100000000546735014601');
xmlToSign.addAttribute('Version', '1.0');
xmlToSign.updateChildContent('Invoice|LedCode', '1');
xmlToSign.updateChildContent('Invoice|Serie', 'SL');
xmlToSign.updateChildContent('Invoice|DocumentNumber', '5');
xmlToSign.updateChildContent('Invoice|IssueDate', '2021-08-30');
xmlToSign.updateChildContent('Invoice|IssueTime', '00:01:00');
xmlToSign.updateChildContent('Invoice|TaxPointDate', '2021-08-18');
xmlToSign.updateAttrAt('Invoice|EmitterParty|TaxId', true, 'CountryCode', 'CV');
xmlToSign.updateChildContent('Invoice|EmitterParty|TaxId', '123456789');
xmlToSign.updateChildContent('Invoice|EmitterParty|Name', 'Maria');
xmlToSign.updateAttrAt('Invoice|EmitterParty|Address', true, 'CountryCode', 'CV');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|State', 'Estado do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|City', 'Cidade do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|Region', 'Regi�o do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|Street', 'Rua do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|StreetDetail', 'Detalhe da rua do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|BuildingName', 'Pr�dio do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|BuildingNumber', '1');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|BuildingFloor', '2');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|PostalCode', '7600');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|AddressDetail', 'Detalhe de endere�o do Emissor');
xmlToSign.updateChildContent('Invoice|EmitterParty|Address|AddressCode', 'CV774999999999999319');
xmlToSign.updateChildContent('Invoice|EmitterParty|Contacts|Telephone', '1234567');
xmlToSign.updateChildContent('Invoice|EmitterParty|Contacts|Mobilephone', '1234568');
xmlToSign.updateChildContent('Invoice|EmitterParty|Contacts|Telefax', '1234569');
xmlToSign.updateChildContent('Invoice|EmitterParty|Contacts|Email', 'somebody@example.com');
xmlToSign.updateChildContent('Invoice|EmitterParty|Contacts|Website', 'emissor.efatura.cv');
xmlToSign.updateAttrAt('Invoice|ReceiverParty|TaxId', true, 'CountryCode', 'CV');
xmlToSign.updateChildContent('Invoice|ReceiverParty|TaxId', '123456789');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Name', 'Nome do Recetor');
xmlToSign.updateAttrAt('Invoice|ReceiverParty|Address', true, 'CountryCode', 'CV');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|State', 'Estado do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|City', 'Cidade do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|Region', 'Regi�o do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|Street', 'Rua do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|StreetDetail', 'Detalhe da rua do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|BuildingName', 'Pr�dio do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|BuildingNumber', '2');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|BuildingFloor', '3');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|PostalCode', '7601');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|AddressDetail', 'Detalhe de endere�o do Recetor');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Address|AddressCode', 'CV774999999999999319');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Contacts|Telephone', '2234567');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Contacts|Mobilephone', '2234568');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Contacts|Telefax', '2234569');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Contacts|Email', 'rector@efatura.cv');
xmlToSign.updateChildContent('Invoice|ReceiverParty|Contacts|Website', 'rector.efatura.cv');
xmlToSign.updateAttrAt('Invoice|Lines|Line', true, 'LineTypeCode', 'N');
xmlToSign.updateChildContent('Invoice|Lines|Line|Id', '01');
xmlToSign.updateChildContent('Invoice|Lines|Line|OrderLineReference', '1');
xmlToSign.updateAttrAt('Invoice|Lines|Line|Quantity', true, 'UnitCode', 'EA');
xmlToSign.updateChildContent('Invoice|Lines|Line|Quantity', '3.15');
xmlToSign.updateChildContent('Invoice|Lines|Line|Price', '123456');
xmlToSign.updateChildContent('Invoice|Lines|Line|PriceExtension', '388886');
xmlToSign.updateChildContent('Invoice|Lines|Line|Discount', '15');
xmlToSign.updateChildContent('Invoice|Lines|Line|NetTotal', '252776');
xmlToSign.updateAttrAt('Invoice|Lines|Line|Tax', true, 'TaxTypeCode', 'IVA');
xmlToSign.updateChildContent('Invoice|Lines|Line|Tax|TaxPercentage', '15');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|Description', 'Telem�vel');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|Name', 'Telem�vel');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|BrandName', 'Apple');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|ModelName', 'iPhone X');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|EmitterIdentification', 'TLMV');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|StandardIdentification|GTIN', '12345');
xmlToSign.updateChildContent('Invoice|Lines|Line|Item|HazardousRiskIndicator', 'false');
xmlToSign.updateChildContent('Invoice|Totals|PriceExtensionTotalAmount', '388886');
xmlToSign.updateChildContent('Invoice|Totals|ChargeTotalAmount', '0');
xmlToSign.updateChildContent('Invoice|Totals|DiscountTotalAmount', '136110');
xmlToSign.updateChildContent('Invoice|Totals|NetTotalAmount', '252776');
xmlToSign.updateAttrAt('Invoice|Totals|Discount', true, 'ValueType', 'P');
xmlToSign.updateChildContent('Invoice|Totals|Discount', '20');
xmlToSign.updateChildContent('Invoice|Totals|TaxTotalAmount', '37916');
xmlToSign.updateChildContent('Invoice|Totals|PayableAmount', '290692');
xmlToSign.updateAttrAt('Invoice|References|Reference|FiscalDocument', true, 'IsOldDocument', 'false');
xmlToSign.updateChildContent('Invoice|References|Reference|FiscalDocument', 'CV1200520123456789000112345678901112345678901');
xmlToSign.updateChildContent('Invoice|References|Reference|PaymentAmount', '12345');
xmlToSign.updateAttrAt('Invoice|References|Reference|Tax', true, 'TaxTypeCode', 'IR');
xmlToSign.updateChildContent('Invoice|References|Reference|Tax|TaxPercentage', '10');
xmlToSign.updateAttrAt('Invoice|References|Reference[1]|FiscalDocument', true, 'IsOldDocument', 'false');
xmlToSign.updateChildContent('Invoice|References|Reference[1]|FiscalDocument', 'CV1200520123456789000112345678901112345678903');
xmlToSign.updateChildContent('Invoice|References|Reference[1]|PaymentAmount', '98765');
xmlToSign.updateAttrAt('Invoice|References|Reference[1]|Tax', true, 'TaxTypeCode', 'IVA');
xmlToSign.updateChildContent('Invoice|References|Reference[1]|Tax|TaxPercentage', '15');
xmlToSign.updateChildContent('Invoice|Payments|PaymentDueDate', '2021-12-31');
xmlToSign.updateChildContent('Invoice|Payments|PaymentTerms|Note', 'Juros de 12% a partir da data de vencimento');
xmlToSign.updateChildContent('Invoice|Payments|PayeeFinancialAccount|NIB', '123456789012345678901');
xmlToSign.updateChildContent('Invoice|Payments|PayeeFinancialAccount|Name', 'Nome da Conta 1');
xmlToSign.updateChildContent('Invoice|Payments|PayeeFinancialAccount[1]|NIB', '123456789012345678902');
xmlToSign.updateChildContent('Invoice|Payments|PayeeFinancialAccount[1]|Name', 'Nome da Conta 2');
xmlToSign.updateChildContent('Invoice|Note', 'Texto livre');
xmlToSign.updateChildContent('Transmission|IssueMode', '2');
xmlToSign.updateAttrAt('Transmission|TransmitterTaxId', true, 'CountryCode', 'CV');
xmlToSign.updateChildContent('Transmission|TransmitterTaxId', '123456789');
xmlToSign.updateChildContent('Transmission|Software|Code', 'EMIPUB');
xmlToSign.updateChildContent('Transmission|Software|Name', 'DNRE Emissor P�blico');
xmlToSign.updateChildContent('Transmission|Software|Version', 'Build #53 12-07-2021 14:00:47 CVT - master');
xmlToSign.updateChildContent('Transmission|Contingency|LedCode', '1');
xmlToSign.updateChildContent('Transmission|Contingency|IssueDate', '2020-01-01');
xmlToSign.updateChildContent('Transmission|Contingency|IssueTime', '01:02:03');
xmlToSign.updateChildContent('Transmission|Contingency|ReasonTypeCode', '1');
xmlToSign.updateChildContent('RepositoryCode', '2');
final gen = CkXmlDSigGen();
gen.sigLocation = 'Dfe';
gen.sigLocationMod = 0;
gen.sigId = 'xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac';
gen.sigNamespacePrefix = 'ds';
gen.sigNamespaceUri = 'http://www.w3.org/2000/09/xmldsig#';
gen.sigValueId = 'xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-sigvalue';
gen.signedInfoCanonAlg = 'C14N';
gen.signedInfoDigestMethod = 'sha256';
// Set the KeyInfoId before adding references..
gen.keyInfoId = 'xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-keyinfo';
// Create an Object to be added to the Signature.
final object1 = CkXml();
object1.tag = 'xades:QualifyingProperties';
object1.addAttribute('xmlns:xades', 'http://uri.etsi.org/01903/v1.3.2#');
object1.addAttribute('xmlns:xades141', 'http://uri.etsi.org/01903/v1.4.1#');
object1.addAttribute('Target', '#xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac');
object1.updateAttrAt('xades:SignedProperties', true, 'Id', 'xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-signedprops');
object1.updateChildContent('xades:SignedProperties|xades:SignedSignatureProperties|xades:SigningTime', 'TO BE GENERATED BY CHILKAT');
object1.updateAttrAt('xades:SignedProperties|xades:SignedSignatureProperties|xades:SigningCertificateV2|xades:Cert|xades:CertDigest|ds:DigestMethod', true, 'Algorithm', 'http://www.w3.org/2001/04/xmlenc#sha256');
object1.updateChildContent('xades:SignedProperties|xades:SignedSignatureProperties|xades:SigningCertificateV2|xades:Cert|xades:CertDigest|ds:DigestValue', 'TO BE GENERATED BY CHILKAT');
object1.updateChildContent('xades:SignedProperties|xades:SignedSignatureProperties|xades:SigningCertificateV2|xades:Cert|xades:IssuerSerialV2', 'TO BE GENERATED BY CHILKAT');
object1.updateAttrAt('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat', true, 'ObjectReference', '#xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-ref0');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat|xades:Description', 'DFE Signature');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat|xades:ObjectIdentifier|xades:Identifier', 'efatura-uri');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat|xades:ObjectIdentifier|xades:DocumentationReferences|xades:DocumentationReference', 'https://efatura.cv');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat|xades:MimeType', 'text/xml');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:DataObjectFormat|xades:Encoding', 'UTF-8');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication|xades:CommitmentTypeId|xades:Identifier', 'http://uri.etsi.org/01903/v1.2.2#ProofOfApproval');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication|xades:CommitmentTypeId|xades:Description', 'Indicates that the signer has approved the content of the signed data object');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication|xades:AllSignedDataObjects', '');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication[1]|xades:CommitmentTypeId|xades:Identifier', 'http://uri.etsi.org/01903/v1.2.2#ProofOfOrigin');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication[1]|xades:CommitmentTypeId|xades:Description', 'Indicates that the signer recognizes to have created, approved and sent the signed data object');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication[1]|xades:ObjectReference', '#xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-ref0');
object1.updateChildContent('xades:SignedProperties|xades:SignedDataObjectProperties|xades:CommitmentTypeIndication[1]|xades:CommitmentTypeQualifiers|xades:CommitmentTypeQualifier', 'CV-FE-123456789');
gen.addObject('', object1.getXml(), '', '');
// -------- Reference 1 --------
gen.addSameDocRef('CV2210818123456789000010100000000546735014601', 'sha256', '', '', '');
gen.setRefIdAttr('CV2210818123456789000010100000000546735014601', 'xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-ref0');
// -------- Reference 2 --------
gen.addSameDocRef('xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-keyinfo', 'sha256', 'C14N', '', '');
// -------- Reference 3 --------
gen.addObjectRef('xmldsig-cbd86598-e75e-4ae4-9a27-3b4ee2a789ac-signedprops', 'sha256', 'C14N', '', 'http://uri.etsi.org/01903#SignedProperties');
// Provide a certificate + private key. (PFX password is test123)
final cert = CkCert();
try {
cert.loadPfxFile('qa_data/pfx/cert_test123.pfx', 'test123');
} on ChilkatException catch (e) {
print(e.lastErrorText);
return;
}
gen.setX509Cert(cert, true);
gen.keyInfoType = 'X509Data';
gen.x509Type = 'IssuerSerial,SubjectName,Certificate';
// Load XML to be signed...
final sbXml = CkStringBuilder();
xmlToSign.getXmlSb(sbXml);
// Note: The last keyword (Base64Cr13Entity) requires Chilkat v9.5.0.89 or later.
gen.behaviors = 'IndentedSignature,Base64Cr13Entity,ForceAddEnvelopedSignatureTransform,Base64Cr13Entity';
// Sign the XML...
try {
gen.createXmlDSigSb(sbXml);
} on ChilkatException catch (e) {
print(e.lastErrorText);
return;
}
// -----------------------------------------------
// Save the signed XML to a file.
sbXml.writeFile('qa_output/signedXml.xml', 'utf-8', false);
print(sbXml.getAsString());
// ----------------------------------------
// Verify the signatures we just produced...
final verifier = CkXmlDSig();
try {
verifier.loadSignatureSb(sbXml);
} on ChilkatException catch (e) {
print(e.lastErrorText);
return;
}
final numSigs = verifier.numSignatures;
var verifyIdx = 0;
while (verifyIdx < numSigs) {
verifier.selector = verifyIdx;
try {
verifier.verifySignature(true);
} on ChilkatException catch (e) {
print(e.lastErrorText);
return;
}
verifyIdx++;
}
print('All signatures were successfully verified.');
}