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

65 lines
2.7 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.mod: update to Go 1.22+ This also changes workflows to test 1.22 and 1.23 only (refs. https://github.com/nspcc-dev/.github/issues/30). Fixes #3310. Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-08-30 12:04:05 +00:00
go 1.22
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
require (
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/consensys/gnark v0.11.0
github.com/consensys/gnark-crypto v0.14.0
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/nspcc-dev/neo-go v0.106.3
examples: update github.com/stretchr/testify dependency to 1.9.0 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:39:20 +00:00
github.com/stretchr/testify v1.9.0
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
)
require (
github.com/beorn7/perks v1.0.1 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/bits-and-blooms/bitset v1.14.2 // 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
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/cpuguy83/go-md2man/v2 v2.0.4 // 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/davecgh/go-spew v1.1.1 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/decred/dcrd/dcrec/secp256k1/v4 v4.2.0 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/fxamacker/cbor/v2 v2.7.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/snappy v0.0.1 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/google/pprof v0.0.0-20240727154555-813a5fbdbec8 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/google/uuid v1.6.0 // indirect
github.com/gorilla/websocket v1.5.1 // indirect
github.com/hashicorp/golang-lru/v2 v2.0.7 // indirect
github.com/holiman/uint256 v1.2.4 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/ingonyama-zk/icicle v1.1.0 // indirect
go.mod: update github.com/consensys/gnark to v0.10.0 Fixes a security issue, https://github.com/Consensys/gnark/issues/897 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-08-27 12:39:14 +00:00
github.com/ingonyama-zk/iciclegnark v0.1.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
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/mattn/go-isatty v0.0.20 // 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/mmcloughlin/addchain v0.4.0 // indirect
github.com/mr-tron/base58 v1.2.0 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/nspcc-dev/go-ordered-json v0.0.0-20240301084351-0246b013f8b2 // indirect
github.com/nspcc-dev/rfc6979 v0.2.1 // indirect
github.com/pierrec/lz4 v2.6.1+incompatible // 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/pmezard/go-difflib v1.0.0 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/prometheus/client_golang v1.19.0 // indirect
github.com/prometheus/client_model v0.5.0 // indirect
github.com/prometheus/common v0.48.0 // indirect
github.com/prometheus/procfs v0.12.0 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
github.com/ronanh/intcomp v1.1.0 // indirect
github.com/rs/zerolog v1.33.0 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/russross/blackfriday/v2 v2.1.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/syndtr/goleveldb v1.0.1-0.20210305035536-64b5b1c73954 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/twmb/murmur3 v1.1.8 // indirect
github.com/urfave/cli/v2 v2.27.2 // 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/x448/float16 v0.8.4 // indirect
examples: update neo-go dependency to v0.106.3 Signed-off-by: Roman Khimov <roman@nspcc.ru>
2024-09-04 07:40:52 +00:00
github.com/xrash/smetrics v0.0.0-20240312152122-5f08fbb34913 // indirect
go.etcd.io/bbolt v1.3.9 // indirect
go.uber.org/multierr v1.11.0 // indirect
go.uber.org/zap v1.27.0 // indirect
build(deps): bump github.com/consensys/gnark Bumps [github.com/consensys/gnark](https://github.com/consensys/gnark) from 0.10.0 to 0.11.0. - [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.10.0...v0.11.0) --- updated-dependencies: - dependency-name: github.com/consensys/gnark dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
2024-09-06 19:40:53 +00:00
golang.org/x/crypto v0.26.0 // indirect
golang.org/x/mod v0.17.0 // indirect
golang.org/x/net v0.25.0 // indirect
golang.org/x/sync v0.8.0 // indirect
golang.org/x/sys v0.24.0 // indirect
golang.org/x/term v0.23.0 // indirect
golang.org/x/text v0.17.0 // indirect
golang.org/x/tools v0.21.1-0.20240508182429-e35e4ccd0d2d // indirect
build(deps): bump google.golang.org/protobuf Bumps google.golang.org/protobuf from 1.31.0 to 1.33.0. --- updated-dependencies: - dependency-name: google.golang.org/protobuf dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
2024-03-13 23:06:06 +00:00
google.golang.org/protobuf v1.33.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
gopkg.in/yaml.v3 v3.0.1 // indirect
rsc.io/tmplfunc v0.0.3 // indirect
)
Reference in a new issue Copy permalink