merkle.h

Go to the documentation of this file.

/* 2025-2026 Quantum Resistant Cryptographic Solutions Corporation
 * All Rights Reserved.
 *
 * NOTICE:
 * This software and all accompanying materials are the exclusive property of
 * Quantum Resistant Cryptographic Solutions Corporation (QRCS). The intellectual
 * and technical concepts contained herein are proprietary to QRCS and are
 * protected under applicable Canadian, U.S., and international copyright,
 * patent, and trade secret laws.
 *
 * CRYPTOGRAPHIC ALGORITHMS AND IMPLEMENTATIONS:
 * - This software includes implementations of cryptographic primitives and
 *   algorithms that are standardized or in the public domain, such as AES
 *   and SHA-3, which are not proprietary to QRCS.
 * - This software also includes cryptographic primitives, constructions, and
 *   algorithms designed by QRCS, including but not limited to RCS, SCB, CSX, QMAC, and
 *   related components, which are proprietary to QRCS.
 * - All source code, implementations, protocol compositions, optimizations,
 *   parameter selections, and engineering work contained in this software are
 *   original works of QRCS and are protected under this license.
 *
 * LICENSE AND USE RESTRICTIONS:
 * - This software is licensed under the Quantum Resistant Cryptographic Solutions
 *   Public Research and Evaluation License (QRCS-PREL), 2025-2026.
 * - Permission is granted solely for non-commercial evaluation, academic research,
 *   cryptographic analysis, interoperability testing, and feasibility assessment.
 * - Commercial use, production deployment, commercial redistribution, or
 *   integration into products or services is strictly prohibited without a
 *   separate written license agreement executed with QRCS.
 * - Licensing and authorized distribution are solely at the discretion of QRCS.
 *
 * EXPERIMENTAL CRYPTOGRAPHY NOTICE:
 * Portions of this software may include experimental, novel, or evolving
 * cryptographic designs. Use of this software is entirely at the user's risk.
 *
 * DISCLAIMER:
 * THIS SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO WARRANTIES OF MERCHANTABILITY, FITNESS
 * FOR A PARTICULAR PURPOSE, SECURITY, OR NON-INFRINGEMENT. QRCS DISCLAIMS ALL
 * LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
 * ARISING FROM THE USE OR MISUSE OF THIS SOFTWARE.
 *
 * FULL LICENSE:
 * This software is subject to the Quantum Resistant Cryptographic Solutions
 * Public Research and Evaluation License (QRCS-PREL), 2025-2026. The complete license terms
 * are provided in the accompanying LICENSE file or at https://www.qrcscorp.ca.
 *
 * Written by: John G. Underhill
 * Contact: contact\qrcscorp.ca
 */
 
#ifndef MCEL_MERKLE_H
#define MCEL_MERKLE_H
 
#include "mcelcommon.h"
#include "domain.h"


#define MCEL_MERKLE_HASH_SIZE 32U

#define MCEL_MERKLE_NODE_SIZE (MCEL_MERKLE_HASH_SIZE * 2U)

#define MCEL_MERKLE_PROOF_HASHES_MAX 32U

MCEL_EXPORT_API size_t mcel_merkle_consistency_proof_size(size_t oldcount, size_t newcount);

MCEL_EXPORT_API size_t mcel_merkle_proof_size(size_t count);

MCEL_EXPORT_API bool mcel_merkle_prove_member(uint8_t* proof, size_t prooflen, const uint8_t* leaves, size_t count, size_t index);

MCEL_EXPORT_API bool mcel_merkle_member_verify(const uint8_t* root, const uint8_t* leaf, const uint8_t* proof, size_t prooflen, size_t count, size_t index);

MCEL_EXPORT_API bool mcel_merkle_root(uint8_t* root, const uint8_t* leaves, size_t count);

MCEL_EXPORT_API bool mcel_merkle_root_hash(uint8_t* output, mcel_domain_types domain);

MCEL_EXPORT_API bool mcel_merkle_node_hash(uint8_t* output, const uint8_t* left, const uint8_t* right);
 
#endif