Got the list (from Hanno) of new Waku RFCs for the rfc-iterations of q1 of 2025: 20/TOY-ETH-PM, 21/WAKU2-FAULT-TOLERANT-STORE, 26/WAKU2-PAYLOAD, 33/WAKU2-DISCV5, 36/WAKU2-BINDINGS-API
nomos:2025q1-raw-rfcs-support-data-availability
Continuation of the plan - creating the framework for 3 new RFCs - no tangible PR yet: WIP
Nim
highlights
New release of the vs-code extension and the nimlangserver
Experimental support for macro and arc expansion on hover
Initial support for nim check as linter (as opposed to nimsuggest chk)
Nescience
highlights
Started investigating the smart contract programmibility focusing on the UTXOs workflow and its circuits as well as the workflow on programmable SCs with Risczero.
Worked on optimising the privacy flag verification for private smart contracts.
Engineering wise, worked on error handling on zkVM methods, and focused on the chain state validation during execution.
report
vac:nes:state-separation-architecture-poc
Overview:
Studied the current UTXO workflows to identify inefficiencies, as well as how programmable smart contracts work.
Explored ways to modify the circuit for outputting UTXOs. and researched how to achieve smart contract programmability with Risc0 providing example on how to deploy a smart contract.
Added error handling on zkVM methods which write into a state.
Worked on ensuring nodes and the sequencer validate the current chain state during transaction. This was done by (1) implementing methods on the sequencer side (by checking the transaction before entering the mempool and sending an error back: With this approach we can easily add additional error causes, for example chain state validation); and (2) by refactoring the sequencer to return errors immediately (chain state validation before pushing transaction into mempool).
Optimised the privacy flag verification process to enable single-transaction validations for private smart contracts: this reduces delays caused by multi-epoch operations and streamlines state updates. Here the focus was on (1) analysing the current mechanism, (2) analysing the roll-up based approach sync mechanism and its drawbacks, (3) analysing and proposing alternative approaches as fragmentation and short-time for privacy flags, and (4) providing fairness and privacy balance of the proposed method.