2024-10 Vac monthly

Vac Monthly Report 2024/10 §

Tokenomics §

highlights §

• Support to Based deployment strategy
• Design and simulation of Cats Fishing tokenomics and game
• Introduction to the token design of Nomos base layer
• Definition of Codex incentivized testnet structure
• Reformulation of roles in Codex Protocol and introduction to token simulations
• Design and simulation of the AURA incentives

report §

• vac:tke:ift:based
  • Overview:
    • created writeup related optimal Univ3 deployment strats
  • Completed tasks:
    • vac:tke:ift:based:write-up
• vac:tke:ift:catsfishing-mvp
  • Overview:
    • simulation of incentives and staking mechanisms
    • writing up a whitepaper
    • Finished writeups on token econnomics canvas, monetary policy, token flow.
    • implementation of a dashboard
  • Completed tasks:
    • vac:tke:ift:catsfishing-mvp:monetary-policy
    • vac:tke:ift:catsfishing-mvp:location-models
    • vac:tke:ift:catsfishing-mvp:staking-brainstorming
• vac:tke:nomos:intro-base-layer-economy
  • Overview:
    • review of transaction fee mechanisms for block and blog space (DA layer)
    • proposal of a transaction fee mechanism for Nomos
    • re-evaluation of previous work on mixnet incentives, inc. control of competitiveness loss
    • proposal of an incentive mechanism for mixnet
• vac:tke:codex:v1-supply-tokenomics
  • Overview:
    • introduction of the validator role
    • adaptation of the Proof Aggregator role
    • revision of the mainnet litepaper
    • started simulation of the CDX token dynamics
  • Completed tasks:
    • vac:tke:codex:v1-supply-tokenomics:validator
    • vac:tke:codex:v1-supply-tokenomics:redesign-proof-aggregator
• vac:tke:codex:incentivized-testnet
  • Overview:
    • definitive design of testnet incentives
  • Completed tasks:
    • vac:tke:codex:incentivized-tesnet:list-incentives
• vac:tke:status:aura-incentives
  • Overview:
    • design and simulation of the XPs and AURA dynamics
    • drafting a possible smart contract architecture for AURA
    • monitoring progress of the two branches of staking contract development
• vac:tke:waku:incentivized-rln-mainnet
  • Overview:
    • following discussion around RLN on sharding
    • discussion with Waku team and others on RLN onchain analysis
    • feedback on the RLN documentation
• vac:tke:ift:tokenomics-research-forum
  • Overview:
    • research and draft of blogpost on ve(3,3)
    • research and draft of blogpost on EIP-1559
  • Completed tasks:
    • vac:tke:ift:tokenomics-research-forum:eip-1559

QA §

highlights §

• Increased projects knowledge base by creating QA Strategy Docs for Codex and Waku
• Increased Nomos testing capabilites by adding basic functionality tests
• Increased Waku interop testing coverage by adding edge cases and e2e scenarios
• Started colaboration with Status QA team in builind a new status-go functional testing framework

report §

• vac:qa:ift:projects-qa-strategy-2024q4

  • Overwiew:
    • Collected and organized information on the Waku QA strategy to document current capabilities for each Waku implementation. Identified gaps and areas for improvement.
    • Began similar analysis for Nomos.
  • Delivered Deliverables:
    • JS-Waku QA Strategy Document
    • nWaku QA Strategy Document
    • Go-Waku QA Strategy Document
  • Completed tasks:
    • vac:qa:ift:projects-qa-strategy-2024q4:waku

• vac:qa:nomos:da-testing-2024q4

  • Overview:
    • Expanded Nomos DA test coverage by adding new tests that build on top of existing ones.
    • Coordinated with developers on optimal areas to add tests for maximum benefit.
    • Updated the code coverage workflow multiple times to align with build process updates and the migration to a self-hosted runner.
  • Delivered Deliverables:
    • PRs:
      • Da dispersal unit tests update
      • Codecov workflow output directory cleanup
      • Codecov workflow conflicting output directory
      • Coverage workflow to run on ubuntu-22.0
    • CI Runs:
      • Da behavior membership tests
      • Codecov
    • Issues Found:
      • Test indexer_integration::test_indexer failed on Ubuntu 24

• vac:qa:waku:interop-testing-2024q4

  • Overview:
    • Expanded Waku interop coverage by adding new tests related to negative scenarios and edge cases.
    • Started adding new tests for e2e and complex scenarios involving a larger number of nodes.
    • Connected with developers to gather feedback for e2e scenarios, NWaku CI integration, and future work.
  • Delivered Deliverables:
    • PRs:
      • store v3 edge test cases
      • adjust edge test cases for CI runs
      • release more CI storage by removing unwated software
      • histogram metric update
      • waku_px_peers_sent metric update
      • fix light-push failure
    • CI Runs:
      • Nwaku->Nwaku tests
      • Nwaku->Gowaku tests
    • Issues Found:
      • Store API’s ascending flag not working properly
      • lack of info for REST APIs
      • pubsub topic && content_topic encoding is optional
  • Completed tasks: - vac:qa:waku:interop-testing-2024q4:edge-cases

• vac:qa:waku:status-go-functional-testing-2024q4

  • Overview:
    • Gained understanding of the status-backend functionality and its use cases.
    • Reviewed work and changes made by the Status QA team in updating and creating a functional test framework for status-go.
    • Began replacing the status-cli tool with status-backend.
    • Initiated a PR to migrate status-cli tests to the status-go functional test framework.

DST §

highlights §

report §

SC §

highlights §

• Organized and recorded learn up session about smart contract upgradeability
• Moved from epoch based staking system to index based system
• Feature parity between staking protocol almost done
• Implemented first versions of XP token and NFT

report §

• vac:sc:ift:eip-discussions_2024q4
  • EIP discussions meeting about upgradeability patterns
  • Completed tasks
    • vac:sc:ift:eip-discussions_2024q4:2024-10-18
  • Deliverables
    • Video recording
• vac:sc:codex:formal-verification_2024q4
  • Rather little progress here but we’ve implemented a few new rules
  • Completed tasks
    • Pending
  • Deliverables
    • Marketplace.spec
    • StateChanges.spec
• vac:sc:status:staking-protocol-v1
  • Integration of StakeVault into RewardsStreamerMP contract
  • Ported over most relevant formal verification rules
  • Correct implementation of MP generation
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • Pending
  • Deliverables
    • RewardsStreamerMP contract
    • StakeVault contract
• vac:sc:status:xp-nft-v1
  • Implementation of a first version of the soulbound NFT for Status XP balances
  • Includes interchangable metadata generator
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • vac:sc:status:xp-nft-v1:token-implementation
  • Deliverables
    • XP token contract implementation
    • Tests proving its functionality (or lack thereof)
• vac:sc:status:xp-token-v1
  • First version of XP token implementation nearly done
  • Finalizing aggregation of XP balances across XP providers
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • Pending
  • Deliverables
    • XP Token contract

DST §

highlights §

report §

SC §

highlights §

• Organized and recorded learn up session about smart contract upgradeability
• Moved from epoch based staking system to index based system
• Feature parity between staking protocol almost done
• Implemented first versions of XP token and NFT

report §

• vac:sc:ift:eip-discussions_2024q4
  • EIP discussions meeting about upgradeability patterns
  • Completed tasks
    • vac:sc:ift:eip-discussions_2024q4:2024-10-18
  • Deliverables
    • Video recording
• vac:sc:codex:formal-verification_2024q4
  • Rather little progress here but we’ve implemented a few new rules
  • Completed tasks
    • Pending
  • Deliverables
    • Marketplace.spec
    • StateChanges.spec
• vac:sc:status:staking-protocol-v1
  • Integration of StakeVault into RewardsStreamerMP contract
  • Ported over most relevant formal verification rules
  • Correct implementation of MP generation
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • Pending
  • Deliverables
    • RewardsStreamerMP contract
    • StakeVault contract
• vac:sc:status:xp-nft-v1
  • Implementation of a first version of the soulbound NFT for Status XP balances
  • Includes interchangable metadata generator
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • vac:sc:status:xp-nft-v1:token-implementation
  • Deliverables
    • XP token contract implementation
    • Tests proving its functionality (or lack thereof)
• vac:sc:status:xp-token-v1
  • First version of XP token implementation nearly done
  • Finalizing aggregation of XP balances across XP providers
  • Relevant links
    • NCT commitment status on GitHub
    • NCT tasks on GitHub
  • Completed tasks
    • Pending
  • Deliverables
    • XP Token contract

ACZ §

highlights §

report §

Nim §

highlights §

report §

Nescience §

highlights §

• Started implementing the sandboxed testnet as a PoC for NSSA.
• Researched and refined key protocol component for NSSA.
• Researched and refined execution type circuits for NSSA.
• Addressed issues and PR (made by SP1) related to our zkvm results blogpost.

report §

• vac:nes:state-separation-architecture-poc

  • Overview:

    • Implemented memory crates for the sandbox testnet, including simple mempool and storage implementation.
    • Implemented accounts crates for the sandbox testnet, including UTXO and account-based interface implementation.
    • Defined key protocol including spending, public, private, and ephemeral keys.
    • Defined execution types kernel circuits for NSSA, including private, SE, and DE kernel circuits.

  • List of deliverables (ordered as in task management):

    • Implementation of mempool crate.
    • Implementation of Merkle Tree crate for public transactions.
    • Implementation of UTXO commitments storage.
    • Implementation of nullifiers tree Storage.
    • Test of the storage module.
    • Definition of keys specification for NSSA.
    • Aztec-like/Zcash-like approach.
    • Monero-like approach.
    • Several key constructions.
    • NSSA key protocol.
    • Implementation of UTXO core module.
    • Implementation of account keys module.
    • Implementation of account core module.
    • Test of the UTXO and accounts modules.
    • Zkvm/VM interaction issue.
    • Private execution circuit.
    • SE execution circuit.
    • DE execution circuit.
    • Unified full description of kernel circuits for NSSA.

  • Completed tasks:

    • vac:nes:state-separation-architecture-poc:memory
    • vac:nes:state-separation-architecture-poc:key-protocol
    • vac:nes:state-separation-architecture-poc:account
    • vac:nes:state-separation-architecture-poc:execution-types