I received a grant from the Aptos Foundation to integrate our fuzzer into the Aptos consensus protocol.