feat: Consensus Rules

[jaoleal]

After a talk with @Davidson-Souza was noticed that floresta lack "minimum" consensus rules that core has.

TODO:

• [x] Map implemented and not-implemented rules on floresta in comparison to core
• [x] Implement that ones that need to
• [ ] implement all core test case about consensus

[jaoleal]

Core validation.cpp will serve as a guide

[Davidson-Souza]

Looks great! Just to clarify, we don't implement script validation, this is handled by libbitcoinconsensus. We have to implement:

• Other transaction checks
  • Amounts (implemented but not tested)
  • Script pubkey consensus restriction (I think a spk cannot be bigger than 10k bytes) (not implemented)
  • absolute and relative locktimes (not implemented)
  • Use libbitcoinconsensus to check the inputs (implemented but not tested)
• Blocks
  • PoW (implemented but not very tested)
  • Whether they have a valid ancestor (implemented and somehow tested)
  • Timestamp: it cannot be smaller than the MTP and greater than 7200 seconds from now (not implemented)
  • The merkle tree (implemented and tested as this is from rust-bitcoin)
  • The witness commitment (implemented and tested as this is from rust-bitcoin)
  • whether all transactions are valid (including coinbase) (implemented but not tested)

This list isn't exhaustive, we need to find out what else is there and implement it