├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── bn128 ├── LICENSE ├── README.md ├── bn128.go ├── bn128_test.go ├── g1.go ├── g1_test.go ├── g2.go └── g2_test.go ├── circuitcompiler ├── circuit-test-1.circuit ├── circuit-test-2.circuit ├── circuit.go ├── circuit_test.go ├── lexer.go └── parser.go ├── circuitexamples ├── factor.circuit ├── function.circuit ├── import-example.circuit └── imported-example.circuit ├── cli └── main.go ├── externalVerif ├── README.md ├── circom-test │ ├── circuit.circom │ ├── circuit.json │ ├── input.json │ ├── proof.json │ ├── proving_key.json │ ├── public.json │ ├── verification_key.json │ └── witness.json ├── circomVerifier.go └── circomVerifier_test.go ├── fields ├── LICENSE ├── fq.go ├── fq12.go ├── fq2.go ├── fq6.go └── fqn_test.go ├── go-snark-cli ├── go.mod ├── go.sum ├── groth16 ├── groth16.go └── groth16_test.go ├── r1csqap ├── README.md ├── r1csqap.go └── r1csqap_test.go ├── r1csqapFloat ├── r1csqapFloat.go └── r1csqapFloat_test.go ├── snark.go ├── snark_test.go ├── utils ├── base10parsers.go └── hexparsers.go ├── vim-syntax ├── README.md ├── ftdetect │ └── go-snark-circuit.vim ├── screenshot.png └── syntax │ └── go-snark-circuit.vim └── wasm ├── .gitignore ├── README.md ├── go-snark-wasm-wrapper.go ├── go-snark.wasm ├── index.html ├── index.js ├── package.json └── server.js /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/README.md -------------------------------------------------------------------------------- /bn128/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/LICENSE -------------------------------------------------------------------------------- /bn128/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/README.md -------------------------------------------------------------------------------- /bn128/bn128.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/bn128.go -------------------------------------------------------------------------------- /bn128/bn128_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/bn128_test.go -------------------------------------------------------------------------------- /bn128/g1.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/g1.go -------------------------------------------------------------------------------- /bn128/g1_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/g1_test.go -------------------------------------------------------------------------------- /bn128/g2.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/g2.go -------------------------------------------------------------------------------- /bn128/g2_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/bn128/g2_test.go -------------------------------------------------------------------------------- /circuitcompiler/circuit-test-1.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/circuit-test-1.circuit -------------------------------------------------------------------------------- /circuitcompiler/circuit-test-2.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/circuit-test-2.circuit -------------------------------------------------------------------------------- /circuitcompiler/circuit.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/circuit.go -------------------------------------------------------------------------------- /circuitcompiler/circuit_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/circuit_test.go -------------------------------------------------------------------------------- /circuitcompiler/lexer.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/lexer.go -------------------------------------------------------------------------------- /circuitcompiler/parser.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitcompiler/parser.go -------------------------------------------------------------------------------- /circuitexamples/factor.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitexamples/factor.circuit -------------------------------------------------------------------------------- /circuitexamples/function.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitexamples/function.circuit -------------------------------------------------------------------------------- /circuitexamples/import-example.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitexamples/import-example.circuit -------------------------------------------------------------------------------- /circuitexamples/imported-example.circuit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/circuitexamples/imported-example.circuit -------------------------------------------------------------------------------- /cli/main.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/cli/main.go -------------------------------------------------------------------------------- /externalVerif/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/README.md -------------------------------------------------------------------------------- /externalVerif/circom-test/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/circuit.circom -------------------------------------------------------------------------------- /externalVerif/circom-test/circuit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/circuit.json -------------------------------------------------------------------------------- /externalVerif/circom-test/input.json: -------------------------------------------------------------------------------- 1 | {"a": 3, "b": 11} 2 | -------------------------------------------------------------------------------- /externalVerif/circom-test/proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/proof.json -------------------------------------------------------------------------------- /externalVerif/circom-test/proving_key.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/proving_key.json -------------------------------------------------------------------------------- /externalVerif/circom-test/public.json: -------------------------------------------------------------------------------- 1 | [ 2 | "33" 3 | ] -------------------------------------------------------------------------------- /externalVerif/circom-test/verification_key.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/verification_key.json -------------------------------------------------------------------------------- /externalVerif/circom-test/witness.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circom-test/witness.json -------------------------------------------------------------------------------- /externalVerif/circomVerifier.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circomVerifier.go -------------------------------------------------------------------------------- /externalVerif/circomVerifier_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/externalVerif/circomVerifier_test.go -------------------------------------------------------------------------------- /fields/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/LICENSE -------------------------------------------------------------------------------- /fields/fq.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/fq.go -------------------------------------------------------------------------------- /fields/fq12.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/fq12.go -------------------------------------------------------------------------------- /fields/fq2.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/fq2.go -------------------------------------------------------------------------------- /fields/fq6.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/fq6.go -------------------------------------------------------------------------------- /fields/fqn_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/fields/fqn_test.go -------------------------------------------------------------------------------- /go-snark-cli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/go-snark-cli -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/go.sum -------------------------------------------------------------------------------- /groth16/groth16.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/groth16/groth16.go -------------------------------------------------------------------------------- /groth16/groth16_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/groth16/groth16_test.go -------------------------------------------------------------------------------- /r1csqap/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/r1csqap/README.md -------------------------------------------------------------------------------- /r1csqap/r1csqap.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/r1csqap/r1csqap.go -------------------------------------------------------------------------------- /r1csqap/r1csqap_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/r1csqap/r1csqap_test.go -------------------------------------------------------------------------------- /r1csqapFloat/r1csqapFloat.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/r1csqapFloat/r1csqapFloat.go -------------------------------------------------------------------------------- /r1csqapFloat/r1csqapFloat_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/r1csqapFloat/r1csqapFloat_test.go -------------------------------------------------------------------------------- /snark.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/snark.go -------------------------------------------------------------------------------- /snark_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/snark_test.go -------------------------------------------------------------------------------- /utils/base10parsers.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/utils/base10parsers.go -------------------------------------------------------------------------------- /utils/hexparsers.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/utils/hexparsers.go -------------------------------------------------------------------------------- /vim-syntax/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/vim-syntax/README.md -------------------------------------------------------------------------------- /vim-syntax/ftdetect/go-snark-circuit.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/vim-syntax/ftdetect/go-snark-circuit.vim -------------------------------------------------------------------------------- /vim-syntax/screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/vim-syntax/screenshot.png -------------------------------------------------------------------------------- /vim-syntax/syntax/go-snark-circuit.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/vim-syntax/syntax/go-snark-circuit.vim -------------------------------------------------------------------------------- /wasm/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | package-lock.json 3 | wasm_exec.js 4 | -------------------------------------------------------------------------------- /wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/README.md -------------------------------------------------------------------------------- /wasm/go-snark-wasm-wrapper.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/go-snark-wasm-wrapper.go -------------------------------------------------------------------------------- /wasm/go-snark.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/go-snark.wasm -------------------------------------------------------------------------------- /wasm/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/index.html -------------------------------------------------------------------------------- /wasm/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/index.js -------------------------------------------------------------------------------- /wasm/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/package.json -------------------------------------------------------------------------------- /wasm/server.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-snark-study/HEAD/wasm/server.js --------------------------------------------------------------------------------