// Copyright (c) 2023-present The Bitcoin Core developers

// Distributed under the MIT software license, see the accompanying

// file COPYING or http://www.opensource.org/licenses/mit-license.php.

#include <bip324.h>

#include <chainparams.h>

#include <random.h>

#include <span.h>

#include <test/fuzz/FuzzedDataProvider.h>

#include <test/fuzz/fuzz.h>

#include <test/fuzz/util.h>

#include <algorithm>

#include <cstdint>

#include <vector>

namespace {

void Initialize()

{

    static ECC_Context ecc_context{};

    SelectParams(ChainType::MAIN);

}

}  // namespace

FUZZ_TARGET(bip324_cipher_roundtrip, .init=Initialize)

{

    // Test that BIP324Cipher's encryption and decryption agree.

    // Load keys from fuzzer.

    FuzzedDataProvider provider(buffer.data(), buffer.size());

    // Initiator key

    CKey init_key = ConsumePrivateKey(provider, /*compressed=*/true);

    if (!init_key.IsValid()) return;

  Branch (35:9): [True: 3, False: 1.58k]

    // Initiator entropy

    auto init_ent = provider.ConsumeBytes<std::byte>(32);

    init_ent.resize(32);

    // Responder key

    CKey resp_key = ConsumePrivateKey(provider, /*compressed=*/true);

    if (!resp_key.IsValid()) return;

  Branch (41:9): [True: 17, False: 1.56k]

    // Responder entropy

    auto resp_ent = provider.ConsumeBytes<std::byte>(32);

    resp_ent.resize(32);

    // Initialize ciphers by exchanging public keys.

    BIP324Cipher initiator(init_key, init_ent);

    assert(!initiator);

  Branch (48:5): [True: 1.56k, False: 0]

    BIP324Cipher responder(resp_key, resp_ent);

    assert(!responder);

  Branch (50:5): [True: 1.56k, False: 0]

    initiator.Initialize(responder.GetOurPubKey(), true);

    assert(initiator);

  Branch (52:5): [True: 1.56k, False: 0]

    responder.Initialize(initiator.GetOurPubKey(), false);

    assert(responder);

  Branch (54:5): [True: 1.56k, False: 0]

    // Initialize RNG deterministically, to generate contents and AAD. We assume that there are no

    // (potentially buggy) edge cases triggered by specific values of contents/AAD, so we can avoid

    // reading the actual data for those from the fuzzer input (which would need large amounts of

    // data).

    InsecureRandomContext rng(provider.ConsumeIntegral<uint64_t>());

    // Compare session IDs and garbage terminators.

    assert(std::ranges::equal(initiator.GetSessionID(), responder.GetSessionID()));

  Branch (63:5): [True: 1.56k, False: 0]

    assert(std::ranges::equal(initiator.GetSendGarbageTerminator(), responder.GetReceiveGarbageTerminator()));

  Branch (64:5): [True: 1.56k, False: 0]

    assert(std::ranges::equal(initiator.GetReceiveGarbageTerminator(), responder.GetSendGarbageTerminator()));

  Branch (65:5): [True: 1.56k, False: 0]

    LIMITED_WHILE (provider.remaining_bytes(), 1000) {

        // Mode:

        // - Bit 0: whether the ignore bit is set in message

        // - Bit 1: whether the responder (0) or initiator (1) sends

        // - Bit 2: whether this ciphertext will be corrupted (making it the last sent one)

        // - Bit 3-4: controls the maximum aad length (max 4095 bytes)

        // - Bit 5-7: controls the maximum content length (max 16383 bytes, for performance reasons)

        unsigned mode = provider.ConsumeIntegral<uint8_t>();

        bool ignore = mode & 1;

        bool from_init = mode & 2;

        bool damage = mode & 4;

        unsigned aad_length_bits = 4 * ((mode >> 3) & 3);

        unsigned aad_length = provider.ConsumeIntegralInRange<unsigned>(0, (1 << aad_length_bits) - 1);

        unsigned length_bits = 2 * ((mode >> 5) & 7);

        unsigned length = provider.ConsumeIntegralInRange<unsigned>(0, (1 << length_bits) - 1);

        // Generate aad and content.

        auto aad = rng.randbytes<std::byte>(aad_length);

        auto contents = rng.randbytes<std::byte>(length);

        // Pick sides.

        auto& sender{from_init ? initiator : responder};

  Branch (87:22): [True: 37.9k, False: 97.5k]

        auto& receiver{from_init ? responder : initiator};

  Branch (88:24): [True: 37.9k, False: 97.5k]

        // Encrypt

        std::vector<std::byte> ciphertext(length + initiator.EXPANSION);

        sender.Encrypt(contents, aad, ignore, ciphertext);

        // Optionally damage 1 bit in either the ciphertext (corresponding to a change in transit)

        // or the aad (to make sure that decryption will fail if the AAD mismatches).

        if (damage) {

  Branch (96:13): [True: 967, False: 134k]

            unsigned damage_bit = provider.ConsumeIntegralInRange<unsigned>(0,

                (ciphertext.size() + aad.size()) * 8U - 1U);

            unsigned damage_pos = damage_bit >> 3;

            std::byte damage_val{(uint8_t)(1U << (damage_bit & 7))};

            if (damage_pos >= ciphertext.size()) {

  Branch (101:17): [True: 174, False: 793]

                aad[damage_pos - ciphertext.size()] ^= damage_val;

            } else {

                ciphertext[damage_pos] ^= damage_val;

            }

        }

        // Decrypt length

        uint32_t dec_length = receiver.DecryptLength(std::span{ciphertext}.first(initiator.LENGTH_LEN));

        if (!damage) {

  Branch (110:13): [True: 134k, False: 967]

            assert(dec_length == length);

  Branch (111:13): [True: 134k, False: 0]

        } else {

            // For performance reasons, don't try to decode if length got increased too much.

            if (dec_length > 16384 + length) break;

  Branch (114:17): [True: 50, False: 917]

            // Otherwise, just append zeros if dec_length > length.

            ciphertext.resize(dec_length + initiator.EXPANSION);

        }

        // Decrypt

        std::vector<std::byte> decrypt(dec_length);

        bool dec_ignore{false};

        bool ok = receiver.Decrypt(std::span{ciphertext}.subspan(initiator.LENGTH_LEN), aad, dec_ignore, decrypt);

        // Decryption *must* fail if the packet was damaged, and succeed if it wasn't.

        assert(!ok == damage);

  Branch (124:9): [True: 135k, False: 0]

        if (!ok) break;

  Branch (125:13): [True: 917, False: 134k]

        assert(ignore == dec_ignore);

  Branch (126:9): [True: 134k, False: 0]

        assert(decrypt == contents);

  Branch (127:9): [True: 134k, False: 0]

    }

}