├── .travis.yml ├── LICENSE ├── README.md ├── go.mod ├── go.sum ├── testdata ├── proof0.json ├── proof1.json ├── public0.json ├── public1.json ├── vk0.json └── vk1.json ├── verifier.go └── verifier_test.go /.travis.yml: -------------------------------------------------------------------------------- 1 | language: go 2 | 3 | go: 4 | - "1.13" 5 | 6 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/README.md -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/go.mod -------------------------------------------------------------------------------- /go.sum: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/go.sum -------------------------------------------------------------------------------- /testdata/proof0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/testdata/proof0.json -------------------------------------------------------------------------------- /testdata/proof1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/testdata/proof1.json -------------------------------------------------------------------------------- /testdata/public0.json: -------------------------------------------------------------------------------- 1 | [ 2 | "6" 3 | ] 4 | -------------------------------------------------------------------------------- /testdata/public1.json: -------------------------------------------------------------------------------- 1 | ["6"] 2 | -------------------------------------------------------------------------------- /testdata/vk0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/testdata/vk0.json -------------------------------------------------------------------------------- /testdata/vk1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/testdata/vk1.json -------------------------------------------------------------------------------- /verifier.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/verifier.go -------------------------------------------------------------------------------- /verifier_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arnaucube/go-bellman-verifier/HEAD/verifier_test.go --------------------------------------------------------------------------------