Given an arithmetic circuit over a finite field of characteristic 2, what families of cryptographic hash functions can be efficiently computed with this circuit?
Can standard hash functions be computed? To do so, standard bit operations would be necessary. XOR is possible via addition, but are there any arithmetic operations corresponding to other necessary bit operations like SHIFT, AND, NOT, etc.? An explanation of what bit operations are possible would be great.
If standard hash functions are not suitable, are there specialized hash functions developed for use over finite fields? If so, please reference any related papers.