.github GrothAlgebra GrothCrypto GrothCurves GrothExamples GrothProofs benchmarks docs .gitignore AGENTS.md README.md