Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jac18281828/quadraticgnark

SNARK Proof that the Prover knows the roots of a Quadratic in GNARK
https://github.com/jac18281828/quadraticgnark

Last synced: about 1 month ago
JSON representation

SNARK Proof that the Prover knows the roots of a Quadratic in GNARK

Awesome Lists containing this project

README

        

# GNARK Test Environment and Example

#### Architecture

Works in both arm64 and amd64!

### Simple examples

r = 2
r^2 = 4

r = 178800966790051593920192922643770639842463081723895264399569408502030276897777945823935810034454120124866561298438574877728992316804450445738446831105202822097641746286927813123301642751171919521342991098705489892343220069575354287430800044268378927246855795753359644119735174090935499441410174889772507785999
r^2 = 31969785725057132989721964005976347223369519615157747397574202476941528103285182961753802822487115018431906149722101536986425750224502585790182684993230886528895930699633017488648506791183045262707458228617634352807485707031843205639973167612436907950992651989350655896583894563950492327853783227024965220272748885336134812401910852803832109858059987749596362074373384168009809607367587838737985335899094141132651196283834287186800918408200363732173437785074615195795693378652781289016475584158237353466715471356191896093211275982315957272025569203342174390022691958263958458298537873960313165462319437651076780428001