diff --git a/README.md b/README.md index 7883ae7..bef7821 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ ### General description: -The goal of iden3auth libraries is to handle authentication messages of communication protocol. +The goal of iden3auth libraries is to handle authentication messages of [communication protocol](https://iden3-communication.io/authorization/overview/). Currently, library implementation includes support of next message types @@ -25,7 +25,7 @@ Currently, library implementation includes support of next message types Auth verification procedure: -1. JWZ token verification +1. [JWZ token](https://iden3-communication.io/proposals/jwz/overview/) verification 2. Zero-knowledge proof verification of request proofs 3. Query request verification for atomic circuits 4. Verification of identity and issuer states for atomic circuits @@ -35,26 +35,26 @@ Auth verification procedure: > Groth16 proof are supported by auth library > -Verification keys must be provided using `KeyLoader` interface +Verification keys can be provided using `KeyLoader` interface or `EmbeddedKeyLoader` can be used to load keys embedded in the library `loaders/keys`. ### Query verification Proof for each atomic circuit contains public signals that allow extracting user and issuer identifiers, states, signature, challenges, etc. -Circuit public signals marshallers are defined in the go-circuits library. +Circuit public signals marshallers are defined in the [go-circuits](https://github.com/iden3/go-circuits) library. ### Verification of user / issuer identity states The blockchain verification algorithm is used -1. Gets state from the blockchain (address of id state contract and URL must be provided by the caller of the library): +1. Gets state from the blockchain ([address of id state contract](https://docs.iden3.io/contracts/contracts/) and RPC URL must be provided by the caller of the library): 1. Empty state is returned - it means that identity state hasn’t been updated or updated state hasn’t been published. We need to compare id and state. If they are different it’s not a genesis state of identity then it’s not valid. 2. The non-empty state is returned and equals to the state in provided proof which means that the user state is fresh enough and we work with the latest user state. 3. The non-empty state is returned and it’s not equal to the state that the user has provided. Gets the transition time of the state. The verification party can make a decision if it can accept this state based on that time frame. 2. Only latest states for user are valid. Any existing issuer state for claim issuance is valid. -### Verification of GIST +### Verification of [Global Identities State Tree(GIST)](https://docs.iden3.io/protocol/spec/#gist-new) The blockchain verification algorithm is used @@ -92,25 +92,38 @@ The blockchain verification algorithm is used ``` 3. Token verification + Init Verifier configuration with embeded keys: + + ```go + resolvers := map[string]pubsignals.StateResolver{ + "privado:main": state.ETHResolver{ + RPCUrl: "https://rpc-mainnet.privado.id", + ContractAddress: common.HexToAddress("0x3C9acB2205Aa72A05F6D77d708b5Cf85FCa3a896"), + }, + } + verifier, err := auth.NewVerifier(loaders.NewEmbeddedKeyLoader(), resolvers) + + ``` Init Verifier: ```go - var verificationKeyloader = &loaders.FSKeyLoader{Dir: keyDIR} - resolver := state.ETHResolver{ - RPCUrl: , - ContractAddress: , - } - - resolvers := map[string]pubsignals.StateResolver{ - "polygon:mumbai": resolver, - } - verifier,err := auth.NewVerifierWithExplicitError(verificationKeyloader, loaders.DefaultSchemaLoader{IpfsURL: ""}, resolvers) - // or use NewVerifier and check that verifier instance is not nil. IPFS merklization is not worked without setuping global loader - // verifier := auth.NewVerifier(verificationKeyloader, loaders.DefaultSchemaLoader{IpfsURL: "ipfs.io"}, resolvers) + var verificationKeyloader = &loaders.FSKeyLoader{Dir: keyDIR} + resolver := state.ETHResolver{ + RPCUrl: , + ContractAddress: , + } + + resolvers := map[string]pubsignals.StateResolver{ + "polygon:mumbai": resolver, + } + verifier,err := auth.NewVerifierWithExplicitError(verificationKeyloader, loaders.DefaultSchemaLoader{IpfsURL: ""}, resolvers) + // or use NewVerifier and check that verifier instance is not nil. IPFS merklization is not worked without setuping global loader + // verifier := auth.NewVerifier(verificationKeyloader, loaders.DefaultSchemaLoader{IpfsURL: "ipfs.io"}, resolvers) ``` -4. FullVerify: + +4. FullVerify - verify JWZ token generated by the client: - ```go + ```go authResponse, err := verifier.FullVerify( r.Context(), string(tokenBytes), @@ -118,10 +131,45 @@ The blockchain verification algorithm is used ...VerifyOpt, ) userId = authResponse.from // msg sender - ``` - + ``` Verify manually if thread id is used a session id to match request with `VerifyJWZ / VerifyAuthResponse` functions + +### Examples of various supported configurations for different networks + +- Addresses and networks of all supported state contracts can be found in the [iden3 documentation](https://docs.iden3.io/contracts/contracts/) +- For custom implementations and private networks you can deploy you own state contract [Contracts repository](https://github.com/iden3/contracts) +- It is recommended to use you own RPC nodes or third-party services like [Infura](https://infura.io) or [Alchemy](https://alchemyapi.io) + +```go +const COMMON_STATE_ADDRESS = "0x3C9acB2205Aa72A05F6D77d708b5Cf85FCa3a896" // Common state address. Ethereum, +// Privado, Linea, zkEVM networks +const POLYGON_MAIN_STATE_ADDRESS = "0x624ce98D2d27b20b8f8d521723Df8fC4db71D79D" // Polygon main state address +const POLYGON_AMOY_STATE_ADDRESS = "0x1a4cC30f2aA0377b0c3bc9848766D90cb4404124" // // Polygon amoy state address + +resolvers := map[string]pubsignals.StateResolver{ + // Privado Identity Chain + "privado:main": state.NewETHResolver("https://rpc-mainnet.privado.id", COMMON_STATE_ADDRESS), + // Ethereum main + "ethereum:main": state.NewETHResolver("", COMMON_STATE_ADDRESS), + // Polygon POS main + "polygon:main": state.NewETHResolver("", COMMON_STATE_ADDRESS), + // Linea main + "linea:main": state.NewETHResolver("", COMMON_STATE_ADDRESS), + // Ethereum Sepolia + "ethereum:sepolia": state.NewETHResolver("", COMMON_STATE_ADDRESS), + // Polygon Amoy + "polygon:amoy": state.NewETHResolver("https://rpc-amoy.polygon.technology/", POLYGON_AMOY_STATE_ADDRESS), + // Polygon zkEVM Cardona + "zkevm:test": state.NewETHResolver("", COMMON_STATE_ADDRESS), + // Linea-Sepolia + "linea:sepolia": state.NewETHResolver("RPC URL Linea sepolia"), COMMON_STATE_ADDRESS), +} + +``` + ### Notes on prover optimization for x86_64 hardware See readme in [iden3/go-rapidsnark/prover](https://github.com/iden3/go-rapidsnark/blob/main/prover/) diff --git a/loaders/embededKeyLoader.go b/loaders/embededKeyLoader.go new file mode 100644 index 0000000..736107c --- /dev/null +++ b/loaders/embededKeyLoader.go @@ -0,0 +1,123 @@ +package loaders + +import ( + "embed" + "fmt" + "log/slog" + "sync" + + "github.com/iden3/go-circuits/v2" +) + +//go:embed keys/*.json +var defaultKeys embed.FS + +// EmbeddedKeyLoader load keys from embedded FS or filesystem. +// Filesystem has priority if keyLoader specified. +type EmbeddedKeyLoader struct { + keyLoader VerificationKeyLoader + cache map[circuits.CircuitID][]byte + cacheMu sync.RWMutex + useCache bool +} + +// NewEmbeddedKeyLoader creates a new loader with embedded keys +// By default, it uses embedded keys with caching enabled +// Use options to customize behavior: +// - WithKeyLoader to set custom loader +// - WithCacheDisabled to disable caching +// +// Example: +// Default configuration (embedded keys and enabled cache): +// +// loader := NewEmbeddedKeyLoader() +// +// Custom filesystem loader: +// +// fsLoader := &FSKeyLoader{Dir: "/path/to/keys"} +// loader := NewEmbeddedKeyLoader(WithKeyLoader(fsLoader)) +// +// Disabled cache: +// +// loader := NewEmbeddedKeyLoader(WithCacheDisabled()) +func NewEmbeddedKeyLoader(opts ...Option) *EmbeddedKeyLoader { + loader := &EmbeddedKeyLoader{ + useCache: true, // enabled by default + cache: make(map[circuits.CircuitID][]byte), + } + + // Apply options + for _, opt := range opts { + opt(loader) + } + + return loader +} + +// Option defines functional option for configuring EmbeddedKeyLoader +type Option func(*EmbeddedKeyLoader) + +// WithKeyLoader sets a custom primary loader that will be tried before falling back to embedded keys +func WithKeyLoader(loader VerificationKeyLoader) Option { + return func(e *EmbeddedKeyLoader) { + e.keyLoader = loader + } +} + +// WithCacheDisabled disables caching of loaded keys +func WithCacheDisabled() Option { + return func(e *EmbeddedKeyLoader) { + e.useCache = false + e.cache = nil + } +} + +// Load attempts to load keys in the following order: +// 1. From cache if enabled and available +// 2. From keyLoader loader if provided +// 3. From embedded default keys +func (e *EmbeddedKeyLoader) Load(id circuits.CircuitID) ([]byte, error) { + // Try cache if enabled + if e.useCache { + if key := e.getFromCache(id); key != nil { + return key, nil + } + } + + // Try keyLoader loader if provided + if e.keyLoader != nil { + key, err := e.keyLoader.Load(id) + if err == nil { + if e.useCache { + e.storeInCache(id, key) + } + return key, nil + } + slog.Warn("failed to load key from custom loader", "circuit_id", id, "error", err) + } + + // Embedded keys + key, err := defaultKeys.ReadFile(fmt.Sprintf("keys/%v.json", id)) + if err != nil { + return nil, fmt.Errorf("failed to load default key: %w", err) + } + + if e.useCache { + e.storeInCache(id, key) + } + return key, nil +} + +// getFromCache returns key from cache if available +func (e *EmbeddedKeyLoader) getFromCache(id circuits.CircuitID) []byte { + e.cacheMu.RLock() + defer e.cacheMu.RUnlock() + return e.cache[id] +} + +// storeInCache stores key in cache +func (e *EmbeddedKeyLoader) storeInCache(id circuits.CircuitID, key []byte) { + e.cacheMu.Lock() + defer e.cacheMu.Unlock() + e.cache[id] = key +} diff --git a/loaders/embededKeyLoader_test.go b/loaders/embededKeyLoader_test.go new file mode 100644 index 0000000..6c059d5 --- /dev/null +++ b/loaders/embededKeyLoader_test.go @@ -0,0 +1,256 @@ +package loaders + +import ( + "errors" + "fmt" + "sync" + "testing" + + "github.com/iden3/go-circuits/v2" + "github.com/stretchr/testify/assert" + "github.com/stretchr/testify/require" +) + +// MockKeyLoader implements VerificationKeyLoader for testing +type MockKeyLoader struct { + keys map[circuits.CircuitID][]byte + err error +} + +func (m *MockKeyLoader) Load(id circuits.CircuitID) ([]byte, error) { + if m.err != nil { + return nil, m.err + } + if key, ok := m.keys[id]; ok { + return key, nil + } + return nil, errors.New("key not found") +} + +func TestNewEmbeddedKeyLoader(t *testing.T) { + t.Run("default configuration", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + assert.True(t, loader.useCache) + assert.NotNil(t, loader.cache) + assert.Nil(t, loader.keyLoader) + }) + + t.Run("with custom loader", func(t *testing.T) { + mockLoader := &MockKeyLoader{} + loader := NewEmbeddedKeyLoader(WithKeyLoader(mockLoader)) + assert.True(t, loader.useCache) + assert.NotNil(t, loader.cache) + assert.Equal(t, mockLoader, loader.keyLoader) + }) + + t.Run("without cache", func(t *testing.T) { + loader := NewEmbeddedKeyLoader(WithCacheDisabled()) + assert.False(t, loader.useCache) + assert.Nil(t, loader.cache) + }) + + t.Run("multiple options", func(t *testing.T) { + mockLoader := &MockKeyLoader{} + loader := NewEmbeddedKeyLoader( + WithKeyLoader(mockLoader), + WithCacheDisabled(), + ) + assert.False(t, loader.useCache) + assert.Nil(t, loader.cache) + assert.Equal(t, mockLoader, loader.keyLoader) + }) +} + +func TestEmbeddedKeyLoader_Load(t *testing.T) { + testKey := []byte("test-key-data") + testID := circuits.CircuitID("test-circuit") + + t.Run("load from cache", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + loader.storeInCache(testID, testKey) + + key, err := loader.Load(testID) + require.NoError(t, err) + assert.Equal(t, testKey, key) + }) + + t.Run("load from custom loader", func(t *testing.T) { + mockLoader := &MockKeyLoader{ + keys: map[circuits.CircuitID][]byte{ + testID: testKey, + }, + } + loader := NewEmbeddedKeyLoader(WithKeyLoader(mockLoader)) + + key, err := loader.Load(testID) + require.NoError(t, err) + assert.Equal(t, testKey, key) + + // Verify key was cached + cachedKey := loader.getFromCache(testID) + assert.Equal(t, testKey, cachedKey) + }) + + t.Run("custom loader error fallback to embedded", func(t *testing.T) { + mockLoader := &MockKeyLoader{ + err: errors.New("mock error"), + } + loader := NewEmbeddedKeyLoader(WithKeyLoader(mockLoader)) + + key, err := loader.Load(circuits.AuthV2CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("no cache", func(t *testing.T) { + mockLoader := &MockKeyLoader{ + keys: map[circuits.CircuitID][]byte{ + testID: testKey, + }, + } + loader := NewEmbeddedKeyLoader( + WithKeyLoader(mockLoader), + WithCacheDisabled(), + ) + + key, err := loader.Load(testID) + require.NoError(t, err) + assert.Equal(t, testKey, key) + + // Verify key was not cached + assert.Nil(t, loader.cache) + }) + + t.Run("embedded key not found", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + + _, err := loader.Load("non-existent-circuit") + assert.Error(t, err) + assert.Contains(t, err.Error(), "failed to load default key") + }) +} + +func TestDefaultEmbeddedKeys(t *testing.T) { + + t.Run("authV2", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AuthV2CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQueryMTPV2CircuitID", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQueryMTPV2CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQueryMTPV2OnChainCircuitID", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQueryMTPV2OnChainCircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQuerySigV2CircuitID", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQuerySigV2CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQuerySigV2CircuitID", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQuerySigV2OnChainCircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQueryV3CircuitID - beta.1", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQueryV3CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("AtomicQueryV3OnChainCircuitID - beta.1", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.AtomicQueryV3OnChainCircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) + + t.Run("LinkedMultiQuery10CircuitID - beta.1", func(t *testing.T) { + loader := NewEmbeddedKeyLoader() + key, err := loader.Load(circuits.LinkedMultiQuery10CircuitID) + require.NoError(t, err) + assert.NotNil(t, key) + }) +} + +func TestEmbeddedKeyLoader_CacheConcurrency(t *testing.T) { + loader := NewEmbeddedKeyLoader() + testID := circuits.CircuitID("test-circuit") + testKey := []byte("test-key-data") + + // Test concurrent reads + t.Run("concurrent reads", func(t *testing.T) { + loader.storeInCache(testID, testKey) + + var wg sync.WaitGroup + for i := 0; i < 100; i++ { + wg.Add(1) + go func() { + defer wg.Done() + key := loader.getFromCache(testID) + assert.Equal(t, testKey, key) + }() + } + wg.Wait() + }) + + // Test concurrent writes + t.Run("concurrent writes", func(t *testing.T) { + var wg sync.WaitGroup + for i := 0; i < 100; i++ { + wg.Add(1) + go func(i int) { + defer wg.Done() + id := circuits.CircuitID(fmt.Sprintf("circuit-%d", i)) + key := []byte(fmt.Sprintf("key-%d", i)) + loader.storeInCache(id, key) + }(i) + } + wg.Wait() + + // Verify all writes succeeded + for i := 0; i < 100; i++ { + id := circuits.CircuitID(fmt.Sprintf("circuit-%d", i)) + expected := []byte(fmt.Sprintf("key-%d", i)) + actual := loader.getFromCache(id) + assert.Equal(t, expected, actual) + } + }) +} + +// Benchmark cache operations +func BenchmarkEmbeddedKeyLoader_Cache(b *testing.B) { + loader := NewEmbeddedKeyLoader() + testID := circuits.CircuitID("test-circuit") + testKey := []byte("test-key-data") + + b.Run("cache write", func(b *testing.B) { + for i := 0; i < b.N; i++ { + loader.storeInCache(testID, testKey) + } + }) + + b.Run("cache read", func(b *testing.B) { + loader.storeInCache(testID, testKey) + b.ResetTimer() + for i := 0; i < b.N; i++ { + _ = loader.getFromCache(testID) + } + }) +} diff --git a/loaders/keys/authV2.json b/loaders/keys/authV2.json new file mode 100644 index 0000000..b229c43 --- /dev/null +++ b/loaders/keys/authV2.json @@ -0,0 +1,104 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 3, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "15934125614912710821614323121670433574627734468332981610453472911976383177228", + "13386788725021602198567425385006899728203544659933593917276469726154154017730" + ], + [ + "8759505107016263108323717548646403750748432711908544803866765373342463765424", + "13205305607413475134301212820100793870092003365382735436692046794406857938024" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "12385314984359904314257455036963499193805822249900169493212773820637861017270", + "13455871848617958073752171682190449799364399689372987044617812281838570851280", + "1" + ], + [ + "1493564767784757620464057507283285365409721187164502463730502309417194080296", + "6377944811748764752279954590131952700069491229367911408873461121555475171995", + "1" + ], + [ + "17810471156883173964067651564103955395454521925125801510057769541384109536787", + "5548963437503981062668882632052452068705295424483999545932010198708798592260", + "1" + ], + [ + "13853274336731202523728826661915506795333516652854674163618978302237601632434", + "15420320918214290109713867361085955935385737854012308761626909938871786338011", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQueryMTPV2.json b/loaders/keys/credentialAtomicQueryMTPV2.json new file mode 100644 index 0000000..8a61379 --- /dev/null +++ b/loaders/keys/credentialAtomicQueryMTPV2.json @@ -0,0 +1,474 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 77, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "1644379255755665639524620157273694289299700443812573873382829766089313318860", + "7556188580549660317988384269627745620737293209908047921156248879248956624707" + ], + [ + "4152535282542204467329585116559762832011400698522986966067931095980290970188", + "16189055543084045005292506154593172627834306869372118812851261475395122300622" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "18422857078372859553191448164294665542345065709653989973175579679294287359551", + "19200412732094068217443600300610712526816543050849771388672029576371853469584", + "1" + ], + [ + "8966723725809147921162750050376358833176377832917899053889677861860829963550", + "11341153581665210400343795342393322577490484170009235286254673614120878647101", + "1" + ], + [ + "9879865539447750277224788967575737948914682182107587045349147439108894751377", + "21453364078164924208802775510032568576822274174182360910595757742538922255516", + "1" + ], + [ + "17271376920492004526143567349281665569798920608192890900207570109619938357965", + "17658645521956741541229716428562791784745065800560561182268097024675562826941", + "1" + ], + [ + "19447905090608570348274226795081943117318789418973470654210086113107653241278", + "3042974824199824823166471398866477356543673808199912551478342128204368365801", + "1" + ], + [ + "15156321942657123795505661861540145354490508397591060397451108946953030754823", + "2174001979857398238020783370627974461537581724230646957383343539261668427900", + "1" + ], + [ + "2893784367520422410222380456081140868086719201082394136439924349009961441119", + "6701132256860531139366218617785973102272561389281339326001731135503450776817", + "1" + ], + [ + "2682959541435350505256066121391007731952110231233962493700272969732411696733", + "17209169979288623728661647278876944748718715772457044973402738622703306817989", + "1" + ], + [ + "499562621835133157087010512036306131395989534601985940081517169655947305794", + "16171076175966316991086493265714063940602842446350652041818239810706021681879", + "1" + ], + [ + "5132244909724750316498584905084137056169137672686304456145214374629023392472", + "6546991859900461714197094468917430881377836500486013407027474610681775159396", + "1" + ], + [ + "2668576684563152354350259868353189824258528180056497740408480383980454734066", + "1535738486247883392173175472896261157323461087865457493262219315347601667500", + "1" + ], + [ + "10785473402637955729291841575016422918107164425021911175421942675184558968090", + "11345810119385896301851632457198739313674262335948445894527389358734712913516", + "1" + ], + [ + "1412993008080518728455375349826306781032689703676503984254325722611846888434", + "19781302125889607635883414978668480814071954491775541599692924120980145899599", + "1" + ], + [ + "2543531439810734534018065629410144813897832425457328128967847888580078363455", + "8290575017821769892134912565219366777438869089694072485822723325342666816008", + "1" + ], + [ + "1002922190610148990099887492211004813681538196842215269979191666109888959814", + "20619964733250977362581881412991948675311360234768187166450914392005451730358", + "1" + ], + [ + "15870912960135403856400514545374914694476998269086073865385158549754145963771", + "20684949892083599847849427854173962987156046683062436388401257024101668208599", + "1" + ], + [ + "8831502501719650739624882314498213905138374744030524531789511798263213692297", + "12841757675802823212324373320135070019627481835282469830860284467661624632496", + "1" + ], + [ + "11024979320888031984055829947181451956336570558598363948579563194733939622287", + "18997905406534827287278617121302620290169563192770621622363184450430351660574", + "1" + ], + [ + "16869449048007600468318897118524861382044610982428636771901906750236031314195", + "15438052670706503878189305795226519679700087347809533390683372366897495253782", + "1" + ], + [ + "15918279260795292593956401668763734193558830697313388423850914871334250125739", + "8390709997430195886659648328077505730920457894542918693342626584476768467556", + "1" + ], + [ + "10798377190077256499154897763066112669971641940307492798780438616745102850691", + "3612173055981570065938518906067521507588334568151689656355953453603129645964", + "1" + ], + [ + "10283501512088874941321977823410512484354301327524005689289271531565943800039", + "3413727085936726278666795560940572030581500988023163312691493343929115927124", + "1" + ], + [ + "2296275912278297097224081815998877707798340371647976495099500783107062881957", + "9398410071944512098160808850726511894933677864547346561538382995776881905238", + "1" + ], + [ + "16894600684081728341321342508855178930751254711101008689080082374710936127272", + "12161453909477382567743014045075508805093784837270549401954931244139597225085", + "1" + ], + [ + "6268487288856125630650511644329678106052302875119583489182428159711946592368", + "5841252196480850530373191299721977191681750934584486469365944205706179548638", + "1" + ], + [ + "6852882622300147668192439693377660004185303019132689479493632664567357096830", + "10882891395088061300220569909151852301817335367848038253676795263334452296409", + "1" + ], + [ + "15198590029135566791939530181694358354001166637744293674348864120420627936109", + "9367773651339063637980144228320691148645080564385341249114902167341421601663", + "1" + ], + [ + "11703644592499513786125973700632933001103077563618529422619953827430371965059", + "15268256030107099411721655429931816597474879602558228384538893152110835355985", + "1" + ], + [ + "12524529491165694702027137268186075636174656025287741413565496343080631508399", + "9372786123977825789042012545805363579046088706709621468746585656937388381431", + "1" + ], + [ + "273518393549043472687837864184789086758030869752905336300136035955706181307", + "6816952832511221459658135400694225067096307534852277283270887023904178709525", + "1" + ], + [ + "1645523311170082397413986203809923280266656698291914513085993238167303820895", + "13658793807208210506708310931635228156814129276176152104446631399468550574710", + "1" + ], + [ + "11390639911376397182713391277480364588913655592454794923096928705759144302325", + "16055052215912926403164558682533278933518124603384506647616720186625870372867", + "1" + ], + [ + "10610808074017274236947952765930252005116639779114158879106786968725592243684", + "7671742913687145209037761823969411792683583049858439139887877911509751057658", + "1" + ], + [ + "19573573343843071023372313695512762465067533761458715711343634116068133960793", + "10804759726920349984061008954923558679191390728689650000941045331420650211581", + "1" + ], + [ + "5718892343875260885646810564014097593831900510564153360691631833735918621922", + "19625601349877019059513350672441835825347413964694454283368396699203302112641", + "1" + ], + [ + "17307990529150693210709322957072714804583174025000604461211407702857003931209", + "878943824392207542314091105918684915537006706374524180092127487257207923392", + "1" + ], + [ + "5300465178852377029624865156926876561044162413284703918440541317037871183286", + "2915305225397411194819272200797185193292182665741238385087952771727267597912", + "1" + ], + [ + "9612880527467467068262006535491148962364353213124736729187536416888293209040", + "3691954621663688303277327224518417341158474651376667361300715930069929949328", + "1" + ], + [ + "4659570938283906290187099509474824502769017396752042854687823331171116966970", + "1982129089326682353432961132621675691495027987286282104478652337270349755786", + "1" + ], + [ + "9171669747307433455738879483524091533377393831008081692349023733885425842533", + "14669324918730023540806349394380936953692102382177094137706966731531850185803", + "1" + ], + [ + "8483294380952291849397541046823929049822671375665974488330551974691931088249", + "1118822438360952001976652032058766697856113279956390161343914269934471806948", + "1" + ], + [ + "16954932008548591797390692453664155464993616761337408187450399031436068691451", + "6516092349871725883853494482885384994943299298314659902835087366050305733157", + "1" + ], + [ + "20430623878625162966436844654973340404250438949453265942184796279721889554820", + "15872908111081564877987885319993945765058637105045568563559776178765096589967", + "1" + ], + [ + "175869145740468538971598041440955295445778770215511329335724056103936702436", + "1330941033907902700992214800125843240733815089710216278151743962437271604780", + "1" + ], + [ + "12355335036350381959316132638698183510834366979584100346299938102486333409651", + "4337197899687019529242916561241789784321321108925457005094595191731218061427", + "1" + ], + [ + "11278959974421454971056650663355901207164530384695376373432274315213283549762", + "842554942909243186167969515896707366900091987841678552053050312967563820752", + "1" + ], + [ + "16572128460468464946178932017061778626056300216656975648812312257038874108983", + "7496524676544202112869579855832101560057601523534017922081999640502666099689", + "1" + ], + [ + "19105814082294493715744150358143204382795031020497306458203104403838835752024", + "19715005188048319300645177575714392862985133403160061825416709189094450469753", + "1" + ], + [ + "7636982228945323104243940147526887215043114989501502228623732711434331508800", + "13982738495464494120120460721815986042347354712549997051203158421962713433676", + "1" + ], + [ + "7212703893248058395965164342811600518101083790353044441060046803166922457817", + "15288762786599409245379182027975288580639251667570444798242660670608705209235", + "1" + ], + [ + "11337214755796827361301185036423160584799766990991395953495475417562574313330", + "14282192223568265545782851423843119832895522296025493914034676871057884314807", + "1" + ], + [ + "20746519986905068147748204516567545274983109465248753666405436157746830920177", + "5984414899536508968217223729861686103766469456226858624560779213690681060402", + "1" + ], + [ + "10835401963264758836309175755802257634401811007884975246749069652194030956375", + "20233076666563354044232367680463639678769479105556538410861254285658708703420", + "1" + ], + [ + "243822971707479905147982175532573823409429573088000966949247818912169577321", + "18374229255728581891524420253592041272334490428059631108193678882576242302072", + "1" + ], + [ + "16665621857935932261398090194052412477034502749265485109104610789248649096930", + "4394568938787258691701414254311253333292906501134431595510892416905933008608", + "1" + ], + [ + "9950357876444140202359316333055625078754640885945343863436247592237465119463", + "1138728549048290935207405656653273985530868679095638406347317405009163625829", + "1" + ], + [ + "19863557297411049209678228567424529354877434574079354325913524832101308332526", + "8527626429667860262263355611120470385865138889073590553527605186068830407217", + "1" + ], + [ + "6454931913100737965253376358003045929798488773714456992517887361620467712565", + "5326712240024551961475028927056696314978192616898138298267505948927925263882", + "1" + ], + [ + "15042250519748559882627540875078570819853921036848032840277256701118024280589", + "5649902159571578160463121956645683130679194527097684396257161957099165347806", + "1" + ], + [ + "15096897533276062914425200316068732590699959101665592000874713484494800830431", + "20313177966458554724734066811247575256604932796826056754597405446083708154473", + "1" + ], + [ + "17124672994386643376379203570239948164006585373341602602872802697337228865536", + "1034249982625145986964431636683948940121344443741095836073135426238098732767", + "1" + ], + [ + "6786329514687183326195953834745659119650827869829843528091866552166007413531", + "1993645881458801646027317410951338279337068483818691999503849794459167818711", + "1" + ], + [ + "5601166702091586493063206062643823571727623876835658007413482777129841428409", + "5037705200482483083573800351985604926878171687751572424052471739482784122326", + "1" + ], + [ + "12517743032864053125136342570911419464259163379595553834414011868353108191599", + "15318308882908411135628870052674621303091373949504950064687713217509534263616", + "1" + ], + [ + "2720076584159722030644911803109842442973174751015986695246040593821498987517", + "6073106188050137778500476835712188492016074470565039712583218556941277893695", + "1" + ], + [ + "6072412759015559745976615160843960952517043392197448868050821137463119699799", + "11697820246239769847517681526356370124485294496334591385652822729517455816263", + "1" + ], + [ + "14218939431514583760169339971126914781164242455722086424744905020963433287253", + "1239871915323004456937785384528292474791919374060128150903363984409371850053", + "1" + ], + [ + "8387324433281274425414022898278760672945100111518697527852082193344751454886", + "5589006578670031279992593208025532258965044721350145546467657955535328825951", + "1" + ], + [ + "21615450483089399676059755315641193001798326355023690261884634016377584537760", + "10956155007380443561435691838052280090538388505191022308074967521520083662819", + "1" + ], + [ + "216446200713786284729733446575921700734085159824299226438396861091476902009", + "13844554435458360555419931531505822549409871042801949625799040630213897945120", + "1" + ], + [ + "9845971582412603975624980875697041252601141575674463764818906420682062211318", + "1541017164427640523004714101054634990123563920021310542692226961701567976926", + "1" + ], + [ + "1204229363117598338427021726830976171601871025347145772643221171662262684058", + "3690138767954927564625982017409119462210512389179169664323854093643671574661", + "1" + ], + [ + "17447195784314061576734074992306359578375369517939049547706017414211939990948", + "5224769475162921324539668905049572257714496627544607906446249174566771227829", + "1" + ], + [ + "13126571971650265371015826140101898742548802556718166762709215223240837280512", + "4690349372257300850033015163519866378891105455880081651346259355150267250533", + "1" + ], + [ + "21063429119858892196984159725113911698991549202459080500178175790766238358869", + "7912342920305948383152463874981556321577003229794067565185588863006975486779", + "1" + ], + [ + "1617209403466779091458035238367795741637095004483882576008873822959780975681", + "11949429827523506994129552860898322068244208587609870060632189121669082060574", + "1" + ], + [ + "17419887907072158078351093176677693169251831632205134986750364946088731582087", + "9178252111851939224017025851693510236346605583176672118134620364375005187172", + "1" + ], + [ + "15309663281578759488226592812361926542424721970055480411147967135175426869247", + "13088871215177201383996211899405549173916825387544384325828612069408611872675", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQueryMTPV2OnChain.json b/loaders/keys/credentialAtomicQueryMTPV2OnChain.json new file mode 100644 index 0000000..6e67378 --- /dev/null +++ b/loaders/keys/credentialAtomicQueryMTPV2OnChain.json @@ -0,0 +1,144 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 11, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "21107007358082136795614874512538836487771939470796762405748007366166733704104", + "10069053650952764050770858763214373754669660210324204774418789033662943009749" + ], + [ + "8559222867245112767064473074858818732424559824983124225374445082554790506808", + "4852486786898691455964846082763016922630372558821263656172370355988314898575" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "1313452981527053129337572951247197324361989034671138626745310268341512913566", + "15303507074060980322389491486850010383524156520378503449579570642767442684301", + "1" + ], + [ + "19469759548582862041953210077461806234755067239635831761330214958262728102210", + "16182855449814336395630220912227600929619756764754084585163045607249874698864", + "1" + ], + [ + "5328220111696630739082100852965753471276442277347833726730125705096477686086", + "18905255288005092837452154631677141443252188654645540166408868771529766552954", + "1" + ], + [ + "10933184819912527903586676306361564765563053120720138042486726178048079682568", + "18280626518907496130958526005677563160967544228407334084744886760261543167298", + "1" + ], + [ + "11558797904750992453617754478260603596631069504995139547656018378652112039786", + "7387560020132856716152855364841368262707029595898949014465420811988605836841", + "1" + ], + [ + "258345740540242369340676522345540363903777759573849221853370493977314124714", + "8261745575084416750025555445617776886593428107172740509334601364674159098729", + "1" + ], + [ + "12229618381132244012134195568281704584580345418094236823704672151870483088680", + "19652481126909183227792433955062439643525977794731426347743513078747968248518", + "1" + ], + [ + "21501269229626602828017941470237394838663343517747470934919163514713566489074", + "10918047203423236169474519778878366520860074771272087858656960949070403283927", + "1" + ], + [ + "560417708851693272956571111854350209791303214876197214262570647517120871869", + "188344482860559912840076092213437046073780559836275799283864998836054113147", + "1" + ], + [ + "12941763790218889190383140140219843141955553218417052891852216993045901023120", + "12682291388476462975465775054567905896202239758296039216608811622228355512204", + "1" + ], + [ + "11112576039136275785110528933884279009037779878785871940581425517795519742410", + "6613377654128709188004788921975143848004552607600543819185067176149822253345", + "1" + ], + [ + "13613305841160720689914712433320508347546323189059844660259139894452538774575", + "5325101314795154200638690464360192908052407201796948025470533168336651686116", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQuerySigV2.json b/loaders/keys/credentialAtomicQuerySigV2.json new file mode 100644 index 0000000..65fc8b5 --- /dev/null +++ b/loaders/keys/credentialAtomicQuerySigV2.json @@ -0,0 +1,474 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 77, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "94086484245612286241184073311986077918425211631674599706523220655149342939", + "9066276963657894725757757487225537372173116727614372653696187043001221518998" + ], + [ + "3327364283265612114403912214795791325281389316262923243431510926287241284864", + "14359594691603603310505775002171568388983231776478551485379790891637661560036" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "82858741371846418102390975654111682337499684659569272071403747441178775094", + "4286912121744489803335872688967541084060786471335097977275283322008748340788", + "1" + ], + [ + "2949292283195261203307481545407020289663288337904117332935641624369320632240", + "4895868961372318516427313051068589418900672425971040539274101100343980810774", + "1" + ], + [ + "4283138832985371893627053916321257875901863688069679108552360851257151597412", + "12301445626126932387280175924125479080740113735715055950924670609729124190207", + "1" + ], + [ + "11403809675918608249249090476998815481360885938257614779638377601415472359725", + "10370383889744288167730128292551983273910856935841190320403487139321945926331", + "1" + ], + [ + "146046474957242547231947902105279535658945942556306365105970828598652582527", + "19316391077135032736180617854925909709408388622932141258157985352356274532963", + "1" + ], + [ + "19392288121313736624150032390760791125928224365133434019677559994823666881089", + "16678649776488360981633823784602747916355420844155287963893744273416034228821", + "1" + ], + [ + "17700244988293823646570920639274788254338288455367989082935279790186368535035", + "9321729693794775981089306312375631163270588069455137620052333218103779355408", + "1" + ], + [ + "6304242739428065891345661929109377623420995931327428546798256748327063014748", + "10780954993779202198998690148500166760839127869483280185479097694857479543720", + "1" + ], + [ + "15890615372155272172271387761362992284949685750813721764642195772457152019165", + "16926364370539068089248210833120023205713972276708964692683476649740531300907", + "1" + ], + [ + "8982718515991384638670171335434300220939254007691698916481977516501727365353", + "19933274338973273645600209826788464024915126306902861441259660444347103717011", + "1" + ], + [ + "13624813441697027269419893255557978801536200641544726966141640956028191608323", + "14568380736652140809608442081925020674177705472939839035342120687477258992462", + "1" + ], + [ + "7287001243757652147041978755465708957323122739823909998863775376965394099650", + "8194529377789992862935644002017654759465911480466382895596098893998234618850", + "1" + ], + [ + "15672609491810685215081462552663762421452118634631233092085621737595234267652", + "2904325643405367825992406778236164206511504644734317609359066533215328475457", + "1" + ], + [ + "915419396354435358079156433856200252628133349566107753168383098995762031654", + "7640503160883357453422046063266912192061137337928989362670501928245645451659", + "1" + ], + [ + "14233801682464959754511413505122573904411742927995284652060293502655728201014", + "16894634587173766457107177463154201142416235583146961458016001995514241600797", + "1" + ], + [ + "865637081385889540821011982382409477264012478881380726208863605069542609927", + "2851681816679478967076297609298375717665401236464133109800669778140378240569", + "1" + ], + [ + "14583623854715049637997176036159291974860261686624791798735868439140771963929", + "6184396208904580798818208852802256520753949645935054330532118256917410168729", + "1" + ], + [ + "7340832411020963493191281149327227244123195086114916154649774645956361514808", + "15074654768397897175094344665304877372038748718786237401937087336643412854581", + "1" + ], + [ + "19226322861612796019283465663964339481922670365980090908059633666493003526920", + "4784769513565224451763088600366892575717723263716353119873721504223139128187", + "1" + ], + [ + "4012352361946387705819729346828208464133226668583289635600033112445603056095", + "16057116501864906353475966636435162596350251241825748835463929049616401925621", + "1" + ], + [ + "17699015327677133433762523603786186670660923725134988336625372092121404781352", + "20779678450565816831584776337126804401686084032081969015904070067714797666579", + "1" + ], + [ + "7110239219642171000502622847102158151023059843711231146792904825853085995446", + "13160112334708882478456144620242292286930388110897910022916805337362636596223", + "1" + ], + [ + "18572966839469907925154251914990082086889869375548359485092736092666901883458", + "2717317841156606824568938974067202962925196229862100442399526546853487033983", + "1" + ], + [ + "18220496879414149572832879223762015215122990853285228408008689887370853115800", + "20936442965528445732757109001578889091199378707564445483449611217812774527300", + "1" + ], + [ + "12232077851023924549383437896602730279522249237260024995597446142400396114435", + "6563047663035805798395574221466154696714942622556424013116465603874844109521", + "1" + ], + [ + "12109591576870421145669126698637125260126292886167173093152618373092533930060", + "4838150475568627509687345029028244688244087639289765225238388542584247749631", + "1" + ], + [ + "11686953332615374166413400118993933874772588790879032818717674616364110119003", + "997777557714243682580030314729391031075903187098529888297775331753993942129", + "1" + ], + [ + "17856019272291166215824899590072473034447333075695359997293931405627546425641", + "20847076087560230989541971055803462020430493691416327989998676442287723694850", + "1" + ], + [ + "3719233446259090602031823947643646288707755415354997947878759420203354178997", + "8365343103859542659965068947238411148203250330874262347086737251125778319916", + "1" + ], + [ + "11510913293380810758607591029811272398780473934028209478267236534219159061926", + "21487940007144748529535209675246355785366971140524949831759963463815763342086", + "1" + ], + [ + "1320866581863043338512589290197401952944129485739535713341560521800016476945", + "2493558738654724256478579784099858256156921863307444062868905210334526715644", + "1" + ], + [ + "17921519492985568040647785518984679305231500205599581370398502174410641627915", + "7509747881493316986520702491460493363464636273816319210975041613994864176359", + "1" + ], + [ + "3430712548343353484542829031470422149014035558383953986112467142255149482517", + "14550495557052814428641743686592474039195116676265817238933308829823014113648", + "1" + ], + [ + "15404982231804436812797545928371130848106957647851884888070752463417657014850", + "4611196330294175143659018144962441564350289800068036864557333922145119754928", + "1" + ], + [ + "15263701692315698223820596911784671235943493678301007311780033091137667408294", + "604902718763398072835765087427553474161374630152901938069702903322739720901", + "1" + ], + [ + "20244489449718281224771972382454688977944613519370226595741543942193818865707", + "19005325000779061572105038900407210855167193186325179384744370456674531846752", + "1" + ], + [ + "17905734409676470389691612532757732246970469909527519932162818478447075527708", + "14786147027096263915511297996292826847659087062694857723516642286999030404099", + "1" + ], + [ + "13170413525057177027118218806689559566136892856728098698757124284101508780041", + "21138656039297587744247525334341823578219773225144796878223492790449265984236", + "1" + ], + [ + "17336985422666489495917434298152259228601087998778158909593038947037047437034", + "17640592272124615371604215593775167886611551365178888179149933534238084536035", + "1" + ], + [ + "13115497681355919008843671294553575734811415225866638680245661303800809177454", + "11101396909544211706087319187611419845994320778819031170997345351820871301500", + "1" + ], + [ + "5062223967757742841418833629304894504824711871486969640422734949713212037564", + "5995745391558201393058938510743066155455293405187491263678494062578649392537", + "1" + ], + [ + "10769448662035944503588756967807107248531839233480897019708757162346507533856", + "17683311668907780400377940051769789887732541265829205574046296993672760170234", + "1" + ], + [ + "18909222506084760520118400904387222253545995580483849260301107047056625024809", + "4739939423481558802886855387063931149245914588665635776355445541037716874191", + "1" + ], + [ + "237258354423629009139604512345017099458104648744590151045267949108836136046", + "8398477677610482726525801716151367352299183871166696265021289782422497361573", + "1" + ], + [ + "21614899156845209369731734601334455382216240765307343061569649838763541939674", + "19737392631718395415895070591908882100913238716433370918711613904255554425863", + "1" + ], + [ + "11583018052272400568802079643913527066888050377899679393339799714495380661286", + "18731342198059952174455684263813783627914005022231316888089150078895916324047", + "1" + ], + [ + "1800355436595083773914109207841543211385162586213879300974211146987134123202", + "13948211457427522096477007682338343714710607448417503368661334375180794438646", + "1" + ], + [ + "12380151495516055715423974838724751018509187196044814610299179374420946317150", + "15604417067169603747798399311766223987091027902169069371143436781729299657321", + "1" + ], + [ + "15586796314575179431439068400563064768255110456857949233401991221744972388290", + "6869029658475871438252091552567541171158916510785162784566374960655529514541", + "1" + ], + [ + "9454259555969046405835114554840573800894460654638881697884905397762877591671", + "15649504506074833196199868121136622617218927420004842806076140919475722131828", + "1" + ], + [ + "10896479167947716665298047581223743449173173843441842077252741245744005867502", + "19466843112239886558867945418277977036987004293914397183376561940538353431523", + "1" + ], + [ + "21093729272413526398302027094496286062183285233963676469751711501691030254808", + "5616302988725848953380515455651462166436866513193168038457367334604897142643", + "1" + ], + [ + "9162526928276135317390642844528140151219934473125754385250619863694467527200", + "2704506477496217427068410968125378104897220198385366379780167188967641057115", + "1" + ], + [ + "2611703957607573998187347531547663551663457287415444888228409918854708173921", + "16503183711195222950599750913705688322318608987024302010766325034010085416942", + "1" + ], + [ + "11144191723062275260143093129552752703141874383079896857211309008338415817157", + "16781709265403451651508663495722707593571471440254748275969368360531033950981", + "1" + ], + [ + "16812964624232834362158259778644306304990898865384873094141859868591196349911", + "13922581405000464856568387775868339864861250228661168312914123793152293400444", + "1" + ], + [ + "7757513072166428505849658731723708923254564692050157984152317397804988815683", + "10596938418787218858764915380828895440118767426036644517687291298143168844310", + "1" + ], + [ + "776963606617916676505305527193906634173028085645966206654629945039284611047", + "10912266632936528293222094364131226803541316295737642239229481058897029295382", + "1" + ], + [ + "16373521723700098997684769703648529905132042031831109132237638798191456108024", + "11103461808206383275179890639579495748275557033587467729454195698739957928818", + "1" + ], + [ + "12824183511411995663633068443784430488868221252426812112737116307753322360649", + "16623259457237877334961209654722086328478084586497591770992246134732053248864", + "1" + ], + [ + "4440204567609318598244879167103963411704795015851735842148385354806120614776", + "439254538132916792300814825054431063060942088144912111780551400772555518726", + "1" + ], + [ + "12550163747027957708679416133057345303366416863124571412695635212042254660231", + "8088733548936346769418714493856651195585281586259855084725506021681259615995", + "1" + ], + [ + "601695970176955369889380617598670451586934521316364158397268786862817318324", + "8177591911722905772853175277543921812590123868553367351838538360889195534445", + "1" + ], + [ + "21420783745411266284334793892673128470907336626528172424997282710543407678562", + "815896668203600154924756799739505300427469299180041621997534085009087797462", + "1" + ], + [ + "5985108217900335996495740885137329434596043615956659372441003017431913541049", + "12400136587102116035870838109370183374536730415523630490626751552251898583723", + "1" + ], + [ + "19164864123547614924145477596845278488377820092261133057871046801697026504830", + "9058096638083409870599642989053208885699231157685473105338357045834902352657", + "1" + ], + [ + "5625208601612291266473410363212052500521534296123171244974430101397304128598", + "20032223272677310984797975395155189489741584704900355338539941675727215575834", + "1" + ], + [ + "19722119258760509259002736097441021306020824312273305874398252765749858625383", + "21476284183336273518938142350498253130780475874465538560639647841713873409967", + "1" + ], + [ + "16214582901276753122992657437576487460434296014671145602237720787074011098320", + "14638014587762532725758011227519785515588402732574136404578917712064567856285", + "1" + ], + [ + "21242009997783861714463438145352831066649780964520311892324662965942254722206", + "17000102442647549832409557151546317734552217997144722436132435910128720474199", + "1" + ], + [ + "3901540629460292660569097126645101425134163883949632616895230751480848213369", + "15462697656409662538566017032586328247938424512432827105504267029364730924622", + "1" + ], + [ + "13589690411326512053318122778970095131969288693012374077657080517788789407345", + "3256080065084142457753800788670092375263661907651111479712628200718368447047", + "1" + ], + [ + "80867775087231075346193177024922594793617447013874226020788299753946699495", + "18692751692376633351750143580480221941277275632746814828053833446777751678844", + "1" + ], + [ + "12208564838188569361021574820173956567515251256529477811689323941001064824558", + "14719028828276200987004700519998864320546393568625959778339171591168779343802", + "1" + ], + [ + "11487733918945328878091426687312208948265605735490434820651127086706421059773", + "12884027668625422693735810500338290593888443327897978424106732856151809328547", + "1" + ], + [ + "20632552305904865953323352410960265689821616276406781145263037394521803318607", + "2807465385289781642965528502072388424070031841212619812619243814164168949956", + "1" + ], + [ + "15762698488851251645720011145875054676705544433397646684075263620983096891945", + "1298669502852138604153414592011225832117552495360099510102598347062068301160", + "1" + ], + [ + "11129488032579072454261600806944244717606891316794143410356402368489165589130", + "17038312956321424279807397639106394935887287800511404015727988253317547071041", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQuerySigV2OnChain.json b/loaders/keys/credentialAtomicQuerySigV2OnChain.json new file mode 100644 index 0000000..581fa8e --- /dev/null +++ b/loaders/keys/credentialAtomicQuerySigV2OnChain.json @@ -0,0 +1,144 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 11, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "1710121669395829903049554646654548770025644546791991387060028241346751736139", + "9233349870741476556654282208992970742179487991957579201151126362431960413225" + ], + [ + "19046562201477515176875600774989213534306185878886204544239016053798985855692", + "19704486125052989683894847401785081114275457166241990059352921424459992638027" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "4329040981391513141295391766415175655220156497739526881302609278948222504970", + "284608453342683033767670137533198892462004759449479316068661948021384180405", + "1" + ], + [ + "7902292650777562978905160367453874788768779199030594846897219439327408939067", + "10012458713202587447931138874528085940712240664721354058270362630899015322036", + "1" + ], + [ + "11697814597341170748167341793832824505245257771165671796257313346092824905883", + "5174781854368103007061208391170453909797905136821147372441461132562334328215", + "1" + ], + [ + "1726927835877229859131056157678822776962440564906076714962505486421376544987", + "7352133740317971386526986860674287355620937922375271614467789385331477610856", + "1" + ], + [ + "9990035903997574691712818787908054784756674039249764811431700936009293741830", + "4755447104942954158928166153067753327016299728030535979210293681329469052797", + "1" + ], + [ + "15940583140274302050208676622092202988851114679125808597061574700878232173357", + "7533895757575770389928466511298564722397429905987255823784436733572909906714", + "1" + ], + [ + "5508259264227278997738923725524430810437674978357251435507761322739607112981", + "14840270001783263053608712412057782257449606192737461326359694374707752442879", + "1" + ], + [ + "19432593446453142673661052218577694238117210547713431221983638840685247652932", + "16697624670306221047608606229322371623883167253922210155632497282220974839920", + "1" + ], + [ + "6174854815751106275031120096370935217144939918507999853315484754500615715470", + "3190247589562983462928111436181764721696742385815918920518303351200817921520", + "1" + ], + [ + "20417210161225663628251386960452026588766551723348342467498648706108529814968", + "13308394646519897771630385644245620946922357621078786238887021263713833144471", + "1" + ], + [ + "1439721648429120110444974852972369847408183115096685822065827204634576313044", + "7403516047177423709103114106022932360673171438277930001711953991194526055082", + "1" + ], + [ + "18655728389101903942401016308093091046804775184674794685591712671240928471338", + "15349580464155803523251530156943886363594022485425879189715213626172422717967", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQueryV3-beta.1.json b/loaders/keys/credentialAtomicQueryV3-beta.1.json new file mode 100644 index 0000000..4d61dc2 --- /dev/null +++ b/loaders/keys/credentialAtomicQueryV3-beta.1.json @@ -0,0 +1,504 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 83, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "5862164748845614691079517708929478460375019636889136987196087744107069469735", + "10047809958860274071369284386721831439618369068458490781402054200237955601235" + ], + [ + "11253081787612437909651136726910498599873617497903925204117838018686852020723", + "1007498474424273240370457315526228277015768136769351457095067009557880079057" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "18239353154347836186554835171193299418775032438322972746401909316672054664076", + "15615533126787930719888935703471255380986055663395981996704226408419262795838", + "1" + ], + [ + "19878512571441012219246807542416020830416472016285463353748059506370963304797", + "5061939924141304777594567221133308474867112307779545261299875885747427412201", + "1" + ], + [ + "12438809156070977404111417187825143164003122345158263931503485538835458332224", + "5679641333246470503581546163998202630428933838845722284417604682885852969662", + "1" + ], + [ + "18073144218132736711346466775159921471388476838176602280378026913047629574949", + "14002963129798492062524047381088892591444356768764387116074095147489001683239", + "1" + ], + [ + "18534798636461553742638649703809430804664556574786048386728512104189235802806", + "11707308747371521650017944099996832639054126961487105310020949046254760720771", + "1" + ], + [ + "3022457069402029262298156782678920054381114105819112402345423820374305583100", + "18787869784560855546874107443521164939098172824408467456779390280473326670056", + "1" + ], + [ + "7011762609598945476525979205387448687922631332412215877929685096165226213349", + "11320927197754275225374735636231760494381743431021874802503581026661969756058", + "1" + ], + [ + "386160035214721475354398253020632870366645545280134140150221392567974924140", + "4186886544342292295746667461865005486284011469390157930956218047077904391203", + "1" + ], + [ + "4398705943361817277330973611954307951897349785100034094364580128073010053120", + "5857206056633693115006170989533561250427285721079254003424753203960106247240", + "1" + ], + [ + "6889674185092693392119397308563507957842202378847273730351099062809410315192", + "11174875219161818311801855208678954202349201948779259225805537199738234078986", + "1" + ], + [ + "14452116785767766271684916857528683293837277340132647055145972742776199721039", + "7434288452622248126253755699718516724849005156815737237411567585914406186916", + "1" + ], + [ + "10120366778302764842510625585686420059941420974148935991538921215136524175919", + "13944675651178037315020911245738253694656473961350380197777381318324438402404", + "1" + ], + [ + "18826976615022165830450497209140610826532666013265839371646474122203257319054", + "11032472506557335620216674017975957015568678653241422826426315833928321926086", + "1" + ], + [ + "8432537121833114206325892380064967829502708569653685549089848617324909744342", + "8750471323059086455786480093133552344380915669315350385583485702603717208228", + "1" + ], + [ + "16057177946502099775714839349799312833142507840979341280477781000894696535040", + "1434539253722871666218028706382229628229752927192071455535745035892387268403", + "1" + ], + [ + "6213175264773214034056931603859962088292482197427036468369749947510182370363", + "20313291844990434231865348490423546525254280429964411319990395270388508795608", + "1" + ], + [ + "20768762624416895787792968403428123848851845749011051090574781818125422904375", + "7171682754323163409655291073083429622995568241661922865262435603565788295488", + "1" + ], + [ + "16349525970366623128981812750898002192666154185524045813125052568903892691925", + "2155279245296538362847541525900289873071939559903352731026661122016425327894", + "1" + ], + [ + "2281391793040172064833143048892632917349034844098656366541314040375368751610", + "15875007285751019654015473639840936522500082966778801084640805476467935269317", + "1" + ], + [ + "7453722136408738310323669240971337608843255656304412654672984452618109682355", + "4354088326358845891606602290757885070138871950493164059401472785531462988306", + "1" + ], + [ + "7448764049504927364453789443773642482516185879875012230351557423305583832066", + "6258740657000568034398824186975996102909325783610059368130857367780920995410", + "1" + ], + [ + "8439579401565316743316289001851345069366890115094526078441218871850435521954", + "15138987186609619370119238345617754130129736014168802861161274004190822710903", + "1" + ], + [ + "15895327443749844011167068163717632012488634495109371581353745454317962672690", + "17115204736226824401844063601296649435395709625177681691631311378167437496371", + "1" + ], + [ + "2991165727702424143424384101734520475182511153717349985538795727179935067135", + "13587534150260686835273470289962924641114687458615348718059021989505196097133", + "1" + ], + [ + "17294762675718129604983582719293975384759582586117827846376319402973982784723", + "617805729706128268428717841803308778385922936035597648474242439503837398306", + "1" + ], + [ + "12744169025633101492586419987465321129171224706414107061747637577234566593147", + "2280089346717053762067316028151415440505520262148904436185143464645986908737", + "1" + ], + [ + "12227331914844120598310227574654986652011364430082957706470765752018737304094", + "19451235583649310365415167758107665431078188469878227289571681770368199301472", + "1" + ], + [ + "6784732161315252495343319083825714285146877784723443520309365897602171103710", + "15356105536887186302218284971785387377614213249444065074704936314231223011335", + "1" + ], + [ + "19067221309780667611438078506970194010367520270389720757958394904119493707163", + "2611845287157357094667702414124017402279683416107035058610156850143623868451", + "1" + ], + [ + "2840701609835033417754228589766651131638921055996110775923004357322078520129", + "6919738704217142556504391483364855702931219307821432800525840746277786015340", + "1" + ], + [ + "10359099225639910502096272095803636178911469220256309419809914321308545613381", + "7417672690347401061968539767213557517591743063795176531457789955503478310043", + "1" + ], + [ + "20078338675360835447588854004893268823417897173295490346675853648429032763496", + "21855517513162555818289222449005070372634314563131367351772066251939742442373", + "1" + ], + [ + "12331978064504100553625965157450045054832595361759184184431104106077094505712", + "11954150620421042310886928590572144083570562234051815476584140785513446266011", + "1" + ], + [ + "19009101596708467899753870808086348958367609368378286878561146377131431027893", + "20451717673676248017616986518494872562107523999589348760309809702010008348449", + "1" + ], + [ + "8664372479728453168672133049069388917823473229952764024600220229459022791547", + "766323982879237011981801922494411682590542317150267047334186328853977096367", + "1" + ], + [ + "9189692969505592069024743476779915578625153491657469563870878093700212026203", + "21644300231534009091829107176869850199468016533199033895754609980709828810731", + "1" + ], + [ + "89660633224572600628936688768983950731032869407288124149640258726529952353", + "3774257783237297905463830427299755120972466223798139061597136013663426310412", + "1" + ], + [ + "5126697316988531488033375605723262622092710228992214724497319729659311535072", + "5590916670788638089857890146962306139550623676325858369326450249491763217657", + "1" + ], + [ + "11778829591420208090975474501258819244870961926933347328000167413376137767759", + "5010140230428825888384060370567366241389401418225249632435098923650257339327", + "1" + ], + [ + "6022542543378262453850155715429174069512334030882649699376974775005422878072", + "13572598893459894477235376352661615935449272601995794914767538468864348042878", + "1" + ], + [ + "21388972996450309176748694405584182983250130400042137381443671745279024481698", + "20062031565841659916635555021588208654228123922440869892080359491776221013843", + "1" + ], + [ + "19734227909570516702807122322206587254687029253079551774762091803390161506961", + "681986493962635579392382690113326115069858060910672581492115682729289478124", + "1" + ], + [ + "9200580794218245157126967504822472757509781105407804519636114919000741621668", + "15135761122103016002177913515341087760640028830770743105507493957126231478976", + "1" + ], + [ + "18856579747709085713856819722949972689605910717198816195290888686651009773949", + "232988265941073568292447639556566139681043189425388343195026815018544529067", + "1" + ], + [ + "14761900845141026076771033498570435959458681152104433981119275984627296440932", + "17018038005248294088517430515231643986017139228765836605414975368496695785717", + "1" + ], + [ + "11910656237786083037570680241143355946626516133346407814223576677447852766610", + "701214230390539906278006468804624405146037203046999027256131032380758735842", + "1" + ], + [ + "10347712764556003360795117578897137041699648533665924027438530294152514661314", + "4379921823541186022313843845473220123979561834853938230169666990127296374902", + "1" + ], + [ + "9444403493598931780920248225729490387387141667079895010901870307261502590594", + "17464343728387046512624822507639313942056499206666669955552714204314985485964", + "1" + ], + [ + "11493823684733503352812192344403927533019617423736336883802250158400355464766", + "10023274159913984919715222370472761901601460389216133024102178624257538067836", + "1" + ], + [ + "14226737153616292698463817137737257219016889713663725394115355081265620365070", + "9973700538399968151164253588229839129428933332651056979073492214640177455671", + "1" + ], + [ + "18927300500223384660640429762440315671020498908185375401335979148525594164843", + "2605531767555611573473449906559763110585838109851428260767098273966699204927", + "1" + ], + [ + "21017581870374547719994338465376521874601777226443967936097528421044856575203", + "17459132379050552655807164583803405574954063325840444872409716789994918816913", + "1" + ], + [ + "7425082530601384675791717246251406613213163395883397462891188109520570715901", + "16741770663444218713973668765632100793322184002827332234721855671274315378070", + "1" + ], + [ + "6471483517525717877634802310872360734275764904481500028592175357087648329821", + "20854570163330459854378789523718027284142444795206352973423173528443694070756", + "1" + ], + [ + "8605932636720342809751285592720485518111384511268989464107339910227555831", + "13234152652165763308064993697322242668963045110699314388995736667316525691405", + "1" + ], + [ + "5237765526026076750234736048582765558556845019601847768525588835602093277031", + "8000257275021875741659923323678171790832667615152381197834498743383456239664", + "1" + ], + [ + "13812796115910399661315433815694757126161285042034484676239437907853011432439", + "4007752349979882941076118024433034696648613512549248919900497652254282628983", + "1" + ], + [ + "16269975517230082942942874032722978666721495014576223987965815458191427886814", + "15664269474269202846861126973485752503970772635324608588791264252164737968429", + "1" + ], + [ + "1588381649297302605422151733486289132885277826084733169737487113260258956690", + "11176581746238165463525446618553987007043913522395937545030844732469938788229", + "1" + ], + [ + "536199898832456082949264577114310661478725537867891585113670415092557743983", + "6197459186166556105661739697310608667766659169216958989332307885759962912313", + "1" + ], + [ + "7481212471991367284638227415578749823123337791344782664705707186915476105040", + "13394709610971683628086603442206189658584791112598828377118138724747440332022", + "1" + ], + [ + "13887213981003795203169820232174584371840380836179725912839508459830647190265", + "21672747736292279381291395308488403033174072447953615702228315012947746001858", + "1" + ], + [ + "20589574843264118587074997124350391795952827114032507344943505398608042632197", + "19413757448957593664686540727015213641276028268348762779393031509306162754805", + "1" + ], + [ + "11688304030529808018039353101627583617012169012844744269993491871265640515023", + "20980699447832888785472709446406584959938759958819637707850171432140905879561", + "1" + ], + [ + "19089228765880071963892930280457851184400834679322656254747131418239734037237", + "3345245592118942867823803816833602530760165566435085732492878807580425875612", + "1" + ], + [ + "8770073319144351244579707590492763906260246231071672300283818427911402025689", + "18773211662328978002849837226860050308337553578203121037908797901010709918073", + "1" + ], + [ + "6935925438816115601390363927455022924299151456129762889290747025792978194251", + "18838334811859520665790792202403006769544576815587279327276359108375364703480", + "1" + ], + [ + "9815038839524143985364940622994204734234128235600589159730342035481668297045", + "21274852391214583211765146822296750439334834030695745240339996494554970680868", + "1" + ], + [ + "2807254469479444774751696162444816628910466478188169683822458910642040757118", + "17491411551169941056256753982634153126552696068918029606695132339353131118758", + "1" + ], + [ + "12731382465555173669278608951270913310950637092631135835689156086159313680055", + "21483493863074941553746614075327868763465391555548743049269769998734761948800", + "1" + ], + [ + "11993161049702802937690599916242727011880328291124367770301617487288358460923", + "5229785043625687661560461704093915514872771924628592931166225026027364604681", + "1" + ], + [ + "14732059275609122350450453784035256971042070126931760653633152569787666877685", + "11322511742896108292311194862081213172821099629890166600294574487891213015391", + "1" + ], + [ + "13548470786178891157789865624638435115146342861308118536026286620158766942107", + "507585491543451521329552518893937926155621764421610974859591312086748623297", + "1" + ], + [ + "11530912897704680598805231940645815638342840753942545615755026077239179617503", + "4690341746722796197161036261300501274705770058176118106632832377524861484866", + "1" + ], + [ + "7507851625531290674019080028736773302572281008920088094044547592615050767700", + "11913952118430854454688702984080728359913481298636852341549079501653409087041", + "1" + ], + [ + "5623267935895198296645052340636650704729911519977825804582456544156171268834", + "6352211896211862566775759227742582856096080150583312979979040577843197951450", + "1" + ], + [ + "19088991498644283311720486584644830028660434720010451262780894741546787942055", + "8672947550434850440296879198916237203674807728309412628764274891837075396694", + "1" + ], + [ + "7227681111073688305455872001607062696727318885689302367132699496852296092421", + "16319430023517570066730001020813821037665468631668075709017764567705740130626", + "1" + ], + [ + "5193232423935280789051762984500442165824800543586116585501568257094688884347", + "11405190753547862859856784965943962173776053746256963944643847590159305210021", + "1" + ], + [ + "13935825398730035421132781786881167630877321403618116405949904038466559678550", + "20643694933157185160770488981984678468238698552278227065212374729253646468381", + "1" + ], + [ + "12792457345315678948813354386135428562739325339791718521304650521167120457226", + "6594510211340928120675709868316503303844768017387791131110273082940382922672", + "1" + ], + [ + "5967586704047682483015557956745657046568745880330827020864913417141176024018", + "17372178369721326435248648517045720442392770731204733117528142204179884091829", + "1" + ], + [ + "7772488475931112534613576702994520596982744235769001195247203784080201592474", + "16791182037248928435158828142957535254984780816980146685528249041211855923295", + "1" + ], + [ + "2034311973489056030033455509824788637594361183297841403161576022457241481616", + "2217248154927952378132208871140855611981846835801532576247897726293625307236", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/credentialAtomicQueryV3OnChain-beta.1.json b/loaders/keys/credentialAtomicQueryV3OnChain-beta.1.json new file mode 100644 index 0000000..983a7ab --- /dev/null +++ b/loaders/keys/credentialAtomicQueryV3OnChain-beta.1.json @@ -0,0 +1,159 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 14, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "3095893755350579574084340768194859118060812980188883288691308871516619987178", + "17600624336333298446927066138417040872190528073093145749627579436701486084810" + ], + [ + "9709150562752353810497797932190603729039437671327101600791678478917273950037", + "15624791261015486467281565536067431599059156328734464648234840158016173273434" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "1849401186199415714446898249106577591306615685923904839181633252878837941933", + "8035236471157680485161721241984762005637504948850275820115798152710625536247", + "1" + ], + [ + "13014997830273596592285363773482411364833060777316574595254714243319451100023", + "1519901101875445601515316856892256956038434343549622995025824584830611451651", + "1" + ], + [ + "732732582635057379949953987814402537189204601949853687709907785684332179281", + "15267834885791655535186049176331231861852959649470515212584851986795564940071", + "1" + ], + [ + "9413428211197628477997966317587862663576257057786341866558405375306699178832", + "9957858962873131250541300734006023538936825353512626059208707657284699171797", + "1" + ], + [ + "12986373114412441171749127707526954452081739945328422037955795190935519073137", + "10042992577696678090975108191439702978263418022150102345936639537894919467157", + "1" + ], + [ + "14632282924921566651272212498367331387343490740773759117100880016886604894196", + "4277749322986801358683191509237839599482844948728393992697210911791412656195", + "1" + ], + [ + "1441054936562832268555350422182370011550042177033787109666558734462253707584", + "16829620397614944708077481634445693362611923503396303383132466410898208014051", + "1" + ], + [ + "6176652832221910789870730784125076983423862419659805683319991100223742347114", + "13903209722455355912147009957597983581222175564023286343407836006443217229621", + "1" + ], + [ + "21251630217617340659979674226727416299498007537318477922656566465715143379674", + "7156892515590296043288653701817632814984504957024991151649222020749447613891", + "1" + ], + [ + "3285463171209035533413339107204403357789593049153314496671426701176285947339", + "15432321439518281720367548789024134948240437030233551853245294206267289407563", + "1" + ], + [ + "10981447921802844802958651665822758038552958843994366194539354908944820098406", + "5737139382091130478891785746518962705936480622882684617261902200965972697310", + "1" + ], + [ + "1055564097483057901323621655523495182585951695421836578967988879977473236224", + "6635321359961998155772658737781723590688116335624873580852245564435090765407", + "1" + ], + [ + "11247265209401227121789916311585025222528461596265057477076085942787555894250", + "3239306645033355625965845080452138972819866630085601440646008084108372766605", + "1" + ], + [ + "8341904782712852157216647366081403541791755640034846966966720247217837981863", + "16850542577360504544581950457394181039162589721352350647649168440711788185329", + "1" + ], + [ + "11138492517332270162140210043827322847567560216712604094164393898942122324647", + "11747486182329574056528505506898811175084134489980638362495009897146320854364", + "1" + ] + ] +} \ No newline at end of file diff --git a/loaders/keys/linkedMultiQuery10-beta.1.json b/loaders/keys/linkedMultiQuery10-beta.1.json new file mode 100644 index 0000000..1be588d --- /dev/null +++ b/loaders/keys/linkedMultiQuery10-beta.1.json @@ -0,0 +1,199 @@ +{ + "protocol": "groth16", + "curve": "bn128", + "nPublic": 22, + "vk_alpha_1": [ + "20491192805390485299153009773594534940189261866228447918068658471970481763042", + "9383485363053290200918347156157836566562967994039712273449902621266178545958", + "1" + ], + "vk_beta_2": [ + [ + "6375614351688725206403948262868962793625744043794305715222011528459656738731", + "4252822878758300859123897981450591353533073413197771768651442665752259397132" + ], + [ + "10505242626370262277552901082094356697409835680220590971873171140371331206856", + "21847035105528745403288232691147584728191162732299865338377159692350059136679" + ], + [ + "1", + "0" + ] + ], + "vk_gamma_2": [ + [ + "10857046999023057135944570762232829481370756359578518086990519993285655852781", + "11559732032986387107991004021392285783925812861821192530917403151452391805634" + ], + [ + "8495653923123431417604973247489272438418190587263600148770280649306958101930", + "4082367875863433681332203403145435568316851327593401208105741076214120093531" + ], + [ + "1", + "0" + ] + ], + "vk_delta_2": [ + [ + "13574129252125202270158307841999632289188481698271261939235393046564697547323", + "4767756989901781990548811495555254021246964220885607355087778530306964004185" + ], + [ + "20994491963918641855107870498261517959074286551785099903933200630273567734342", + "11765493019200775638510616767809212227835759957683292721283970143875449362878" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "12449886944142661472251059230965936349361235560943050777171852750972268056009", + "5508789765348348011558576931625983265119736287691184278767289209256184182152", + "1" + ], + [ + "11354840822823409678846005531170154810223893374328536931571598076429246168962", + "10243618321308788660349859395450060514823490518996600371300209313988271557806", + "1" + ], + [ + "7688841796121824588147585218713985820690021917094358723669767856390683928034", + "15304029843415543132293541704424359450862448668530347048215672038580045683481", + "1" + ], + [ + "15990615657429515286876718277658019436828926204319889565777537283744068146700", + "20265128390631794181627612941990068143695235211256419586038084564697570772459", + "1" + ], + [ + "16744634382041772612761056860980716914432614100602561913600347639646803828867", + "9587909504738762931618416803620503763808524690654300610728307244650105345649", + "1" + ], + [ + "14498281259442737211687928465501452644380043044531604747511002130574576040500", + "15178480169883279183083105005735414370343021495727319036601387862295433592890", + "1" + ], + [ + "181238700928172282344680236185737466543303371505875966182504955165221550787", + "21622111637396317730948136644302630767714713068723532481132071344883159478317", + "1" + ], + [ + "8334117149439267478794081283986502998659211363774660979410854038645857015106", + "3525586056545466424550069059261704178677653029630068235241952571550605630653", + "1" + ], + [ + "16676389244152071637547895889424069474191043909363062157910970100503924284824", + "6293986690744783536251466348123663316687870380690807594123241364218706730246", + "1" + ], + [ + "12745671365224662776594194440156600675329812876347548121369698185420569095439", + "11273088596548493444123027464142605382437970433270231501917065525393005894036", + "1" + ], + [ + "7732485931307476787148144929824683305147104743163709148772223736952704050567", + "14991775678419768558530779568394256066852823412993601432448554479361118463299", + "1" + ], + [ + "13954475229491875183185146721491133006576631796979640931033593718558384269206", + "20143678799568261548345812147552378448221261337943896478291695109662795302646", + "1" + ], + [ + "1588536655220107824895151554872386730171641945783207210783928981583577082720", + "13908530648827733472139197820866316501402019214593222521521102979981263265396", + "1" + ], + [ + "12678767645933368864421466910761496605084347784517452696623065956846509548782", + "21381570127686765465000169852593021495333227087229864265691446720659272361152", + "1" + ], + [ + "17922265673268483320025865036589139344955822363275373430719168065953761526520", + "9242324301503892823219332201525279187476010610994752688104429744801597668285", + "1" + ], + [ + "19367539127735956732148435844861647320899694335953718141209016532640873590140", + "12701104584447112200166345844417732176637947754547635778619790266357846083284", + "1" + ], + [ + "14931750548482966130586321361300230947899794584196248761236252137274123990811", + "18907870831743031028168656813690968152456035625888662633278498386598866738708", + "1" + ], + [ + "21078326524345796712273699205406122410330437647297400186087773951320605894880", + "6471701510558433137588469036231611931381433511837825536013781894924055589201", + "1" + ], + [ + "11616604898621091236885062107603844843578912315924240360909152763967953411071", + "15567597962932438133376009485279673723080736998791665521084155531250437535832", + "1" + ], + [ + "16814378820042549514945932350142180953549065761435730844701764513083012014298", + "9577851565990440995137571478255586121135591079059958395444685890902579770570", + "1" + ], + [ + "1093702848180480792269642835164492672016092778979951861285096707497432193760", + "4063334433551442475817332481927046015343707417264061346417488535608502495218", + "1" + ], + [ + "7214731470556020664921656204545020072837783006969685612760693537299230135333", + "8891562787830667150144624187125115054175583159717508708300614390764766181778", + "1" + ], + [ + "4041991063957841891847968885939221032895793579852508335899469034278358488695", + "12929528695870206289536816082066059156374288392417066761527212742555189041207", + "1" + ] + ] +} \ No newline at end of file