Codex Update May 21th - May 27th
The Codex team wrapped up a successful demo at the Logos off-site and now aims to prepare the demo for the Q2 public testnet release potentially coinciding with EthCC.
An internal devnet has been running for the past few weeks and has been used to test the latest version of Codex and can be accessed using the Codex Testnet Starter documentation.
Development is currently broken into three distinct teams:
- Client, Testing, and Infrastructure
- Marketplace
- Research
The following are their team updates.
Client, Testing and Infrastructure
Completed
- N/A
Ongoing
- Continued work on LevelDB migration; failing unit test uncovered bug on race condition in one of the state machines in the Marketplace module and switch to LevelDB reveleaed it and changing timing of DB reproduced it; reproduced it in SQLite by putting a sleep statement and nothing wrong in LevelDB
- Marketplace picked this bug up
- Docker build problems; Rust build failed and Circom devices no longer building - rolled back Codex to previous Docker image and it doesn’t build anymore so not something changed on our end
- Working on debugging Rust FFI threading
Marketplace
Completed
- Contract deployment and security writeup
- More adjustments to the slot queue PR, and merge
- Re-review of ethers custom errors PR
- Merge fix for forcing scope of deserialization
- Release new version of nim-serde to unblock chronos v4
- Bump serde version and merge
- Merged Remove overloaded UInt256.fromJson
- Cleanup integration tests review
- Addressed Slot Reservations PR comments with some rewrites
Ongoing
- “Application Properties” writeup for Certora issues tracked here and ongoing discussion of issues here
- Reviewing RFC spec for Marketplace
- Building frontend for the EthCC Demo that shows past and real time contract events, and downloads CIDs and displays as images
Research
2024 R&D Goals
1. Proving system and aggregation improvements (folding or lookups)
2. Aggregator/validator design
3. DHT improvements
4. Tokenomics and incentive design
5. Bandwidth incentives
6. Dynamic data (appendable data)
7. Encryption
Completed
- Initial Dynamic data proposal WIP
Ongoing
- Understanding aggregator node hybrid-system dynamics