using NBitcoin;
using PalladiumWallet.Core.Chain;
using PalladiumWallet.Core.Spv;
namespace PalladiumWallet.Tests.Spv;
public class ScripthashTests
{
// Vettori calcolati indipendentemente con Python (hashlib), non con NBitcoin.
[Theory]
[InlineData("76a9140102030405060708090a0b0c0d0e0f101112131488ac",
"5546fc69d399ef99854c132abb060381cc159dbec67c496a6f0e0dbf12e83ae8")]
[InlineData("00140102030405060708090a0b0c0d0e0f1011121314",
"8639a8f75edb01f890138755277a84283c26fcba6f3289725d19cead464aa78a")]
public void Lo_scripthash_e_sha256_dello_script_con_byte_invertiti(string scriptHex, string expected)
{
var script = Script.FromHex(scriptHex);
Assert.Equal(expected, Scripthash.FromScript(script));
}
}
public class MerkleProofTests
{
// Blocco Bitcoin 100000: 4 transazioni, merkle root nota — àncora esterna
// per la convenzione di hashing/ordinamento.
private static readonly uint256[] Block100000Txids =
[
uint256.Parse("8c14f0db3df150123e6f3dbbf30f8b955a8249b62ac1d1ff16284aefa3d06d87"),
uint256.Parse("fff2525b8931402dd09222c50775608f75787bd2b87e56995a7bdd30f79702c4"),
uint256.Parse("6359f0868171b1d194cbee1af2f16ea598ae8fad666d9b012c8ed2b79a236ec4"),
uint256.Parse("e9a66845e05d5abc0ad04ec80f774a7e585c6e8db975962d069a522137b80c1d"),
];
private static readonly uint256 Block100000Root =
uint256.Parse("f3e94742aca4b5ef85488dc37c06c3282295ffec960994b2c0d5ac2a25a95766");
[Fact]
public void La_radice_calcolata_dalle_foglie_coincide_con_quella_del_blocco()
{
Assert.Equal(Block100000Root, MerkleProof.ComputeRootFromLeaves(Block100000Txids));
}
[Theory]
[InlineData(0)]
[InlineData(1)]
[InlineData(2)]
[InlineData(3)]
public void Ogni_prova_di_merkle_del_blocco_verifica_contro_la_radice(int position)
{
var branch = BuildBranch(Block100000Txids, position);
Assert.True(MerkleProof.Verify(Block100000Txids[position], position, branch, Block100000Root));
}
[Fact]
public void Una_prova_per_la_posizione_sbagliata_fallisce()
{
var branch = BuildBranch(Block100000Txids, 0);
Assert.False(MerkleProof.Verify(Block100000Txids[0], 1, branch, Block100000Root));
}
[Fact]
public void Un_txid_estraneo_non_verifica()
{
var branch = BuildBranch(Block100000Txids, 0);
Assert.False(MerkleProof.Verify(uint256.One, 0, branch, Block100000Root));
}
/// Costruisce il branch per una foglia ricostruendo i livelli dell'albero.
private static List BuildBranch(IReadOnlyList leaves, int position)
{
var branch = new List();
var level = leaves.ToList();
while (level.Count > 1)
{
var sibling = (position ^ 1) < level.Count ? level[position ^ 1] : level[position];
branch.Add(sibling);
var next = new List();
for (var i = 0; i < level.Count; i += 2)
{
var pair = new[] { level[i], i + 1 < level.Count ? level[i + 1] : level[i] };
next.Add(MerkleProof.ComputeRootFromLeaves(pair));
}
level = next;
position >>= 1;
}
return branch;
}
}
public class BlockHeaderInfoTests
{
// Header del blocco genesi di Bitcoin (riusato dalla mainnet PLM, §3).
private const string GenesisHeaderHex =
"0100000000000000000000000000000000000000000000000000000000000000000000003ba3edfd7a7b12b27ac72c3e67768f617fc81bc3888a51323a9fb8aa4b1e5e4a29ab5f49ffff001d1dac2b7c";
[Fact]
public void L_header_della_genesi_si_parsa_con_hash_e_merkle_root_attesi()
{
var header = BlockHeaderInfo.Parse(GenesisHeaderHex);
Assert.Equal(ChainProfiles.Mainnet.GenesisHash, header.Hash.ToString());
Assert.Equal(
"4a5e1e4baab89f3a32518a88c31bc87f618f76673e2cc77ab2127b7afdeda33b",
header.MerkleRoot.ToString());
Assert.Equal(uint256.Zero, header.PrevHash);
Assert.Equal(1, header.Version);
Assert.Equal(0x1d00ffffu, header.Bits);
}
[Fact]
public void Il_collegamento_prev_hash_viene_verificato()
{
var genesis = BlockHeaderInfo.Parse(GenesisHeaderHex);
Assert.True(genesis.IsValidChild(uint256.Zero, ChainProfiles.Mainnet));
Assert.False(genesis.IsValidChild(uint256.One, ChainProfiles.Mainnet));
}
[Fact]
public void Con_skip_pow_la_validazione_non_controlla_il_target()
{
// La genesi ha PoW valido, ma il punto è che con SkipPowValidation=true
// (LWMA, §3) il check si limita al collegamento.
var header = BlockHeaderInfo.Parse(GenesisHeaderHex);
Assert.True(ChainProfiles.Mainnet.SkipPowValidation);
Assert.True(header.IsValidChild(uint256.Zero, ChainProfiles.Mainnet));
}
}