Add validation of the ValidatorsHash, Round and Proof

[Mdaiki0730]

Description

Since the Header contains the ValidatorHash, Round, and Proof, the Header.ValidateBasic() should perform the stateless validation of the ValidatorsHash, Round and Proof as well.

We also added the below for libsodium support on M1 macs.

#cgo darwin,arm64 CFLAGS: -I./sodium/darwin_arm64/include/
#cgo darwin,arm64 LDFLAGS: -L./sodium/darwin_arm64/lib -lsodium

PR Check List

• This implementation does not return an error if Proof is nil. Should we treat this as an error?
• I changed the build tag of e2e test from libsodium to r2ishiguro.Is there any problem?

[codecov]

Codecov Report

Merging #510 (14d66a5) into main (f92e500) will increase coverage by 0.07%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #510      +/-   ##
==========================================
+ Coverage   65.60%   65.68%   +0.07%     
==========================================
  Files         279      279              
  Lines       37988    38032      +44     
==========================================
+ Hits        24923    24981      +58     
+ Misses      11268    11255      -13     
+ Partials     1797     1796       -1     

Impacted Files	Coverage Δ
crypto/vrf/vrf_r2ishiguro.go	100.00% <ø> (ø)
types/block.go	77.10% <100.00%> (+0.22%)	⬆️
types/validation.go	64.00% <100.00%> (+16.94%)	⬆️
crypto/sr25519/pubkey.go	35.89% <0.00%> (-7.70%)	⬇️
blockchain/v0/pool.go	78.81% <0.00%> (-1.04%)	⬇️
consensus/state.go	72.92% <0.00%> (-0.41%)	⬇️
mempool/clist_mempool.go	82.16% <0.00%> (-0.25%)	⬇️
mempool/mempool.go	100.00% <0.00%> (ø)
state/tx_filter.go	100.00% <0.00%> (ø)
rpc/core/mempool.go	0.00% <0.00%> (ø)
... and 10 more

[torao]

LGTM

[tnasu]

I changed the build tag of e2e test from libsodium to r2ishiguro.Is there any problem?

Why did you do that? I think it should do the e2e-test with libsodium.

[tnasu]

Would you add the below in the description why do you modify it?

#cgo darwin,arm64 CFLAGS: -I./sodium/darwin_arm64/include/
#cgo darwin,arm64 LDFLAGS: -L./sodium/darwin_arm64/lib -lsodium

[Mdaiki0730]

I got it. Thank you for your advice.