Vac Monthly Report 2025/02

P2P

highlights

  • Finalized staggered message sending article
  • Major progress on async exception tracking with most of the modules having been annotated with the exceptions they raise
  • Proper stream closing and allowing the setup of custom certificate validators in nim-quic
  • Fix certificate generation, and add parameter to choose encoding in PEM/DER

report

  • ift:2025q1-gossipsub-perf-improvements
    • Finalized staggered message sending article
    • Completed golibp2p-gossipsub simulation for shadow
    • Created rust-libp2p gossipsub simulation for shadow. Latency, bandwidth computations are working fine
    • Worked on finalizing 2nd last message sending article
  • ift:2025q1-nimlibp2p-wrapping-ngtcp2:tls_handshake
    • Overview:
      • Fixed quic stream closing logic
      • Allow custom certificate validators
      • Switched the tool used to wrap nim-ngtcp2 to futhark
    • Delivered Deliverables:
  • ift:2025q1-nimlibp2p-wrapping-ngtcp2:certificate_validation
    • Modified certificate generation logic to create PEM or DER encoded certificates
    • Fixed invalid certificate generation adding missing field
  • ift:2025q1-nimlibp2p-maintenance
    • Overview:
      • Publish function of gossipsub no longer raises exception (acts as fire&forget)
      • Proposed to send IDONTWANT messages only to full mesh peers so the code matches the spec. It’s likely this wont get merged and the spec will be ammended instead
      • Improvements over CI
    • Deliverables
  • acz:2025q1-acz-consulting:libp2p-mix-consulting
    • Overview:
      • Discus/design how to modify the send functions of libp2p protocols to pass custom connections
      • Discussions regarding how gossipsub difference compared to other req/resp protocols affect the design of exit nodes.
      • Assist in fixing compilation issues
    • Delivered Deliverables
  • acz:2025q1-acz-consulting:de-mls-consulting
    • Overview:
      • Troubleshoot segmentation faults when creating waku nodes
      • Help with publishing v0.1.0 of @waku/zerokit-rln-wasm
  • ift:2025q1-nimlibp2p-maintenance:async-exceptions
  • ift:2025q1-nimlibp2p-maintenance
    • Overview:
      • Work done on github actions related to CI to improve the developer experience and code quality
    • Deliverables:

Tokenomics

highlights

  • Strategic advisory to Based in their pivot to AI
  • Developed a PoC with Cats Fishing mathematical model
  • Revised version of whitepaper for Cats Fishing addressing several questions from legal
  • Finalization of the first version of the CDX modeling tool for Codex
  • Definition of the mechanics of the Codex Lending Market
  • Extensive risk analysis of Status Network components (economic & business model, native DEX, governance, Karma token, RLN, and free transactions)
  • Proposal of a supply policy and distribution for Karma, and dasboard presenting uncertainty quantification of the parametrization
  • Evaluation of possible impacts on SNT valuation
  • Refactoring of the Staking UI and preparation for SN integration
  • Development and simulation of blobspace model, initial economic model of the RDP, and revising the economic incentives of the Blend Network.
  • Analysis of the AI landscape from the tokenomics perspective, and the new Ethereum hardfork (Pectra)

report

  • vac:tke:ift:based:advisory
    • Overview:
      • Strategy analysis for AI pivot
    • Completed tasks:
      • vac:tke:ift:based:advisory:ai-pivot-analysis
  • vac:tke:ift:catsfishing:simulations-and-release
    • Overview:
      • PoC with all equations that model the CF game
    • Completed tasks:
      • vac:tke:ift:catsfishing:simulations-and-release:equations-to-code
      • vac:tke:ift:catsfishing:simulations-and-release:whitepaper-review
  • vac:tke:codex:cdx-incentive-mechanisms
    • Overview:
      • Finalized tool that incorporates mechanics of the Codex Protocol
      • Defined the mechanics of Codex Lending Market, including analysis of a similar market in FileCoin
    • Completed tasks:
      • vac:tke:codex:cdx-incentive-mechanisms:monitoring
      • vac:tke:codex:cdx-incentive-mechanisms:lending-market
      • vac:tke:codex:cdx-incentive-mechanisms:filecoin-lending-market
  • vac:tke:status:karma-incentives
    • Overview:
      • Initial economic model analysis of the SN components
      • Comprehensive risk analysis of SN components
      • Karma supply policy, distribution, and uncertainty quantification
      • Study about the impact on SNT valuation
      • Refactoring the Staking UI and adding more wallet options, preparation for SN integration
    • Completed tasks:
      • vac:tke:status:karma-incentives:initial-prelaunch-analysis
      • vac:tke:status:karma-incentives:risk-analysis
      • vac:tke:status:karma-incentives:native-dex
      • vac:tke:status:karma-incentives:karma-supply
      • vac:tke:status:karma-incentives:karma-distribution
      • vac:tke:status:karma-incentives:karma-APY
      • :staking-demo
  • vac:tke:nomos:base-econ-model
    • Overview:
      • Modeling and simulation of blobspace
      • First economic model of the RDP
      • Revised economic incentives of the Blend Network
    • Completed tasks:
      • vac:tke:nomos:base-econ-model:simulation-blobspace
      • vac:tke:nomos:base-econ-model:rdp
  • vac:tke:ift:tokenomics-research-forum
    • Overview:
      • Analysis of the AI landscape from the tokenomics perspective
      • Review of important EIPs of the new Ethereum hardfork
    • Completed tasks:
      • vac:tke:ift:tokenomics-research-forum:ai-landscape
      • vac:tke:ift:tokenomics-research-forum:pectra

QA

highlights

  • Continued progress on e2e tests for data integrity and networking privacy on nomos side.
  • Mature the testing framework for go-waku-bindings and added relay and store testing coverage.
  • Continued progress on reliability tests for status-go.
  • Hired new CC who started adding functionl tests for status-go.
  • Documented existing QA Strategy for Keycard.

report

DST

highlights

  • Discovered lightpush issues in nwaku
  • Started working on chat protocols benchmarks using status-backend
  • Found potential issue about mesh stabilization while investigating nwaku time to reach healthy
  • Discovered that discv5 uses a extremely high bandwidth usage in nwaku

report

SC

highlights

  • Participated in first audit contest to pratice security audits
  • Finalized and deployed new version of SNT staking protocol
  • LearnUp session on first security audit

report

  • status:2025q1-staking-protocol-refinement
  • ift:2025q1-sc-learnup-sessions:2025-02
  • ift:2025q1-security-audits:contest-participation
    • Participated in security audit contest
    • Relevant links
    • Deliverables
      • Once contest has been jugded, there’s going to be an official audit report
  • status:2025q1-staking-protocol-refinement:status-network-testnet-deployment
    • Deployed new version SNT Staking protocol on Sepolia (Status Network coming next)
    • Relevant links
    • Deliverables
      • See contract addresses

ACZ

highlights

report

  • ift:2025q1-libp2p-mix-poc
    • Overview:
      • Implementation of the MixEntry and MixExit abstractions for the Mixnet.
    • Delivered deliverables:
    • Completed tasks:
      • ift:2025q1-libp2p-mix-poc:entry-exit-abstraction
  • ift:2025q1-zerokit-v0-7
  • ift:2025q1-de-mls-multi-admin
  • ift:2025q1-ift-zk-calls
    • Overview:
      • IFT ZK call February is conducted.
    • Delivered deliverables:
    • Completed tasks:
      • ift:2025q1-ift-zk-calls:ift-zk-call-3
  • ift:2025q1-think-tank
  • nomos:2025q1-nomos-consulting
    • Overview:
    • Delivered deliverables:
    • Completed tasks:
  • ift:2025q1-mds-checker
    • Overview:
      • Creating the novel MDS matrix security checker
    • Delivered deliverables:
    • Completed tasks:
      • ift:2025q1-mds-checker:releasing-rust-crate
  • ift:2025q1-risc0-arm-port

RFC

highlights

  • In accordance with IFT and projects within IFT, wrote the first forum post as a way to inform/educate the internal and external community.
  • Completed a huge fix for broken links on vac.dev - now it is up to the standards.

report

Nim

highlights

  • Multiple fixes and improvements for the langserver and the extension. Release is comming soon
  • Initial work in the declarative parser for nimble.
  • nimble fixes

Nescience

Highlights

  • Analysed epoch restrictions and explored solutions to mitigate delays in SE and DE workflows by designing block-independent mechanisms for immediate finality.
  • Investigated multi-epoch constraints in SE & DE and evaluated different zk-rollup and zkVM-based approaches, including Miden’s impact on NSSA.
  • Conducted refactoring based on sandbox testnet feedback, implementing fixes for warning handling, error handling, and redundancy issues.
  • Worked on gas usage and opcode profiling for RISC0 zkVM, focusing on defining a gas model for smart contract execution.
  • Result-wise, we have a potential initial approach to go from multiple-epoch to single-epoch as well as a way to optimise SE and DE avoiding bottlenecks. This leads to an open question on how NSSA enables users to invoke public smart contracts with a private transaction.
  • We also got some improvements regarding the gas model and limits on usage.

Report

  • vac:nes:state-separation-architecture-poc
    • Overview:
      • Analysed the impact of epoch-based execution on SE and DE workflows, identifying key bottlenecks and researching approaches to minimise delays.
      • Investigated how zk-rollups and zkVMs are affected by epoch constraints and explored methods to submit ‘intermediate’ transactions alongside initial transactions to improve efficiency.
      • Explored Miden’s approach to addressing NSSA execution constraints and considered circuit modifications for more efficient processing.
      • Examined multi-epoch constraints in SE & DE to assess feasibility for single-epoch execution without compromising correctness or performance.
      • Revisited time-release approaches and investigated using zkEVM instead of zkVM R0 for improved efficiency.
      • Addressed sandbox testnet feedback by refactoring code to enhance maintainability, scalability, and performance. Fixes included improving warning handling, error handling, redundancy reduction, and updating JSON RPC documentation for node RPC.
      • Developed a gas model for RISC0 zkVM by profiling opcode usage, memory costs, and computational overhead. This research will support a decentralised sequencer model with predictable and efficient gas consumption.
    • List of deliverables (ordered as in task management):
    • Completed tasks (big tasks):
      • vac:nes:2025q1:state-separation-architecture-poc:refactoring
      • vac:nes:2025q1:state-separation-architecture-poc:se-de
      • vac:nes:2025q1:state-separation-architecture-poc:gas