./dilithium.go