https://blltprf.xyz/ monthly 1.0 https://blltprf.xyz/executable-specs/ monthly 0.8 https://blltprf.xyz/blog/ weekly 0.7 https://blltprf.xyz/impressum.html yearly 0.2 https://blltprf.xyz/blog/25-min-solidity-fuzzer/ monthly 0.6 https://blltprf.xyz/blog/aztec-governance-formal-verification/ monthly 0.6 https://blltprf.xyz/blog/cannot-mbt-with-pbt/ monthly 0.6 https://blltprf.xyz/blog/formal-methods-vs-exhaustive-testing/ monthly 0.6 https://blltprf.xyz/blog/fuzzing/ monthly 0.6