Granted Patent B2

US 12,645,659 · App. 18/986,718 · Granted Jun 2, 2026

Inventor: Hyun ok Oh (Seoul, KR)

Assignee: Zkrypto Inc.

G06F16/2255G06F7/58

Abstract

Claims (100)

1 . A Rivest-Shamir-Adleman (RSA) accumulator-based lookup argument method performed by at least one processor, the method comprising:

obtaining a table vector comprising a plurality of table values;

generating a plurality of prime number random values;

generating a plurality of prime number table values respectively corresponding to the plurality of table values by using the plurality of prime number random values;

generating a prime number table vector using the plurality of prime number table values and the plurality of prime number random values;

publishing the prime number table vector;

receiving an index vector comprising a plurality of index values respectively corresponding to at least one prime number table value;

generating a temporary vector comprising a plurality of temporary values by processing a duplicated value among the plurality of index values by using the prime number table vector;

performing an RSA accumulator-based lookup argument in a blockchain to check whether an index value among the plurality of index values is included in the table vector by using the prime number table vector and the temporary vector;

providing verifiability of an object corresponding to an index value among the plurality of index values in the blockchain by confirming whether the index value is included in membership based on the RSA accumulator-based lookup argument even in a condition in which the plurality of prime number random values is included in the prime number table vector, and

executing a blockchain transaction associated with the object corresponding to the index value in response to providing the verifiability.

2 . The lookup argument method of claim 1 ,

wherein the generating the prime number table vector comprises:

performing a concatenation operation on each of the plurality of table values with each of the plurality of prime number random values;

checking whether a value on which the concatenation operation is performed is a prime number;

determining the value as the prime number table value corresponding to the table value when the value on which the concatenation operation is performed is the prime number; and

generating the plurality of prime number table values corresponding to the plurality of table values as the prime number table vector.

3 . The lookup argument method of claim 2 , further comprising:

performing a zero-knowledge proof on the generating of the plurality of prime number table values as a result of the concatenation operation on the plurality of table values with the plurality of prime number random values; and

transmitting a first proof value as a result of the zero-knowledge proof.

4 . The lookup argument method of claim 1 , wherein the generating the temporary vector comprises:

replacing an index value duplicating another element of the index vector among the plurality of index values with any one of the prime number table vector; and

generating a vector generated as a result of the replacing as the temporary vector.

5 . The lookup argument method of claim 1 , further comprising:

performing a zero-knowledge proof with respect to the following equation where i-th element of the temporary vector is e i and i-th element of the index vector is f i ; and

transmitting a second proof value as a result of the zero-knowledge proof.

∏

i

=

2

m

(

f

i

-

e

i

)

·

(

f

i

-

f

i

-

1

)

=

0

∧

f

1

=

e

1

6 . The lookup argument method of claim 1 , wherein the performing the RSA accumulator-based lookup argument is performed outside a zero-knowledge proof circuit.

7 . A Rivest-Shamir-Adleman (RSA) accumulator-based lookup argument method performed by at least one processor, the method comprising:

obtaining a prime number table vector comprising a plurality of prime number table values;

receiving an index vector comprising a plurality of index values respectively corresponding to at least one of the plurality of prime number table values;

generating a temporary vector comprising a plurality of temporary values by processing a duplicated value among the plurality of index values by using the prime number table vector;

performing an RSA accumulator-based lookup argument in a blockchain to check whether the plurality of index values is included in the prime number table vector using the temporary vector;

providing verifiability of an object corresponding to an index value among the plurality of index values in the blockchain by confirming whether the index value is included in membership based on the RSA accumulator-based lookup argument even in a condition in which the plurality of prime number random values is included in the prime number table vector, and

executing a blockchain transaction associated with the object corresponding to the index value in response to providing the verifiability.

8 . The lookup argument method of claim 7 , wherein the generating the temporary vector comprises:

replacing an index value duplicating another element of the index vector among the plurality of index values with any one of elements of the prime number table vector; and

generating a vector generated as a result of the replacing as the temporary vector.

9 . The lookup argument method of claim 8 , further comprising:

performing a zero-knowledge proof with respect to the following equation, where i-th element of the temporary vector is e i and i-th element of the index vector is f i ; and

transmitting a proof value generated as a result of the zero-knowledge proof

∏

i

=

2

m

(

f

i

-

e

i

)

·

(

f

i

-

f

i

-

1

)

=

0

∧

f

1

=

e

1

Assignments (1)

Priority Claims (1)

Continuity (1)

References Cited (20)