gkr-python-implementation Implementation of the GKR protocol. This code verifies if an arithmetic circuit has been computed correctly.