accountable.hpp

Go to the documentation of this file.

// Copyright (c) 2026 Judica, Inc.
// Distributed under the MIT software license, see the accompanying
// file COPYING or https://opensource.org/license/mit/.

 
#pragma once
 
#include <array>
#include <span>
 
#include "purify/numeric.hpp"
 
namespace purify::accountable {

struct ConflictContext {
    std::array<unsigned char, 32> signing_key{};
    std::array<unsigned char, 32> host_commitment{};
    std::span<const unsigned char> slot;
};

class ScalarSignature {
public:
    [[nodiscard]] static Result<ScalarSignature> deserialize(std::span<const unsigned char> bytes);

    [[nodiscard]] std::array<unsigned char, 32> serialize() const { return scalar_.to_bytes_be(); }
 
private:
    explicit ScalarSignature(FieldElement scalar) : scalar_(scalar) {}
    FieldElement scalar_;
};

[[nodiscard]] Result<std::array<unsigned char, 32>> nonce_evaluation_input(
    const ConflictContext& context, purify_secp_context* secp_context);

[[nodiscard]] Result<FieldElement> signature_challenge(
    const ConflictContext& context, std::span<const unsigned char> canonical_body,
    purify_secp_context* secp_context);

[[nodiscard]] Result<std::array<unsigned char, 33>> reconstruct_nonce(
    const ConflictContext& context, std::span<const unsigned char> canonical_body,
    const ScalarSignature& signature, purify_secp_context* secp_context);

[[nodiscard]] Result<std::array<unsigned char, 32>> recover_same_slot_key(
    const ConflictContext& context,
    std::span<const unsigned char> first_body, const ScalarSignature& first_signature,
    std::span<const unsigned char> second_body, const ScalarSignature& second_signature,
    purify_secp_context* secp_context);
 
} // namespace purify::accountable