An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit. - View it on GitHub