forked from Consensys/linea-specification
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtalk_ethcc
39 lines (36 loc) · 1.01 KB
/
talk_ethcc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
$# arith
- basics on arithmetization and the problem
- Patrick McCorry blog post on Blockchains
- complete arith
- conflation (efficacité, price reduction)
Slides
- zk-rollup with internal logic = EVM
- zk-rollup => translation of that logic into the language of circuits and polynomials
- life-cycle of transaction:
- RLP
- execution
- transaction receipt
# prover
- schéma général (Vortex, Arcane, arithmetization + gnark + KEC circuit)
- ECDSA
- KECCAK
# différences api
- opcodes (Number, Basefee, PREVRANDAO)
- sequencer imposed limits (SHA3, ECDSA)
- MODEXP limited to 4096 bit integers
- tx with TO = precompile: not accepted
- tx that are INVALID: not accepted
- calldata limitation (in effect: 150 tx / block)
- BASEFEE = 0
# points communts
- codehash
# bridge
- audit de SC
- Julien ?
# state:
- MiMC used internally for proving and internal state representation
- discuter avec Karim ?
# Questions pour Nicolas:
- sequencer / state manager
- talk about limits ?
- ... décentralization ?