Thank you.
In general I would say there are 3 options to generate a ZK proof for a specific computation:
- build custom circuits: this is a very low level task that requires deep knowledge of moon math and cryptography, super hard to maintain.
- use a general purpose ZK VM like Risc Zero and prove the execution of your existing code you want to prove. The benefit is that you don’t have to rewrite the code you can use it directly as is. However there is a big performance overhead
- rewrite the code you want to prove with a specialized high level ZK DSL like Cairo (this is the technique I am using). Maximal efficiency.
Abdel / A₿del ∞/21M 🐺 - 🐱
npub1hr…w2e29
2024-08-02 02:47:14
in reply to nevent1q…cphm
Author Public Key
npub1hr6v96g0phtxwys4x0tm3khawuuykz6s28uzwtj5j0zc7lunu99snw2e29Published at
2024-08-02 02:47:14Event JSON
{
"id": "91f6952cb498900214110cf5f0170d3406c5b35ef69d4bdf2c88e0cb16cf8391",
"pubkey": "b8f4c2e90f0dd667121533d7b8dafd77384b0b5051f8272e5493c58f7f93e14b",
"created_at": 1722566834,
"kind": 1,
"tags": [
[
"e",
"7770acc68155c78f974ee8c95abb2f2b977875b18a538eaf8957e797329ddf80",
"wss://test.nfrelay.app/",
"root"
],
[
"e",
"130bf0c1224c02e10a348db90b2e039a4293204741bd9a94e8fd27bab65147fa",
"wss://relay.primal.net",
"reply"
],
[
"p",
"2b67e480b7f99d2835684a8f7276d86edbe8e318ea55cf77ccfd559c5f24f645"
]
],
"content": "Thank you.\nIn general I would say there are 3 options to generate a ZK proof for a specific computation:\n- build custom circuits: this is a very low level task that requires deep knowledge of moon math and cryptography, super hard to maintain. \n- use a general purpose ZK VM like Risc Zero and prove the execution of your existing code you want to prove. The benefit is that you don’t have to rewrite the code you can use it directly as is. However there is a big performance overhead \n- rewrite the code you want to prove with a specialized high level ZK DSL like Cairo (this is the technique I am using). Maximal efficiency.",
"sig": "88ca45c3972b9cb4d287019cd35c56b5658d00a12a23f2374ab462d2a844e91d285ddb8f49d875ac5579bbd5172e8cbcfc2be7bca46cc61daa4758764e301e3e"
}