A Verilog implementation of ChaCha20