MultiversX Tracker is Live!

ZkSNARKs QAP from Vitalik's blog, how do you calculate R1CS solution vector?

Etherum Reddit

More / Etherum Reddit 253 Views

Hi guys. From this blog post:

https://vitalik.ca/general/2016/12/10/qap.html

There's the solution

[1, 3, 35, 9, 27, 30]

Which Vitalik says about calculating it:

You can compute this for yourself by simply "executing" the flattened code above, starting off with the input variable assignment x=3, and putting in the values of all the intermediate variables and the output as you compute them.

But how? Can someone please show me how this is done with the gate vectors/matrices we created? The reason for my confusion is that the constraint equation seems to translate everything to scalars.

submitted by /u/TheQuantumPhysicist
[link] [comments]
Get BONUS $200 for FREE!

You can get bonuses upto $100 FREE BONUS when you:
πŸ’° Install these recommended apps:
πŸ’² SocialGood - 100% Crypto Back on Everyday Shopping
πŸ’² xPortal - The DeFi For The Next Billion
πŸ’² CryptoTab Browser - Lightweight, fast, and ready to mine!
πŸ’° Register on these recommended exchanges:
🟑 Binance🟑 Bitfinex🟑 Bitmart🟑 Bittrex🟑 Bitget
🟑 CoinEx🟑 Crypto.com🟑 Gate.io🟑 Huobi🟑 Kucoin.



Comments