Questions tagged [zk]
The zk tag has no usage guidance.
3 questions
1
vote
2
answers
30
views
Zk Roll ups - Security
1
We all know that zk rollup uses zk-snark to prove the state transition is valid.
But, now consider that if a malicious relayer creats a proof using incomplete transactions in a batch (e.g. relayer ...
2
votes
1
answer
17
views
Were larger trusted setups run?
Vitalik said here that the plan was to run multiple trusted setups, with 4096th, 8192th, 16384th, and 32768th roots of unity. Have all those setups been run, and if so, are the outputs available ...
- 424
1
vote
1
answer
59
views
Prove on L1 that an ERC20 transfer event happened on L2
Let's say Alice transferred 100 USDC to Bob on an L2 (e.g. Arbitrum One or Optimism) in a Transaction T of Block B.
I would like to prove in a Solidity Smart-Contract on the underlying L1 (Ethereum ...
- 7,247