C/p from delving Bitcoin (link below)
Hello hello.
I guess this is my first post, just wanted to let you know that Ivan and I have been working for a few weeks on a minimal L2 that would allow people to build zkapps (zero-knowledge applications) on Bitcoin. It does not verify zero-knowledge proofs directly on Bitcoin (unless we have new opcodes it’s just not possible). Instead it relies on a multi-party computation between nodes to manage a wallet, which tracks on-chain zkapps and their state (in the case they are stateful). The nice thing about the design is that MPC nodes don’t need to know about the canonical chain, so they’re really light to run, and could even easily run in trusted execution environment to provide some more defense-in-depth. We’re looking for well-known ZK individuals to run nodes in order to maintain this service and have a large threshold parameter (the larger, the more nodes an attacker would need to compromise to compromise the L2). For now we’re just running on testnet. As far as I know something like this didn’t exist until today, so now you can use protocols like zkLogin or zkMail to lock your Bitcoin in zkapp and unlock them with a proof of login on Google or a proof that you received some email Smiley
You can check the CLI here:
https://github.com/sigma0-xyz/zkbitcoin
https://delvingbitcoin.org/t/zkbitcoin-zero-knowledge-proof-apps-on-bitcoin/464
calle 👁️⚡👁️
npub12r…485vg
2024-01-23 12:35:01
Author Public Key
npub12rv5lskctqxxs2c8rf2zlzc7xx3qpvzs3w4etgemauy9thegr43sf485vgPublished at
2024-01-23 12:35:01Event JSON
{
"id": "a3689782969f0f1985dd0726cb69c7fac804e9c5f985b3d86719db22faad2bae",
"pubkey": "50d94fc2d8580c682b071a542f8b1e31a200b0508bab95a33bef0855df281d63",
"created_at": 1706013301,
"kind": 1,
"tags": [
[
"r",
"https://github.com/sigma0-xyz/zkbitcoin"
],
[
"r",
"https://delvingbitcoin.org/t/zkbitcoin-zero-knowledge-proof-apps-on-bitcoin/464"
]
],
"content": "C/p from delving Bitcoin (link below)\n\nHello hello.\n\nI guess this is my first post, just wanted to let you know that Ivan and I have been working for a few weeks on a minimal L2 that would allow people to build zkapps (zero-knowledge applications) on Bitcoin. It does not verify zero-knowledge proofs directly on Bitcoin (unless we have new opcodes it’s just not possible). Instead it relies on a multi-party computation between nodes to manage a wallet, which tracks on-chain zkapps and their state (in the case they are stateful). The nice thing about the design is that MPC nodes don’t need to know about the canonical chain, so they’re really light to run, and could even easily run in trusted execution environment to provide some more defense-in-depth. We’re looking for well-known ZK individuals to run nodes in order to maintain this service and have a large threshold parameter (the larger, the more nodes an attacker would need to compromise to compromise the L2). For now we’re just running on testnet. As far as I know something like this didn’t exist until today, so now you can use protocols like zkLogin or zkMail to lock your Bitcoin in zkapp and unlock them with a proof of login on Google or a proof that you received some email Smiley\n\nYou can check the CLI here:\n\nhttps://github.com/sigma0-xyz/zkbitcoin\n\nhttps://delvingbitcoin.org/t/zkbitcoin-zero-knowledge-proof-apps-on-bitcoin/464",
"sig": "86bd88767795e8778c2f65a332248c7d218bebed1d16f46339a7342d5db1cd68aa224191264881caa52acc33f75fdfb3b5a26f0369a549d97af692fef60b61a4"
}