Os sistemas de computação verificável e à prova de fraude da GM são!