JSON 上的键/值成员资格证明

Question

有没有一种方法可以创建 zk 证明，证明 JSON 中存在特定的键和值，而无需提供有关该键/值的信息？

例如：

[
    {
        "name": "john",
        "balance": "2"
    },
    {
        "name": "peter",
        "balance": "1"
    },
    {
        "name": "alice",
        "balance": "6"
    },
    {
        "name": "bob",
        "balance": "4"
    }
]

我想证明 JSON 包含一个带有键

name

和值

john

的条目，而不泄露该信息。

我检查了不同的 zk 框架，但只看到了 Merkle 树成员资格证明，给出了一些叶子。

Answer 1

如果你保证 JSON 不能有任何递归结构（即它只是一个键值数据库），那么你应该能够通过 zk-regex 将其解析为正则表达式（library，ui） .