TrueCloudLab/neo-go
8
0
Fork 0
mirror of https://github.com/nspcc-dev/neo-go.git synced 2024-12-01 13:49:13 +00:00
Code Issues Projects Releases Packages Wiki Activity
neo-go/examples/zkp/cubic_circuit/go.mod

67 lines
2.8 KiB
Modula-2
Raw Normal View History

zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
module github.com/nspcc-dev/neo-go/examples/zkp/cubic
go 1.19
require (
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.9.0 to 0.9.1. - [Release notes](https://github.com/consensys/gnark/releases) - [Changelog](https://github.com/Consensys/gnark/blob/master/CHANGELOG.md) - [Commits](https://github.com/consensys/gnark/compare/v0.9.0...v0.9.1) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-18 07:20:33 +00:00
github.com/consensys/gnark v0.9.1
github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/nspcc-dev/neo-go v0.102.0
github.com/stretchr/testify v1.8.4
)
require (
github.com/benbjohnson/clock v1.1.0 // indirect
github.com/beorn7/perks v1.0.1 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
github.com/bits-and-blooms/bitset v1.8.0 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/blang/semver/v4 v4.0.0 // indirect
github.com/cespare/xxhash/v2 v2.2.0 // indirect
github.com/consensys/bavard v0.1.13 // indirect
github.com/cpuguy83/go-md2man/v2 v2.0.0-20190314233015-f79a8a8ca69d // indirect
github.com/davecgh/go-spew v1.1.1 // indirect
github.com/decred/dcrd/dcrec/secp256k1/v4 v4.0.1 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
github.com/fxamacker/cbor/v2 v2.5.0 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/golang/protobuf v1.5.3 // indirect
github.com/golang/snappy v0.0.1 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
github.com/google/pprof v0.0.0-20230817174616-7a8ec2ada47b // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/google/uuid v1.3.0 // indirect
github.com/gorilla/websocket v1.4.2 // indirect
github.com/hashicorp/golang-lru v0.6.0 // indirect
github.com/holiman/uint256 v1.2.0 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
github.com/mattn/go-colorable v0.1.13 // indirect
github.com/mattn/go-isatty v0.0.19 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/matttproud/golang_protobuf_extensions v1.0.1 // indirect
github.com/mmcloughlin/addchain v0.4.0 // indirect
github.com/mr-tron/base58 v1.2.0 // indirect
github.com/nspcc-dev/go-ordered-json v0.0.0-20220111165707-25110be27d22 // indirect
github.com/nspcc-dev/rfc6979 v0.2.0 // indirect
github.com/pmezard/go-difflib v1.0.0 // indirect
github.com/prometheus/client_golang v1.13.0 // indirect
github.com/prometheus/client_model v0.2.0 // indirect
github.com/prometheus/common v0.37.0 // indirect
github.com/prometheus/procfs v0.8.0 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
github.com/rs/zerolog v1.30.0 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
github.com/russross/blackfriday/v2 v2.0.1 // indirect
github.com/shurcooL/sanitized_anchor_name v1.0.0 // indirect
github.com/syndtr/goleveldb v1.0.1-0.20210305035536-64b5b1c73954 // indirect
github.com/twmb/murmur3 v1.1.5 // indirect
github.com/urfave/cli v1.22.5 // indirect
github.com/x448/float16 v0.8.4 // indirect
go.etcd.io/bbolt v1.3.7 // indirect
go.uber.org/atomic v1.10.0 // indirect
go.uber.org/multierr v1.9.0 // indirect
go.uber.org/zap v1.24.0 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.9.0 to 0.9.1. - [Release notes](https://github.com/consensys/gnark/releases) - [Changelog](https://github.com/Consensys/gnark/blob/master/CHANGELOG.md) - [Commits](https://github.com/consensys/gnark/compare/v0.9.0...v0.9.1) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-18 07:20:33 +00:00
golang.org/x/crypto v0.14.0 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
golang.org/x/mod v0.12.0 // indirect
golang.org/x/sync v0.3.0 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.9.0 to 0.9.1. - [Release notes](https://github.com/consensys/gnark/releases) - [Changelog](https://github.com/Consensys/gnark/blob/master/CHANGELOG.md) - [Commits](https://github.com/consensys/gnark/compare/v0.9.0...v0.9.1) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2023-10-18 07:20:33 +00:00
golang.org/x/sys v0.13.0 // indirect
golang.org/x/term v0.13.0 // indirect
golang.org/x/text v0.13.0 // indirect
examples: add production CRS generation instructions for ZKP examples Add an example and instructions for production CRS generation to ZKP examples with gnark >= v0.9.0. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-10-05 09:39:16 +00:00
golang.org/x/tools v0.12.1-0.20230815132531-74c255bcf846 // indirect
google.golang.org/genproto/googleapis/rpc v0.0.0-20231002182017-d307bd883b97 // indirect
zkp: add end-to-end Groth-16 proof generation/verification example The example shows that the proover knows the solution of the cubic equation: y = x^3 + x + 5. The example is constructed for BLS12-381 curve points using Groth-16 prooving algorithm. The example includes everything that developer needs to start using ZKP on the NEO platform with Go SDK: 1. The described cubic circuit implementation. 2. The off-chain proof generation with the help of gnark-crypto library. 3. Go verification contract generation and deployment with the help of NeoGo libraries. 4. The on-chain proof verification for various sets of input data. Signed-off-by: Anna Shaleva <shaleva.ann@nspcc.ru>
2023-07-29 11:03:50 +00:00
google.golang.org/protobuf v1.31.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
rsc.io/tmplfunc v0.0.3 // indirect
)
replace github.com/nspcc-dev/neo-go => ../../../
Reference in a new issue Copy permalink