executor.cpp

#include "executor.h"
#include "tests.h"
#include "mutatorpool.h"
#include "config.h"
#include <cryptofuzz/util.h>
#include <fuzzing/memory.hpp>
#include <algorithm>
#include <set>

uint32_t PRNG(void);

#define RETURN_IF_DISABLED(option, id) if ( !option.Have(id) ) return std::nullopt;

namespace cryptofuzz {

/* Specialization for operation::Digest */
template<> void ExecutorBase<component::Digest, operation::Digest>::postprocess(std::shared_ptr<Module> module, operation::Digest& op, const ExecutorBase<component::Digest, operation::Digest>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Digest> ExecutorBase<component::Digest, operation::Digest>::callModule(std::shared_ptr<Module> module, operation::Digest& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpDigest(op);
}

/* Specialization for operation::HMAC */
template<> void ExecutorBase<component::MAC, operation::HMAC>::postprocess(std::shared_ptr<Module> module, operation::HMAC& op, const ExecutorBase<component::MAC, operation::HMAC>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::MAC> ExecutorBase<component::MAC, operation::HMAC>::callModule(std::shared_ptr<Module> module, operation::HMAC& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpHMAC(op);
}

/* Specialization for operation::CMAC */
template<> void ExecutorBase<component::MAC, operation::CMAC>::postprocess(std::shared_ptr<Module> module, operation::CMAC& op, const ExecutorBase<component::MAC, operation::CMAC>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::MAC> ExecutorBase<component::MAC, operation::CMAC>::callModule(std::shared_ptr<Module> module, operation::CMAC& op) const {
    RETURN_IF_DISABLED(options.ciphers, op.cipher.cipherType.Get());

    return module->OpCMAC(op);
}

/* Specialization for operation::SymmetricEncrypt */
template<> void ExecutorBase<component::Ciphertext, operation::SymmetricEncrypt>::postprocess(std::shared_ptr<Module> module, operation::SymmetricEncrypt& op, const ExecutorBase<component::Ciphertext, operation::SymmetricEncrypt>::ResultPair& result) const {
    if ( options.noDecrypt == true ) {
        return;
    }

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->ciphertext.GetPtr(), result.second->ciphertext.GetSize());
        if ( result.second->tag != std::nullopt ) {
            fuzzing::memory::memory_test_msan(result.second->tag->GetPtr(), result.second->tag->GetSize());
        }
    }

    if ( op.cleartext.GetSize() > 0 && result.second != std::nullopt && result.second->ciphertext.GetSize() > 0 ) {
        using fuzzing::datasource::ID;

        bool tryDecrypt = true;

        if ( module->ID == CF_MODULE("OpenSSL") ) {
            switch ( op.cipher.cipherType.Get() ) {
                case    ID("Cryptofuzz/Cipher/AES_128_OCB"):
                case    ID("Cryptofuzz/Cipher/AES_256_OCB"):
                    tryDecrypt = false;
                    break;
                case    ID("Cryptofuzz/Cipher/AES_128_GCM"):
                case    ID("Cryptofuzz/Cipher/AES_192_GCM"):
                case    ID("Cryptofuzz/Cipher/AES_256_GCM"):
                case    ID("Cryptofuzz/Cipher/AES_128_CCM"):
                case    ID("Cryptofuzz/Cipher/AES_192_CCM"):
                case    ID("Cryptofuzz/Cipher/AES_256_CCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_128_CCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_192_CCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_256_CCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_128_GCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_192_GCM"):
                case    ID("Cryptofuzz/Cipher/ARIA_256_GCM"):
                    if ( op.tagSize == std::nullopt ) {
                        /* OpenSSL fails to decrypt its own CCM and GCM ciphertexts if
                         * a tag is not included
                         */
                        tryDecrypt = false;
                    }
                    break;
            }
        }

        if ( tryDecrypt == true ) {
            /* Try to decrypt the encrypted data */
            Pool_BlockCipherEncrypt.Set({op.cipher.key.AsString(), op.cipher.iv.AsString(), op.cleartext.ToHex(), op.cipher.cipherType.Get(), op.cleartext.GetSize() + 32, result.second->ciphertext.ToHex()});
            /* Construct a SymmetricDecrypt instance with the SymmetricEncrypt instance */
            auto opDecrypt = operation::SymmetricDecrypt(
                    /* The SymmetricEncrypt instance */
                    op,

                    /* The ciphertext generated by OpSymmetricEncrypt */
                    *(result.second),

                    /* The size of the output buffer that OpSymmetricDecrypt() must use. */
                    op.cleartext.GetSize() + 32,

                    op.aad,

                    /* Empty modifier */
                    {});

            const auto cleartext = module->OpSymmetricDecrypt(opDecrypt);

            if ( cleartext == std::nullopt ) {
                /* Decryption failed, OpSymmetricDecrypt() returned std::nullopt */
                printf("Cannot decrypt ciphertext\n\n");
                printf("Operation:\n%s\n", op.ToString().c_str());
                printf("Ciphertext: %s\n", util::HexDump(result.second->ciphertext.Get()).c_str());
                printf("Tag: %s\n", result.second->tag ? util::HexDump(result.second->tag->Get()).c_str() : "nullopt");
                abort(
                        {module->name},
                        op.Name(),
                        op.GetAlgorithmString(),
                        "cannot decrypt ciphertext"
                );
            } else if ( cleartext->Get() != op.cleartext.Get() ) {
                /* Decryption ostensibly succeeded, but the cleartext returned by OpSymmetricDecrypt()
                 * does not match to original cleartext */

                printf("Cannot decrypt ciphertext (but decryption ostensibly succeeded)\n\n");
                printf("Operation:\n%s\n", op.ToString().c_str());
                printf("Ciphertext: %s\n", util::HexDump(result.second->ciphertext.Get()).c_str());
                printf("Tag: %s\n", result.second->tag ? util::HexDump(result.second->tag->Get()).c_str() : "nullopt");
                printf("Purported cleartext: %s\n", util::HexDump(cleartext->Get()).c_str());
                abort(
                        {module->name},
                        op.Name(),
                        op.GetAlgorithmString(),
                        "cannot decrypt ciphertext"
                );
            }
        }
    }
}

template<> std::optional<component::Ciphertext> ExecutorBase<component::Ciphertext, operation::SymmetricEncrypt>::callModule(std::shared_ptr<Module> module, operation::SymmetricEncrypt& op) const {
    RETURN_IF_DISABLED(options.ciphers , op.cipher.cipherType.Get());

    return module->OpSymmetricEncrypt(op);
}

/* Specialization for operation::SymmetricDecrypt */
template<> void ExecutorBase<component::MAC, operation::SymmetricDecrypt>::postprocess(std::shared_ptr<Module> module, operation::SymmetricDecrypt& op, const ExecutorBase<component::MAC, operation::SymmetricDecrypt>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::MAC> ExecutorBase<component::MAC, operation::SymmetricDecrypt>::callModule(std::shared_ptr<Module> module, operation::SymmetricDecrypt& op) const {
    RETURN_IF_DISABLED(options.ciphers , op.cipher.cipherType.Get());

    return module->OpSymmetricDecrypt(op);
}

/* Specialization for operation::KDF_SCRYPT */
template<> void ExecutorBase<component::Key, operation::KDF_SCRYPT>::postprocess(std::shared_ptr<Module> module, operation::KDF_SCRYPT& op, const ExecutorBase<component::Key, operation::KDF_SCRYPT>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_SCRYPT>::callModule(std::shared_ptr<Module> module, operation::KDF_SCRYPT& op) const {
    return module->OpKDF_SCRYPT(op);
}

/* Specialization for operation::KDF_HKDF */
template<> void ExecutorBase<component::Key, operation::KDF_HKDF>::postprocess(std::shared_ptr<Module> module, operation::KDF_HKDF& op, const ExecutorBase<component::Key, operation::KDF_HKDF>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_HKDF>::callModule(std::shared_ptr<Module> module, operation::KDF_HKDF& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_HKDF(op);
}

/* Specialization for operation::KDF_PBKDF */
template<> void ExecutorBase<component::Key, operation::KDF_PBKDF>::postprocess(std::shared_ptr<Module> module, operation::KDF_PBKDF& op, const ExecutorBase<component::Key, operation::KDF_PBKDF>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_PBKDF>::callModule(std::shared_ptr<Module> module, operation::KDF_PBKDF& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_PBKDF(op);
}

/* Specialization for operation::KDF_PBKDF1 */
template<> void ExecutorBase<component::Key, operation::KDF_PBKDF1>::postprocess(std::shared_ptr<Module> module, operation::KDF_PBKDF1& op, const ExecutorBase<component::Key, operation::KDF_PBKDF1>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_PBKDF1>::callModule(std::shared_ptr<Module> module, operation::KDF_PBKDF1& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_PBKDF1(op);
}

/* Specialization for operation::KDF_PBKDF2 */
template<> void ExecutorBase<component::Key, operation::KDF_PBKDF2>::postprocess(std::shared_ptr<Module> module, operation::KDF_PBKDF2& op, const ExecutorBase<component::Key, operation::KDF_PBKDF2>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_PBKDF2>::callModule(std::shared_ptr<Module> module, operation::KDF_PBKDF2& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_PBKDF2(op);
}

/* Specialization for operation::KDF_ARGON2 */
template<> void ExecutorBase<component::Key, operation::KDF_ARGON2>::postprocess(std::shared_ptr<Module> module, operation::KDF_ARGON2& op, const ExecutorBase<component::Key, operation::KDF_ARGON2>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_ARGON2>::callModule(std::shared_ptr<Module> module, operation::KDF_ARGON2& op) const {
    return module->OpKDF_ARGON2(op);
}

/* Specialization for operation::KDF_SSH */
template<> void ExecutorBase<component::Key, operation::KDF_SSH>::postprocess(std::shared_ptr<Module> module, operation::KDF_SSH& op, const ExecutorBase<component::Key, operation::KDF_SSH>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_SSH>::callModule(std::shared_ptr<Module> module, operation::KDF_SSH& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_SSH(op);
}

/* Specialization for operation::KDF_TLS1_PRF */
template<> void ExecutorBase<component::Key, operation::KDF_TLS1_PRF>::postprocess(std::shared_ptr<Module> module, operation::KDF_TLS1_PRF& op, const ExecutorBase<component::Key, operation::KDF_TLS1_PRF>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_TLS1_PRF>::callModule(std::shared_ptr<Module> module, operation::KDF_TLS1_PRF& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_TLS1_PRF(op);
}

/* Specialization for operation::KDF_X963 */
template<> void ExecutorBase<component::Key, operation::KDF_X963>::postprocess(std::shared_ptr<Module> module, operation::KDF_X963& op, const ExecutorBase<component::Key, operation::KDF_X963>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_X963>::callModule(std::shared_ptr<Module> module, operation::KDF_X963& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_X963(op);
}

/* Specialization for operation::KDF_BCRYPT */
template<> void ExecutorBase<component::Key, operation::KDF_BCRYPT>::postprocess(std::shared_ptr<Module> module, operation::KDF_BCRYPT& op, const ExecutorBase<component::Key, operation::KDF_BCRYPT>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_BCRYPT>::callModule(std::shared_ptr<Module> module, operation::KDF_BCRYPT& op) const {
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpKDF_BCRYPT(op);
}

/* Specialization for operation::KDF_SP_800_108 */
template<> void ExecutorBase<component::Key, operation::KDF_SP_800_108>::postprocess(std::shared_ptr<Module> module, operation::KDF_SP_800_108& op, const ExecutorBase<component::Key, operation::KDF_SP_800_108>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt ) {
        fuzzing::memory::memory_test_msan(result.second->GetPtr(), result.second->GetSize());
    }
}

template<> std::optional<component::Key> ExecutorBase<component::Key, operation::KDF_SP_800_108>::callModule(std::shared_ptr<Module> module, operation::KDF_SP_800_108& op) const {
    if ( op.mech.mode == true ) {
        RETURN_IF_DISABLED(options.digests, op.mech.type.Get());
    }

    return module->OpKDF_SP_800_108(op);
}


/* Specialization for operation::ECC_PrivateToPublic */
template<> void ExecutorBase<component::ECC_PublicKey, operation::ECC_PrivateToPublic>::postprocess(std::shared_ptr<Module> module, operation::ECC_PrivateToPublic& op, const ExecutorBase<component::ECC_PublicKey, operation::ECC_PrivateToPublic>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto privkey = op.priv.ToTrimmedString();
        const auto pub_x = result.second->first.ToTrimmedString();
        const auto pub_y = result.second->second.ToTrimmedString();

        Pool_CurvePrivkey.Set({ curveID, privkey });
        Pool_CurveKeypair.Set({ curveID, privkey, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });

        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
        }
        

        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
    }
}

template<> std::optional<component::ECC_PublicKey> ExecutorBase<component::ECC_PublicKey, operation::ECC_PrivateToPublic>::callModule(std::shared_ptr<Module> module, operation::ECC_PrivateToPublic& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpECC_PrivateToPublic(op);
}

/* Specialization for operation::ECC_ValidatePubkey */
template<> void ExecutorBase<bool, operation::ECC_ValidatePubkey>::postprocess(std::shared_ptr<Module> module, operation::ECC_ValidatePubkey& op, const ExecutorBase<bool, operation::ECC_ValidatePubkey>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::ECC_ValidatePubkey>::callModule(std::shared_ptr<Module> module, operation::ECC_ValidatePubkey& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECC_ValidatePubkey(op);
}

/* Specialization for operation::ECC_GenerateKeyPair */

/* Do not compare DH_GenerateKeyPair results, because the result can be produced indeterministically */
template <>
void ExecutorBase<component::DH_KeyPair, operation::DH_GenerateKeyPair>::compare(const std::vector< std::pair<std::shared_ptr<Module>, operation::DH_GenerateKeyPair> >& operations, const ResultSet& results, const uint8_t* data, const size_t size) const {
    (void)operations;
    (void)results;
    (void)data;
    (void)size;
}

template<> void ExecutorBase<component::ECC_KeyPair, operation::ECC_GenerateKeyPair>::postprocess(std::shared_ptr<Module> module, operation::ECC_GenerateKeyPair& op, const ExecutorBase<component::ECC_KeyPair, operation::ECC_GenerateKeyPair>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto privkey = result.second->priv.ToTrimmedString();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();

        Pool_CurvePrivkey.Set({ curveID, privkey });
        Pool_CurveKeypair.Set({ curveID, privkey, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
        }
    }
}

template<> std::optional<component::ECC_KeyPair> ExecutorBase<component::ECC_KeyPair, operation::ECC_GenerateKeyPair>::callModule(std::shared_ptr<Module> module, operation::ECC_GenerateKeyPair& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECC_GenerateKeyPair(op);
}

/* Specialization for operation::ECDSA_Sign */
template<> void ExecutorBase<component::ECDSA_Signature, operation::ECDSA_Sign>::postprocess(std::shared_ptr<Module> module, operation::ECDSA_Sign& op, const ExecutorBase<component::ECDSA_Signature, operation::ECDSA_Sign>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto digestID = op.digestType.Get();
        const auto cleartext = op.cleartext.ToHex();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();
        const auto sig_r = result.second->signature.first.ToTrimmedString();
        const auto sig_s = result.second->signature.second.ToTrimmedString();

        if(pub_x != "0" && pub_y != "0" && pub_x != "" && pub_y != ""){
            Pool_CurveECDSASignature.Set({ curveID, digestID, cleartext, pub_x, pub_y, sig_r, sig_s});
        }
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, sig_r, sig_s });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        }

        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( sig_r.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_r}); }
        if ( sig_s.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_s}); }
    }
}

template<> std::optional<component::ECDSA_Signature> ExecutorBase<component::ECDSA_Signature, operation::ECDSA_Sign>::callModule(std::shared_ptr<Module> module, operation::ECDSA_Sign& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpECDSA_Sign(op);
}

/* Specialization for operation::ECGDSA_Sign */
template<> void ExecutorBase<component::ECGDSA_Signature, operation::ECGDSA_Sign>::postprocess(std::shared_ptr<Module> module, operation::ECGDSA_Sign& op, const ExecutorBase<component::ECGDSA_Signature, operation::ECGDSA_Sign>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto cleartext = op.cleartext.ToHex();
        const auto digestID = op.digestType.Get();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();
        const auto sig_r = result.second->signature.first.ToTrimmedString();
        const auto sig_s = result.second->signature.second.ToTrimmedString();

        Pool_CurveECDSASignature.Set({ curveID, digestID, cleartext, pub_x, pub_y, sig_r, sig_s});
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, sig_r, sig_s });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        }

        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( sig_r.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_r}); }
        if ( sig_s.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_s}); }
    }
}

template<> std::optional<component::ECGDSA_Signature> ExecutorBase<component::ECGDSA_Signature, operation::ECGDSA_Sign>::callModule(std::shared_ptr<Module> module, operation::ECGDSA_Sign& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpECGDSA_Sign(op);
}

/* Specialization for operation::ECRDSA_Sign */
template<> void ExecutorBase<component::ECRDSA_Signature, operation::ECRDSA_Sign>::postprocess(std::shared_ptr<Module> module, operation::ECRDSA_Sign& op, const ExecutorBase<component::ECRDSA_Signature, operation::ECRDSA_Sign>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto digestID = op.digestType.Get();
        const auto cleartext = op.cleartext.ToHex();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();
        const auto sig_r = result.second->signature.first.ToTrimmedString();
        const auto sig_s = result.second->signature.second.ToTrimmedString();

        Pool_CurveECDSASignature.Set({ curveID, digestID, cleartext, pub_x, pub_y, sig_r, sig_s});
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, sig_r, sig_s });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        }

        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( sig_r.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_r}); }
        if ( sig_s.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_s}); }
    }
}

template<> std::optional<component::ECRDSA_Signature> ExecutorBase<component::ECRDSA_Signature, operation::ECRDSA_Sign>::callModule(std::shared_ptr<Module> module, operation::ECRDSA_Sign& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpECRDSA_Sign(op);
}

/* Specialization for operation::Schnorr_Sign */
template<> void ExecutorBase<component::Schnorr_Signature, operation::Schnorr_Sign>::postprocess(std::shared_ptr<Module> module, operation::Schnorr_Sign& op, const ExecutorBase<component::Schnorr_Signature, operation::Schnorr_Sign>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto digestID = op.digestType.Get();
        const auto cleartext = op.cleartext.ToHex();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();
        const auto sig_r = result.second->signature.first.ToTrimmedString();
        const auto sig_s = result.second->signature.second.ToTrimmedString();

        Pool_CurveECDSASignature.Set({ curveID, digestID, cleartext, pub_x, pub_y, sig_r, sig_s});
        Pool_CurveECC_Point.Set({ curveID, pub_x, pub_y });
        Pool_CurveECC_Point.Set({ curveID, sig_r, sig_s });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, pub_x, pub_y });
            CurveToPool[curveID].Set({ curveID, sig_r, sig_s });
        }

        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( sig_r.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_r}); }
        if ( sig_s.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_s}); }
    }
}

template<> std::optional<component::Schnorr_Signature> ExecutorBase<component::Schnorr_Signature, operation::Schnorr_Sign>::callModule(std::shared_ptr<Module> module, operation::Schnorr_Sign& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpSchnorr_Sign(op);
}

/* Specialization for operation::ECDSA_Verify */
template<> void ExecutorBase<bool, operation::ECDSA_Verify>::postprocess(std::shared_ptr<Module> module, operation::ECDSA_Verify& op, const ExecutorBase<bool, operation::ECDSA_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::ECDSA_Verify>::callModule(std::shared_ptr<Module> module, operation::ECDSA_Verify& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    /* Intentionally do not constrain the size of the public key or
     * signature (like we do for BignumCalc).
     *
     * If any large public key or signature causes a time-out (or
     * worse), this is something that needs attention;
     * because verifiers sometimes process untrusted public keys,
     * signatures or both, they should be resistant to bugs
     * arising from large inputs.
     */

    return module->OpECDSA_Verify(op);
}

/* Specialization for operation::ECGDSA_Verify */
template<> void ExecutorBase<bool, operation::ECGDSA_Verify>::postprocess(std::shared_ptr<Module> module, operation::ECGDSA_Verify& op, const ExecutorBase<bool, operation::ECGDSA_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::ECGDSA_Verify>::callModule(std::shared_ptr<Module> module, operation::ECGDSA_Verify& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    /* Intentionally do not constrain the size of the public key or
     * signature (like we do for BignumCalc).
     *
     * If any large public key or signature causes a time-out (or
     * worse), this is something that needs attention;
     * because verifiers sometimes process untrusted public keys,
     * signatures or both, they should be resistant to bugs
     * arising from large inputs.
     */

    return module->OpECGDSA_Verify(op);
}

/* Specialization for operation::ECRDSA_Verify */
template<> void ExecutorBase<bool, operation::ECRDSA_Verify>::postprocess(std::shared_ptr<Module> module, operation::ECRDSA_Verify& op, const ExecutorBase<bool, operation::ECRDSA_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::ECRDSA_Verify>::callModule(std::shared_ptr<Module> module, operation::ECRDSA_Verify& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    /* Intentionally do not constrain the size of the public key or
     * signature (like we do for BignumCalc).
     *
     * If any large public key or signature causes a time-out (or
     * worse), this is something that needs attention;
     * because verifiers sometimes process untrusted public keys,
     * signatures or both, they should be resistant to bugs
     * arising from large inputs.
     */

    return module->OpECRDSA_Verify(op);
}

/* Specialization for operation::Schnorr_Verify */
template<> void ExecutorBase<bool, operation::Schnorr_Verify>::postprocess(std::shared_ptr<Module> module, operation::Schnorr_Verify& op, const ExecutorBase<bool, operation::Schnorr_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::Schnorr_Verify>::callModule(std::shared_ptr<Module> module, operation::Schnorr_Verify& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    /* Intentionally do not constrain the size of the public key or
     * signature (like we do for BignumCalc).
     *
     * If any large public key or signature causes a time-out (or
     * worse), this is something that needs attention;
     * because verifiers sometimes process untrusted public keys,
     * signatures or both, they should be resistant to bugs
     * arising from large inputs.
     */

    return module->OpSchnorr_Verify(op);
}

template<> void ExecutorBase<component::ECC_PublicKey, operation::ECDSA_Recover>::postprocess(std::shared_ptr<Module> module, operation::ECDSA_Recover& op, const ExecutorBase<component::ECC_PublicKey, operation::ECDSA_Recover>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::ECC_PublicKey> ExecutorBase<component::ECC_PublicKey, operation::ECDSA_Recover>::callModule(std::shared_ptr<Module> module, operation::ECDSA_Recover& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());
    RETURN_IF_DISABLED(options.digests, op.digestType.Get());

    return module->OpECDSA_Recover(op);
}

/* Specialization for operation::ECDH_Derive */
template<> void ExecutorBase<component::Secret, operation::ECDH_Derive>::postprocess(std::shared_ptr<Module> module, operation::ECDH_Derive& op, const ExecutorBase<component::Secret, operation::ECDH_Derive>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::Secret> ExecutorBase<component::Secret, operation::ECDH_Derive>::callModule(std::shared_ptr<Module> module, operation::ECDH_Derive& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECDH_Derive(op);
}

/* Specialization for operation::ECIES_Encrypt */
template<> void ExecutorBase<component::Ciphertext, operation::ECIES_Encrypt>::postprocess(std::shared_ptr<Module> module, operation::ECIES_Encrypt& op, const ExecutorBase<component::Ciphertext, operation::ECIES_Encrypt>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::Ciphertext> ExecutorBase<component::Ciphertext, operation::ECIES_Encrypt>::callModule(std::shared_ptr<Module> module, operation::ECIES_Encrypt& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECIES_Encrypt(op);
}

/* Specialization for operation::ECIES_Decrypt */
template<> void ExecutorBase<component::Cleartext, operation::ECIES_Decrypt>::postprocess(std::shared_ptr<Module> module, operation::ECIES_Decrypt& op, const ExecutorBase<component::Cleartext, operation::ECIES_Decrypt>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::Cleartext> ExecutorBase<component::Cleartext, operation::ECIES_Decrypt>::callModule(std::shared_ptr<Module> module, operation::ECIES_Decrypt& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECIES_Decrypt(op);
}

/* Specialization for operation::ECC_Point_Add */
template<> void ExecutorBase<component::ECC_Point, operation::ECC_Point_Add>::postprocess(std::shared_ptr<Module> module, operation::ECC_Point_Add& op, const ExecutorBase<component::ECC_Point, operation::ECC_Point_Add>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto x = result.second->first.ToTrimmedString();
        const auto y = result.second->second.ToTrimmedString();

        Pool_CurveECC_Point.Set({ curveID, x, y });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, x, y });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, x, y });
        }

        if ( x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({x}); }
        if ( y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({y}); }
    }
}

template<> std::optional<component::ECC_Point> ExecutorBase<component::ECC_Point, operation::ECC_Point_Add>::callModule(std::shared_ptr<Module> module, operation::ECC_Point_Add& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECC_Point_Add(op);
}

/* Specialization for operation::ECC_Point_Mul */
template<> void ExecutorBase<component::ECC_Point, operation::ECC_Point_Mul>::postprocess(std::shared_ptr<Module> module, operation::ECC_Point_Mul& op, const ExecutorBase<component::ECC_Point, operation::ECC_Point_Mul>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto x = result.second->first.ToTrimmedString();
        const auto y = result.second->second.ToTrimmedString();

        Pool_CurveECC_Point.Set({ curveID, x, y });
        if( CurveToPool.count(curveID) != 0){
            CurveToPool[curveID].Set({ curveID, x, y });
        } else {
            MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize> newPool;
            CurveToPool.insert(pair<uint64_t,MutatorPool<CurveECC_Point_Pair, cryptofuzz::config::kMutatorPoolSize>>(curveID, newPool) );
            CurveToPool[curveID].Set({ curveID, x, y });
        }

        if ( x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({x}); }
        if ( y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({y}); }
    }
}

template<> std::optional<component::ECC_Point> ExecutorBase<component::ECC_Point, operation::ECC_Point_Mul>::callModule(std::shared_ptr<Module> module, operation::ECC_Point_Mul& op) const {
    RETURN_IF_DISABLED(options.curves, op.curveType.Get());

    return module->OpECC_Point_Mul(op);
}

/* Specialization for operation::DH_Derive */
template<> void ExecutorBase<component::Bignum, operation::DH_Derive>::postprocess(std::shared_ptr<Module> module, operation::DH_Derive& op, const ExecutorBase<component::Bignum, operation::DH_Derive>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::Bignum> ExecutorBase<component::Bignum, operation::DH_Derive>::callModule(std::shared_ptr<Module> module, operation::DH_Derive& op) const {
    if ( op.prime.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.base.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.pub.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.priv.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpDH_Derive(op);
}

/* Specialization for operation::DH_GenerateKeyPair */
template<> void ExecutorBase<component::DH_KeyPair, operation::DH_GenerateKeyPair>::postprocess(std::shared_ptr<Module> module, operation::DH_GenerateKeyPair& op, const ExecutorBase<component::DH_KeyPair, operation::DH_GenerateKeyPair>::ResultPair& result) const {
    (void)result;
    (void)op;
    (void)module;

    if ( result.second != std::nullopt && (PRNG() % 4) == 0 ) {
        const auto priv = result.second->first.ToTrimmedString();
        const auto pub = result.second->second.ToTrimmedString();

        Pool_DH_PrivateKey.Set({priv});
        Pool_DH_PublicKey.Set({pub});
    }
}

template<> std::optional<component::DH_KeyPair> ExecutorBase<component::DH_KeyPair, operation::DH_GenerateKeyPair>::callModule(std::shared_ptr<Module> module, operation::DH_GenerateKeyPair& op) const {
    if ( op.prime.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.base.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpDH_GenerateKeyPair(op);
}

/* Specialization for operation::BignumCalc */
template<> void ExecutorBase<component::Bignum, operation::BignumCalc>::postprocess(std::shared_ptr<Module> module, operation::BignumCalc& op, const ExecutorBase<component::Bignum, operation::BignumCalc>::ResultPair& result) const {
    (void)module;
    (void)op;

    if ( result.second != std::nullopt  ) {
        const auto bignum = result.second->ToTrimmedString();

        if ( bignum.size() <= config::kMaxBignumSize ) {
            Pool_Bignum.Set({bignum});
        }
    }
}

std::optional<component::Bignum> ExecutorBignumCalc::callModule(std::shared_ptr<Module> module, operation::BignumCalc& op) const {
    RETURN_IF_DISABLED(options.calcOps, op.calcOp.Get());

    /* Prevent timeouts */
    if ( op.bn0.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.bn1.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.bn2.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.bn3.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    if ( op.modulo != std::nullopt && !module->SupportsModularBignumCalc() ) {
        return std::nullopt;
    }

    switch ( op.calcOp.Get() ) {
        case    CF_CALCOP("SetBit(A,B)"):
            /* Don't allow setting very high bit positions (risk of memory exhaustion) */
            if ( op.bn1.GetSize() > 4 ) {
                return std::nullopt;
            }
            break;
        case    CF_CALCOP("Exp(A,B)"):
            if ( op.bn0.GetSize() > 5 || op.bn1.GetSize() > 2 ) {
                return std::nullopt;
            }
            break;
        case    CF_CALCOP("ModLShift(A,B,C)"):
            if ( op.bn1.GetSize() > 4 ) {
                return std::nullopt;
            }
            break;
        case    CF_CALCOP("Exp2(A)"):
            if ( op.bn0.GetSize() > 4 ) {
                return std::nullopt;
            }
            break;
    }

    return module->OpBignumCalc(op);
}

/* Specialization for operation::BLS_PrivateToPublic */
template<> void ExecutorBase<component::BLS_PublicKey, operation::BLS_PrivateToPublic>::postprocess(std::shared_ptr<Module> module, operation::BLS_PrivateToPublic& op, const ExecutorBase<component::BLS_PublicKey, operation::BLS_PrivateToPublic>::ResultPair& result) const {
    (void)module;
    // (void)op;
    // (void)result;
    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto pub_x = result.second->first.ToTrimmedString();
        const auto pub_y = result.second->second.ToTrimmedString();
        if(pub_x != "0" || pub_y != "0"){
            Pool_CurveBLSG1.Set({ curveID, pub_x, pub_y });
        }
    }
}

template<> std::optional<component::BLS_PublicKey> ExecutorBase<component::BLS_PublicKey, operation::BLS_PrivateToPublic>::callModule(std::shared_ptr<Module> module, operation::BLS_PrivateToPublic& op) const {
    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpBLS_PrivateToPublic(op);
}

/* Specialization for operation::BLS_PrivateToPublic_G2 */
template<> void ExecutorBase<component::G2, operation::BLS_PrivateToPublic_G2>::postprocess(std::shared_ptr<Module> module, operation::BLS_PrivateToPublic_G2& op, const ExecutorBase<component::G2, operation::BLS_PrivateToPublic_G2>::ResultPair& result) const {
    (void)module;
    // (void)op;
    // (void)result;
    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto v = result.second->first.first.ToTrimmedString();
        const auto w = result.second->first.second.ToTrimmedString();
        const auto x = result.second->second.first.ToTrimmedString();
        const auto y = result.second->second.second.ToTrimmedString();
        if(x != "0" || x != "0"){
            Pool_CurveBLSG2.Set({ curveID, v, w, x, y });
        }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_PrivateToPublic_G2>::callModule(std::shared_ptr<Module> module, operation::BLS_PrivateToPublic_G2& op) const {
    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpBLS_PrivateToPublic_G2(op);
}

/* Specialization for operation::BLS_Sign */
template<> void ExecutorBase<component::BLS_Signature, operation::BLS_Sign>::postprocess(std::shared_ptr<Module> module, operation::BLS_Sign& op, const ExecutorBase<component::BLS_Signature, operation::BLS_Sign>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto point_v = op.hashOrPoint ? op.point.first.first.ToTrimmedString() : "";
        const auto point_w = op.hashOrPoint ? op.point.first.second.ToTrimmedString() : "";
        const auto point_x = op.hashOrPoint ? op.point.second.first.ToTrimmedString() : "";
        const auto point_y = op.hashOrPoint ? op.point.second.second.ToTrimmedString() : "";
        const auto cleartext = op.hashOrPoint ? op.cleartext.ToHex() : "";
        const auto dest = op.dest.ToHex();
        const auto aug = op.aug.ToHex();
        const auto pub_x = result.second->pub.first.ToTrimmedString();
        const auto pub_y = result.second->pub.second.ToTrimmedString();
        const auto sig_v = result.second->signature.first.first.ToTrimmedString();
        const auto sig_w = result.second->signature.first.second.ToTrimmedString();
        const auto sig_x = result.second->signature.second.first.ToTrimmedString();
        const auto sig_y = result.second->signature.second.second.ToTrimmedString();
        Pool_CurveBLSSignature.Set({ curveID, op.hashOrPoint, point_v, point_w, point_x, point_y, cleartext, dest, aug, pub_x, pub_y, sig_v, sig_w, sig_x, sig_y});
        if(result.second->pub.first.ToTrimmedString() == "0")return;
        if(pub_x != "0" && pub_y != "0"){
            Pool_CurveBLSG1.Set({ curveID, pub_x, pub_y });
        }
        if(sig_v != "0" || sig_w != "0" || sig_x != "0" || sig_y != "0")Pool_CurveBLSG2.Set({ curveID, sig_v, sig_w, sig_x, sig_y });
        if ( pub_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_x}); }
        if ( pub_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({pub_y}); }
        if ( sig_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_v}); }
        if ( sig_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_w}); }
        if ( sig_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_x}); }
        if ( sig_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({sig_y}); }
    }
}

template<> std::optional<component::BLS_Signature> ExecutorBase<component::BLS_Signature, operation::BLS_Sign>::callModule(std::shared_ptr<Module> module, operation::BLS_Sign& op) const {
    const size_t size = op.priv.ToTrimmedString().size();

    if ( size == 0 || size > 4096 ) {
        return std::nullopt;
    }

    return module->OpBLS_Sign(op);
}

/* Specialization for operation::BLS_Verify */
template<> void ExecutorBase<bool, operation::BLS_Verify>::postprocess(std::shared_ptr<Module> module, operation::BLS_Verify& op, const ExecutorBase<bool, operation::BLS_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_Verify>::callModule(std::shared_ptr<Module> module, operation::BLS_Verify& op) const {
#if 0
    const std::vector<size_t> sizes = {
        op.pub.first.ToTrimmedString().size(),
        op.pub.second.ToTrimmedString().size(),
        op.signature.first.ToTrimmedString().size(),
        op.signature.second.ToTrimmedString().size(),
    };

    for (const auto& size : sizes) {
        if ( size == 0 || size > 4096 ) {
            return std::nullopt;
        }
    }
#endif

    return module->OpBLS_Verify(op);
}

/* Specialization for operation::BLS_Aggregate_G1 */
template<> void ExecutorBase<component::G1, operation::BLS_Aggregate_G1>::postprocess(std::shared_ptr<Module> module, operation::BLS_Aggregate_G1& op, const ExecutorBase<component::G1, operation::BLS_Aggregate_G1>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_Aggregate_G1>::callModule(std::shared_ptr<Module> module, operation::BLS_Aggregate_G1& op) const {
    return module->OpBLS_Aggregate_G1(op);
}

/* Specialization for operation::BLS_Aggregate_G2 */
template<> void ExecutorBase<component::G2, operation::BLS_Aggregate_G2>::postprocess(std::shared_ptr<Module> module, operation::BLS_Aggregate_G2& op, const ExecutorBase<component::G2, operation::BLS_Aggregate_G2>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_Aggregate_G2>::callModule(std::shared_ptr<Module> module, operation::BLS_Aggregate_G2& op) const {
    return module->OpBLS_Aggregate_G2(op);
}

/* Specialization for operation::BLS_Pairing */
template<> void ExecutorBase<bool, operation::BLS_Pairing>::postprocess(std::shared_ptr<Module> module, operation::BLS_Pairing& op, const ExecutorBase<bool, operation::BLS_Pairing>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_Pairing>::callModule(std::shared_ptr<Module> module, operation::BLS_Pairing& op) const {
    return module->OpBLS_Pairing(op);
}

/* Specialization for operation::BLS_HashToG1 */
template<> void ExecutorBase<component::G1, operation::BLS_HashToG1>::postprocess(std::shared_ptr<Module> module, operation::BLS_HashToG1& op, const ExecutorBase<component::G1, operation::BLS_HashToG1>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();

        Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_HashToG1>::callModule(std::shared_ptr<Module> module, operation::BLS_HashToG1& op) const {
    return module->OpBLS_HashToG1(op);
}

/* Specialization for operation::BLS_IsG1OnCurve */
template<> void ExecutorBase<bool, operation::BLS_IsG1OnCurve>::postprocess(std::shared_ptr<Module> module, operation::BLS_IsG1OnCurve& op, const ExecutorBase<bool, operation::BLS_IsG1OnCurve>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_IsG1OnCurve>::callModule(std::shared_ptr<Module> module, operation::BLS_IsG1OnCurve& op) const {
    if ( op.g1.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.g1.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_IsG1OnCurve(op);
}

/* Specialization for operation::BLS_IsG2OnCurve */
template<> void ExecutorBase<bool, operation::BLS_IsG2OnCurve>::postprocess(std::shared_ptr<Module> module, operation::BLS_IsG2OnCurve& op, const ExecutorBase<bool, operation::BLS_IsG2OnCurve>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_IsG2OnCurve>::callModule(std::shared_ptr<Module> module, operation::BLS_IsG2OnCurve& op) const {
    if ( op.g2.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.g2.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.g2.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.g2.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_IsG2OnCurve(op);
}

/* Specialization for operation::BLS_GenerateKeyPair */
template<> void ExecutorBase<component::BLS_KeyPair, operation::BLS_GenerateKeyPair>::postprocess(std::shared_ptr<Module> module, operation::BLS_GenerateKeyPair& op, const ExecutorBase<component::BLS_KeyPair, operation::BLS_GenerateKeyPair>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto priv = result.second->priv.ToTrimmedString();
        const auto g1_x = result.second->pub.first.ToTrimmedString();
        const auto g1_y = result.second->pub.second.ToTrimmedString();

        Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( priv.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({priv}); }
        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::BLS_KeyPair> ExecutorBase<component::BLS_KeyPair, operation::BLS_GenerateKeyPair>::callModule(std::shared_ptr<Module> module, operation::BLS_GenerateKeyPair& op) const {
    return module->OpBLS_GenerateKeyPair(op);
}

/* Specialization for operation::BLS_Decompress_G1 */
template<> void ExecutorBase<component::G1, operation::BLS_Decompress_G1>::postprocess(std::shared_ptr<Module> module, operation::BLS_Decompress_G1& op, const ExecutorBase<component::G1, operation::BLS_Decompress_G1>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();
        const auto compress = op.compressed.ToTrimmedString();

        // Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });
        Pool_CurveBLSG1_Compress.Set({curveID, g1_x, g1_y, compress});

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_Decompress_G1>::callModule(std::shared_ptr<Module> module, operation::BLS_Decompress_G1& op) const {
    return module->OpBLS_Decompress_G1(op);
}

/* Specialization for operation::BLS_Compress_G1 */
template<> void ExecutorBase<component::Bignum, operation::BLS_Compress_G1>::postprocess(std::shared_ptr<Module> module, operation::BLS_Compress_G1& op, const ExecutorBase<component::Bignum, operation::BLS_Compress_G1>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto compressed = result.second->ToTrimmedString();

        if ( compressed.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({compressed}); }
    }
}

template<> std::optional<component::Bignum> ExecutorBase<component::Bignum, operation::BLS_Compress_G1>::callModule(std::shared_ptr<Module> module, operation::BLS_Compress_G1& op) const {
    return module->OpBLS_Compress_G1(op);
}

/* Specialization for operation::BLS_Decompress_G2 */
template<> void ExecutorBase<component::G2, operation::BLS_Decompress_G2>::postprocess(std::shared_ptr<Module> module, operation::BLS_Decompress_G2& op, const ExecutorBase<component::G2, operation::BLS_Decompress_G2>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g2_v = result.second->first.first.ToTrimmedString();
        const auto g2_w = result.second->first.second.ToTrimmedString();
        const auto g2_x = result.second->second.first.ToTrimmedString();
        const auto g2_y = result.second->second.second.ToTrimmedString();
        const auto compress_x = op.compressed.first.ToTrimmedString();
        const auto compress_y = op.compressed.second.ToTrimmedString();

        // Pool_CurveBLSG2.Set({ curveID, g2_v, g2_w, g2_x, g2_y });
        Pool_CurveBLSG2_Compress.Set({ curveID, g2_v, g2_w, g2_x, g2_y, compress_x, compress_y });

        if ( g2_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_v}); }
        if ( g2_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_w}); }
        if ( g2_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_x}); }
        if ( g2_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_y}); }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_Decompress_G2>::callModule(std::shared_ptr<Module> module, operation::BLS_Decompress_G2& op) const {
    return module->OpBLS_Decompress_G2(op);
}

/* Specialization for operation::BLS_Compress_G2 */
template<> void ExecutorBase<component::G1, operation::BLS_Compress_G2>::postprocess(std::shared_ptr<Module> module, operation::BLS_Compress_G2& op, const ExecutorBase<component::G1, operation::BLS_Compress_G2>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();

        // Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_Compress_G2>::callModule(std::shared_ptr<Module> module, operation::BLS_Compress_G2& op) const {
    return module->OpBLS_Compress_G2(op);
}

/* Specialization for operation::BLS_G1_Add */
template<> void ExecutorBase<component::G1, operation::BLS_G1_Add>::postprocess(std::shared_ptr<Module> module, operation::BLS_G1_Add& op, const ExecutorBase<component::G1, operation::BLS_G1_Add>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();

        Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_G1_Add>::callModule(std::shared_ptr<Module> module, operation::BLS_G1_Add& op) const {
    if ( op.a.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G1_Add(op);
}

/* Specialization for operation::BLS_G1_Mul */
template<> void ExecutorBase<component::G1, operation::BLS_G1_Mul>::postprocess(std::shared_ptr<Module> module, operation::BLS_G1_Mul& op, const ExecutorBase<component::G1, operation::BLS_G1_Mul>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();

        Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_G1_Mul>::callModule(std::shared_ptr<Module> module, operation::BLS_G1_Mul& op) const {
    if ( op.a.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G1_Mul(op);
}

/* Specialization for operation::BLS_G1_IsEq */
template<> void ExecutorBase<bool, operation::BLS_G1_IsEq>::postprocess(std::shared_ptr<Module> module, operation::BLS_G1_IsEq& op, const ExecutorBase<bool, operation::BLS_G1_IsEq>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_G1_IsEq>::callModule(std::shared_ptr<Module> module, operation::BLS_G1_IsEq& op) const {
    if ( op.a.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G1_IsEq(op);
}

/* Specialization for operation::BLS_G1_Neg */
template<> void ExecutorBase<component::G1, operation::BLS_G1_Neg>::postprocess(std::shared_ptr<Module> module, operation::BLS_G1_Neg& op, const ExecutorBase<component::G1, operation::BLS_G1_Neg>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g1_x = result.second->first.ToTrimmedString();
        const auto g1_y = result.second->second.ToTrimmedString();
        if(result.second->first.ToTrimmedString()=="0" && result.second->second.ToTrimmedString() == "2")return;
        Pool_CurveBLSG1.Set({ curveID, g1_x, g1_y });

        if ( g1_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_x}); }
        if ( g1_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g1_y}); }
    }
}

template<> std::optional<component::G1> ExecutorBase<component::G1, operation::BLS_G1_Neg>::callModule(std::shared_ptr<Module> module, operation::BLS_G1_Neg& op) const {
    if ( op.a.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G1_Neg(op);
}

/* Specialization for operation::BLS_G2_Add */
template<> void ExecutorBase<component::G2, operation::BLS_G2_Add>::postprocess(std::shared_ptr<Module> module, operation::BLS_G2_Add& op, const ExecutorBase<component::G2, operation::BLS_G2_Add>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g2_v = result.second->first.first.ToTrimmedString();
        const auto g2_w = result.second->first.second.ToTrimmedString();
        const auto g2_x = result.second->second.first.ToTrimmedString();
        const auto g2_y = result.second->second.second.ToTrimmedString();

        Pool_CurveBLSG2.Set({ curveID, g2_v, g2_w, g2_x, g2_y });

        if ( g2_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_v}); }
        if ( g2_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_w}); }
        if ( g2_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_x}); }
        if ( g2_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_y}); }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_G2_Add>::callModule(std::shared_ptr<Module> module, operation::BLS_G2_Add& op) const {
    if ( op.a.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G2_Add(op);
}

/* Specialization for operation::BLS_G2_Mul */
template<> void ExecutorBase<component::G2, operation::BLS_G2_Mul>::postprocess(std::shared_ptr<Module> module, operation::BLS_G2_Mul& op, const ExecutorBase<component::G2, operation::BLS_G2_Mul>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g2_v = result.second->first.first.ToTrimmedString();
        const auto g2_w = result.second->first.second.ToTrimmedString();
        const auto g2_x = result.second->second.first.ToTrimmedString();
        const auto g2_y = result.second->second.second.ToTrimmedString();

        Pool_CurveBLSG2.Set({ curveID, g2_v, g2_w, g2_x, g2_y });

        if ( g2_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_v}); }
        if ( g2_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_w}); }
        if ( g2_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_x}); }
        if ( g2_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_y}); }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_G2_Mul>::callModule(std::shared_ptr<Module> module, operation::BLS_G2_Mul& op) const {
    if ( op.a.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G2_Mul(op);
}

/* Specialization for operation::BLS_G2_IsEq */
template<> void ExecutorBase<bool, operation::BLS_G2_IsEq>::postprocess(std::shared_ptr<Module> module, operation::BLS_G2_IsEq& op, const ExecutorBase<bool, operation::BLS_G2_IsEq>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::BLS_G2_IsEq>::callModule(std::shared_ptr<Module> module, operation::BLS_G2_IsEq& op) const {
    if ( op.a.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.b.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G2_IsEq(op);
}

/* Specialization for operation::BLS_G2_Neg */
template<> void ExecutorBase<component::G2, operation::BLS_G2_Neg>::postprocess(std::shared_ptr<Module> module, operation::BLS_G2_Neg& op, const ExecutorBase<component::G2, operation::BLS_G2_Neg>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g2_v = result.second->first.first.ToTrimmedString();
        const auto g2_w = result.second->first.second.ToTrimmedString();
        const auto g2_x = result.second->second.first.ToTrimmedString();
        const auto g2_y = result.second->second.second.ToTrimmedString();

        Pool_CurveBLSG2.Set({ curveID, g2_v, g2_w, g2_x, g2_y });

        if ( g2_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_v}); }
        if ( g2_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_w}); }
        if ( g2_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_x}); }
        if ( g2_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_y}); }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_G2_Neg>::callModule(std::shared_ptr<Module> module, operation::BLS_G2_Neg& op) const {
    if ( op.a.first.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.first.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.first.GetSize() > config::kMaxBignumSize ) return std::nullopt;
    if ( op.a.second.second.GetSize() > config::kMaxBignumSize ) return std::nullopt;

    return module->OpBLS_G2_Neg(op);
}

/* Specialization for operation::Misc */
template<> void ExecutorBase<Buffer, operation::Misc>::postprocess(std::shared_ptr<Module> module, operation::Misc& op, const ExecutorBase<Buffer, operation::Misc>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<Buffer> ExecutorBase<Buffer, operation::Misc>::callModule(std::shared_ptr<Module> module, operation::Misc& op) const {
    return module->OpMisc(op);
}

/* Specialization for operation::BLS_HashToG2 */
template<> void ExecutorBase<component::G2, operation::BLS_HashToG2>::postprocess(std::shared_ptr<Module> module, operation::BLS_HashToG2& op, const ExecutorBase<component::G2, operation::BLS_HashToG2>::ResultPair& result) const {
    (void)module;

    if ( result.second != std::nullopt  ) {
        const auto curveID = op.curveType.Get();
        const auto g2_v = result.second->first.first.ToTrimmedString();
        const auto g2_w = result.second->first.second.ToTrimmedString();
        const auto g2_x = result.second->second.first.ToTrimmedString();
        const auto g2_y = result.second->second.second.ToTrimmedString();

        Pool_CurveBLSG2.Set({ curveID, g2_v, g2_w, g2_x, g2_y });

        if ( g2_v.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_v}); }
        if ( g2_w.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_w}); }
        if ( g2_x.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_x}); }
        if ( g2_y.size() <= config::kMaxBignumSize ) { Pool_Bignum.Set({g2_y}); }
    }
}

template<> std::optional<component::G2> ExecutorBase<component::G2, operation::BLS_HashToG2>::callModule(std::shared_ptr<Module> module, operation::BLS_HashToG2& op) const {
    return module->OpBLS_HashToG2(op);
}

ExecutorBignumCalc::ExecutorBignumCalc(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    ExecutorBase<component::Bignum, operation::BignumCalc>::ExecutorBase(operationID, modules, options)
{ }
void ExecutorBignumCalc::SetModulo(const std::string& modulo) {
    this->modulo = component::Bignum(modulo);
}

ExecutorBignumCalc_Mod_BLS12_381_R::ExecutorBignumCalc_Mod_BLS12_381_R(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    ExecutorBignumCalc::ExecutorBignumCalc(operationID, modules, options) {
    CF_NORET(SetModulo("52435875175126190479447740508185965837690552500527637822603658699938581184513"));
}

ExecutorBignumCalc_Mod_BLS12_381_P::ExecutorBignumCalc_Mod_BLS12_381_P(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    ExecutorBignumCalc::ExecutorBignumCalc(operationID, modules, options) {
    CF_NORET(SetModulo("4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787"));
}

ExecutorBignumCalc_Mod_2Exp256::ExecutorBignumCalc_Mod_2Exp256(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    ExecutorBignumCalc::ExecutorBignumCalc(operationID, modules, options) {
    CF_NORET(SetModulo("115792089237316195423570985008687907853269984665640564039457584007913129639936"));
}

ExecutorBignumCalc_Mod_SECP256K1::ExecutorBignumCalc_Mod_SECP256K1(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    ExecutorBignumCalc::ExecutorBignumCalc(operationID, modules, options) {
    CF_NORET(SetModulo("115792089237316195423570985008687907852837564279074904382605163141518161494337"));
}

template <class ResultType, class OperationType>
ExecutorBase<ResultType, OperationType>::ExecutorBase(const uint64_t operationID, const std::map<uint64_t, std::shared_ptr<Module> >& modules, const Options& options) :
    operationID(operationID),
    modules(modules),
    options(options)
{
}

/* Specialization for operation::SR25519_Verify */
template<> void ExecutorBase<bool, operation::SR25519_Verify>::postprocess(std::shared_ptr<Module> module, operation::SR25519_Verify& op, const ExecutorBase<bool, operation::SR25519_Verify>::ResultPair& result) const {
    (void)module;
    (void)op;
    (void)result;
}

template<> std::optional<bool> ExecutorBase<bool, operation::SR25519_Verify>::callModule(std::shared_ptr<Module> module, operation::SR25519_Verify& op) const {
    return module->OpSR25519_Verify(op);
}

template <class ResultType, class OperationType>
ExecutorBase<ResultType, OperationType>::~ExecutorBase() {
}

/* Filter away the values in the set that are std::nullopt */
template <class ResultType, class OperationType>
typename ExecutorBase<ResultType, OperationType>::ResultSet ExecutorBase<ResultType, OperationType>::filter(const ResultSet& results) const {
    ResultSet ret;

    for (const auto& result : results) {
        if ( result.second == std::nullopt ) {
            continue;
        }

        ret.push_back(result);
    }

    return ret;
}

/* Do not compare ECC_GenerateKeyPair results, because the result can be produced indeterministically */
template <>
void ExecutorBase<component::ECC_KeyPair, operation::ECC_GenerateKeyPair>::compare(const std::vector< std::pair<std::shared_ptr<Module>, operation::ECC_GenerateKeyPair> >& operations, const ResultSet& results, const uint8_t* data, const size_t size) const {
    (void)operations;
    (void)results;
    (void)data;
    (void)size;
}

template <class ResultType, class OperationType>
bool ExecutorBase<ResultType, OperationType>::dontCompare(const OperationType& operation) const {
    (void)operation;

    return false;
}

template <>
bool ExecutorBase<component::Bignum, operation::BignumCalc>::dontCompare(const operation::BignumCalc& operation) const {
    if ( operation.calcOp.Get() == CF_CALCOP("Rand()") ) { return true; }

    return false;
}

template <>
bool ExecutorBase<component::ECDSA_Signature, operation::ECDSA_Sign>::dontCompare(const operation::ECDSA_Sign& operation) const {
    if (
            operation.curveType.Get() != CF_ECC_CURVE("ed25519") &&
            operation.curveType.Get() != CF_ECC_CURVE("ed448") ) {
        if ( operation.UseRandomNonce() ) {
            /* Don't compare ECDSA signatures comptued from a randomly generated nonce */
            return true;
        }
    }

    return false;
}

template <>
bool ExecutorBase<component::ECGDSA_Signature, operation::ECGDSA_Sign>::dontCompare(const operation::ECGDSA_Sign& operation) const {
    if (
            operation.curveType.Get() != CF_ECC_CURVE("ed25519") &&
            operation.curveType.Get() != CF_ECC_CURVE("ed448") ) {
        if ( operation.UseRandomNonce() ) {
            /* Don't compare ECGDSA signatures comptued from a randomly generated nonce */
            return true;
        }
    }

    return false;
}

template <>
bool ExecutorBase<component::ECRDSA_Signature, operation::ECRDSA_Sign>::dontCompare(const operation::ECRDSA_Sign& operation) const {
    if (
            operation.curveType.Get() != CF_ECC_CURVE("ed25519") &&
            operation.curveType.Get() != CF_ECC_CURVE("ed448") ) {
        if ( operation.UseRandomNonce() ) {
            /* Don't compare ECRDSA signatures comptued from a randomly generated nonce */
            return true;
        }
    }

    return false;
}

/* OpenSSL DES_EDE3_WRAP randomizes the IV, result is different each time */
template <>
bool ExecutorBase<component::Ciphertext, operation::SymmetricEncrypt>::dontCompare(const operation::SymmetricEncrypt& operation) const {
    if ( operation.cipher.cipherType.Get() == CF_CIPHER("DES_EDE3_WRAP") ) { return true; }

    return false;
}

template <>
bool ExecutorBase<component::Cleartext, operation::SymmetricDecrypt>::dontCompare(const operation::SymmetricDecrypt& operation) const {
    if ( operation.cipher.cipherType.Get() == CF_CIPHER("DES_EDE3_WRAP") ) return true;

    return false;
}

template <>
bool ExecutorBase<component::MAC, operation::CMAC>::dontCompare(const operation::CMAC& operation) const {
    if ( operation.cipher.cipherType.Get() == CF_CIPHER("DES_EDE3_WRAP") ) return true;

    return false;
}

template <>
bool ExecutorBase<component::MAC, operation::HMAC>::dontCompare(const operation::HMAC& operation) const {
    if ( operation.cipher.cipherType.Get() == CF_CIPHER("DES_EDE3_WRAP") ) return true;

    return false;
}

template <class ResultType, class OperationType>
void ExecutorBase<ResultType, OperationType>::compare(const std::vector< std::pair<std::shared_ptr<Module>, OperationType> >& operations, const ResultSet& results, const uint8_t* data, const size_t size) const {
    if ( results.size() < 2 ) {
        /* Nothing to compare. Don't even bother filtering. */
        return;
    }

    const auto filtered = filter(results);

    if ( filtered.size() < 2 ) {
        /* Nothing to compare */
        return;
    }

    if ( dontCompare(operations[0].second) == true ) {
        return;
    }

    for (size_t i = 1; i < filtered.size(); i++) {
        const std::optional<ResultType>& prev = filtered[i-1].second;
        const std::optional<ResultType>& cur = filtered[i].second;

        const bool equal = *prev == *cur;

        if ( !equal ) {
            /* Reconstruct operation */
            const auto op = getOp(nullptr, data, size);
            string opstr = op.ToString();
            if(opstr.find("secp256r1") != opstr.npos && opstr.find("ECC_Point_Mul") != opstr.npos &&
            (filtered[i-1].first->name == "wolfCrypt" || filtered[i].first->name == "wolfCrypt")){
                return;
            }

            printf("Difference detected\n\n");
            printf("Operation:\n%s\n", op.ToString().c_str());
            printf("Module %s result:\n\n%s\n\n", filtered[i-1].first->name.c_str(), util::ToString(*prev).c_str());
            printf("Module %s result:\n\n%s\n\n", filtered[i].first->name.c_str(), util::ToString(*cur).c_str());

            abort(
                    {filtered[i-1].first->name.c_str(), filtered[i].first->name.c_str()},
                    op.Name(),
                    op.GetAlgorithmString(),
                    "difference"
            );
        }
    }
}

template <class ResultType, class OperationType>
void ExecutorBase<ResultType, OperationType>::abort(std::vector<std::string> moduleNames, const std::string operation, const std::string algorithm, const std::string reason) const {
    std::sort(moduleNames.begin(), moduleNames.end());

    printf("Assertion failure: ");
    for (const auto& moduleName : moduleNames) {
        printf("%s-", moduleName.c_str());
    }
    printf("%s-%s-%s\n", operation.c_str(), algorithm.c_str(), reason.c_str());
    fflush(stdout);

    ::abort();
}

template <class ResultType, class OperationType>
OperationType ExecutorBase<ResultType, OperationType>::getOpPostprocess(Datasource* parentDs, OperationType op) const {
    (void)parentDs;
    return std::move(op);
}

operation::BignumCalc ExecutorBignumCalc_Mod_BLS12_381_R::getOpPostprocess(Datasource* parentDs, operation::BignumCalc op) const {
    (void)parentDs;
    op.modulo = modulo;
    return op;
}

operation::BignumCalc ExecutorBignumCalc_Mod_BLS12_381_P::getOpPostprocess(Datasource* parentDs, operation::BignumCalc op) const {
    (void)parentDs;
    op.modulo = modulo;
    return op;
}

operation::BignumCalc ExecutorBignumCalc_Mod_2Exp256::getOpPostprocess(Datasource* parentDs, operation::BignumCalc op) const {
    (void)parentDs;
    op.modulo = modulo;
    return op;
}

operation::BignumCalc ExecutorBignumCalc_Mod_SECP256K1::getOpPostprocess(Datasource* parentDs, operation::BignumCalc op) const {
    (void)parentDs;
    op.modulo = modulo;
    return op;
}

template <class ResultType, class OperationType>
OperationType ExecutorBase<ResultType, OperationType>::getOp(Datasource* parentDs, const uint8_t* data, const size_t size) const {
    Datasource ds(data, size);
    if ( parentDs != nullptr ) {
        auto modifier = parentDs->GetData(0);
        return getOpPostprocess(parentDs, std::move( OperationType(ds, component::Modifier(modifier.data(), modifier.size())) ) );
    } else {
        return std::move( OperationType(ds, component::Modifier(nullptr, 0)) );
    }
}

template <class ResultType, class OperationType>
std::shared_ptr<Module> ExecutorBase<ResultType, OperationType>::getModule(Datasource& ds) const {
    auto moduleID = ds.Get<uint64_t>();
    /* counting get module times */

    /* Override the extracted module ID with the preferred one, if specified */
    if ( options.forceModule != std::nullopt ) {
        moduleID = *options.forceModule;
    }
    /* Skip if this is a disabled module */
    if ( options.disableModules.HaveExplicit(moduleID) ) {
        return nullptr;
    }

    if ( modules.find(moduleID) == modules.end() ) {
        /* counting unexisted module */
        
        moduleID = fuzzing::datasource::ID( ("Cryptofuzz/Module/OpenSSL"));
    }

    return modules.at(moduleID);
}


template <class ResultType, class OperationType>
void ExecutorBase<ResultType, OperationType>::Run(Datasource& parentDs, const uint8_t* data, const size_t size) const {
    typename ExecutorBase<ResultType, OperationType>::ResultSet results;
    std::vector< std::pair<std::shared_ptr<Module>, OperationType> > operations;


    do {
        auto op = getOp(&parentDs, data, size);
        auto module = getModule(parentDs);
        if ( module == nullptr ) {
            continue;
        }

        operations.push_back( {module, op} );

        /* Limit number of operations per run to prevent time-outs */
        if ( operations.size() == OperationType::MaxOperations() ) {
            break;
        }
    } while ( parentDs.Get<bool>() == true );

    if ( operations.empty() == true ) {
        return;
    }

    /* Enable this to run every operation on every loaded module */
#if 1
    {
        std::set<uint64_t> moduleIDs;
        for (const auto& m : modules ) {
            const auto moduleID = m.first;

            /* Skip if this is a disabled module */
            if ( options.disableModules.HaveExplicit(moduleID) ) {
                continue;
            }

            moduleIDs.insert(moduleID);
        }

        std::set<uint64_t> operationModuleIDs;
        for (const auto& op : operations) {
            operationModuleIDs.insert(op.first->ID);
        }

        std::vector<uint64_t> addModuleIDs(moduleIDs.size());
        auto it = std::set_difference(moduleIDs.begin(), moduleIDs.end(), operationModuleIDs.begin(), operationModuleIDs.end(), addModuleIDs.begin());
        addModuleIDs.resize(it - addModuleIDs.begin());

        for (const auto& id : addModuleIDs) {
            operations.push_back({ modules.at(id), operations[0].second});
        }
    }
#endif
    if ( operations.size() < options.minModules ) {
        return;
    }

    if ( options.debug == true && !operations.empty() ) {
        printf("Running:\n%s\n", operations[0].second.ToString().c_str());
    }

    std::string res = "";
    for (size_t i = 0; i < operations.size(); i++) {
        auto& operation = operations[i];
        auto& module = operation.first;
        auto& op = operation.second;

        if ( i > 0 ) {
            auto& prevModule = operations[i-1].first;
            auto& prevOp = operations[i].second;

            if ( prevModule == module && prevOp.modifier == op.modifier ) {
                auto& curModifier = op.modifier.GetVectorPtr();
                if ( curModifier.size() == 0 ) {
                    for (size_t j = 0; j < 512; j++) {
                        curModifier.push_back(1);
                    }
                } else {
                    for (auto& c : curModifier) {
                        c++;
                    }
                }
            }
        }

        // if ( options.debug == true ) {
        //     printf("modifier: %s\n", util::HexDump(op.modifier.Get()).c_str());
        // }

        results.push_back( {module, std::move(callModule(module, op))} );

        const auto& result = results.back();

        if ( result.second != std::nullopt ) {
            if ( options.jsonDumpFP != std::nullopt ) {
                nlohmann::json j;
                j["operation"] = op.ToJSON();
                j["result"] = util::ToJSON(*result.second);
                fprintf(*options.jsonDumpFP, "%s\n", j.dump().c_str());
            }
        }

        if ( options.debug == true) {
            if(result.second != std::nullopt){
                printf("Module %s result:\n\n%s\n\n",
                    result.first->name.c_str(),
                    result.second == std::nullopt ?
                        "(empty)" :
                        util::ToString(*result.second).c_str());
            }
        }
        if(result.second != std::nullopt){
            mt4.lock();
            FILE* fp3 = fopen("validResultCount.txt", "a");
            fprintf(fp3, "1");
            fclose(fp3);
            mt4.unlock();
        }

        if(result.second != std::nullopt) res = util::ToSeed(*result.second);

        if ( options.disableTests == false ) {
            tests::test(op, result.second);
        }

        postprocess(module, op, result);
    }

    if ( options.noCompare == false ) {
        compare(operations, results, data, size);
    }
}

/* Explicit template instantiation */
template class ExecutorBase<component::Digest, operation::Digest>;
template class ExecutorBase<component::MAC, operation::HMAC>;
template class ExecutorBase<component::MAC, operation::CMAC>;
template class ExecutorBase<component::Ciphertext, operation::SymmetricEncrypt>;
template class ExecutorBase<component::Cleartext, operation::SymmetricDecrypt>;
template class ExecutorBase<component::Key, operation::KDF_SCRYPT>;
template class ExecutorBase<component::Key, operation::KDF_HKDF>;
template class ExecutorBase<component::Key, operation::KDF_TLS1_PRF>;
template class ExecutorBase<component::Key, operation::KDF_PBKDF>;
template class ExecutorBase<component::Key, operation::KDF_PBKDF1>;
template class ExecutorBase<component::Key, operation::KDF_PBKDF2>;
template class ExecutorBase<component::Key, operation::KDF_ARGON2>;
template class ExecutorBase<component::Key, operation::KDF_SSH>;
template class ExecutorBase<component::Key, operation::KDF_X963>;
template class ExecutorBase<component::Key, operation::KDF_BCRYPT>;
template class ExecutorBase<component::Key, operation::KDF_SP_800_108>;
template class ExecutorBase<component::ECC_PublicKey, operation::ECC_PrivateToPublic>;
template class ExecutorBase<bool, operation::ECC_ValidatePubkey>;
template class ExecutorBase<component::ECC_KeyPair, operation::ECC_GenerateKeyPair>;
template class ExecutorBase<component::ECDSA_Signature, operation::ECDSA_Sign>;
template class ExecutorBase<component::ECGDSA_Signature, operation::ECGDSA_Sign>;
template class ExecutorBase<component::ECRDSA_Signature, operation::ECRDSA_Sign>;
template class ExecutorBase<component::Schnorr_Signature, operation::Schnorr_Sign>;
template class ExecutorBase<bool, operation::ECDSA_Verify>;
template class ExecutorBase<bool, operation::ECGDSA_Verify>;
template class ExecutorBase<bool, operation::ECRDSA_Verify>;
template class ExecutorBase<bool, operation::Schnorr_Verify>;
template class ExecutorBase<component::ECC_PublicKey, operation::ECDSA_Recover>;
template class ExecutorBase<component::Secret, operation::ECDH_Derive>;
template class ExecutorBase<component::Ciphertext, operation::ECIES_Encrypt>;
template class ExecutorBase<component::Cleartext, operation::ECIES_Decrypt>;
template class ExecutorBase<component::ECC_Point, operation::ECC_Point_Add>;
template class ExecutorBase<component::ECC_Point, operation::ECC_Point_Mul>;
template class ExecutorBase<component::DH_KeyPair, operation::DH_GenerateKeyPair>;
template class ExecutorBase<component::Bignum, operation::DH_Derive>;
template class ExecutorBase<component::Bignum, operation::BignumCalc>;
template class ExecutorBase<component::BLS_PublicKey, operation::BLS_PrivateToPublic>;
template class ExecutorBase<component::G2, operation::BLS_PrivateToPublic_G2>;
template class ExecutorBase<component::BLS_Signature, operation::BLS_Sign>;
template class ExecutorBase<bool, operation::BLS_Verify>;
template class ExecutorBase<component::G1, operation::BLS_Aggregate_G1>;
template class ExecutorBase<component::G2, operation::BLS_Aggregate_G2>;
template class ExecutorBase<bool, operation::BLS_Pairing>;
template class ExecutorBase<component::G1, operation::BLS_HashToG1>;
template class ExecutorBase<component::G2, operation::BLS_HashToG2>;
template class ExecutorBase<bool, operation::BLS_IsG1OnCurve>;
template class ExecutorBase<bool, operation::BLS_IsG2OnCurve>;
template class ExecutorBase<component::BLS_KeyPair, operation::BLS_GenerateKeyPair>;
template class ExecutorBase<component::G1, operation::BLS_Decompress_G1>;
template class ExecutorBase<component::Bignum, operation::BLS_Compress_G1>;
template class ExecutorBase<component::G2, operation::BLS_Decompress_G2>;
template class ExecutorBase<component::G1, operation::BLS_Compress_G2>;
template class ExecutorBase<component::G1, operation::BLS_G1_Add>;
template class ExecutorBase<component::G1, operation::BLS_G1_Mul>;
template class ExecutorBase<bool, operation::BLS_G1_IsEq>;
template class ExecutorBase<component::G1, operation::BLS_G1_Neg>;
template class ExecutorBase<component::G2, operation::BLS_G2_Add>;
template class ExecutorBase<component::G2, operation::BLS_G2_Mul>;
template class ExecutorBase<bool, operation::BLS_G2_IsEq>;
template class ExecutorBase<component::G2, operation::BLS_G2_Neg>;
template class ExecutorBase<Buffer, operation::Misc>;
template class ExecutorBase<bool, operation::SR25519_Verify>;

} /* namespace cryptofuzz */