fusion
fusion copied to clipboard
leonardoalt
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
I don't know if my observation is correct. In the current circuit implementation, the state before transaction execution is first verified through Merkle proof, and then postRoot is used to...
an error when running `cargo build --release --bin fusion-sequencer`
By signing the tx, the user agrees that the `fee` will be subtracted from their account and given to the `block.coinbase` at the end of the transaction. Tasks: - [...
There are a couple TODOs in the code of little hacks, especially in `trollup-sequencer`. We should clean those up.
One potential circuit optimization is having multi key Merkle proofs (at least for sender/recipient). Not critical, but could reduce the size of the circuit.
A few potential ideas: 1- Verify tx in a STARK and make a SNARK aggregator (it is used in practice, but I personally don't know how to do this) 2-...
Depends on https://github.com/trollup/trollup/issues/29
Metadata
Owner
Metadata
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.