Codex Update June 4th - June 10th
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
- Setup similar VPN from home to cloud VPN for router OS similar to MikroTik router and APs; purchased hardware to test - ordered physical SIM adapter for router
Ongoing
- Workshop preparation
- Ongoing scalability work; intially had to fix the Docker build and got updated build with LevelDB, odd stuff happening in cluster but 4.5GiB exchange for upload/download succeeded
- NAT Planning and roll out
Marketplace
Completed
- TBD
Ongoing
- Workshop preparation
- Certora setup & integration
- WIP in the Certora’s Application Properties work
- Persistent Availabilities
- Slot Reservations
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
- Ongoing work on details of the dynamic data proposal (the proof parts)
- Helped Nomos with a small FFT issue
Ongoing
- Looking at new research
- Working on Winograd-type NTT
- Working on proof recursion
- Looking into more FFT/NTT algorithms (ECFFT, prime order FFT, etc; we need non-power-of-two sizes for foreign field arithmetic)
- Reliability and Proof Frequency (WIP)