gkr_nonnative intial review

[amit0365]

Description

Initial draft of GKR nonnative prover and verifier functions. This can handle arbitrary fields, the variable.go file contains functions like FromBits which takes a variable and casts it as an element to perform necessary computation.

Fixes # (issue)

Type of change

• [x] New feature (non-breaking change which adds functionality)

How has this been tested?

• TestLoadCircuit
• TestTopSortTrivial
• TestTopSortSingleGate
• TestTopSortDeep
• TestGkrVectorsEmulated

Checklist:

• [x] I have performed a self-review of my code
• [x] I have commented my code, particularly in hard-to-understand areas
• [x] I have made corresponding changes to the documentation
• [x] I have added tests that prove my fix is effective or that my feature works
• [ ] I did not modify files generated from templates
• [ ] golangci-lint does not output errors locally
• [x] New and existing unit tests pass locally with my changes
• [ ] Any dependent changes have been merged and published in downstream modules

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
0 out of 2 committers have signed the CLA.

:x: amit0365
:x: TheDarkMatters

---

amit0365 seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}