ZKSim

Our aim is to bridge the gap between traditional finance and DeFi by providing a realistic, engaging, and secure platform for trading simulation. As the DeFi landscape evolves, so too will our platform, with regular updates to the technology, market conditions, and trading scenarios to ensure an up-to-date and challenging environment for our users.

• ZKML: At the heart of our platform is ZKML, which will leverage Zero-Knowledge proofs to ensure user strategies and data remain private and secure while engaging in competitive trading.

• Simulated DeFi Market: DeFi trading with real-time market simulations that mirror current DeFi ecosystems. Users can experiment with various strategies without risking actual capital.

• Competitive Leaderboards and Tournaments: Engage in head-to-head battles or participate in large-scale tournaments against other users and their bots. Showcase your trading abilities and climb the ranks to earn rewards and recognition within the community.

• Privacy and Security: Leveraging Zero-Knowledge proofs not only enhances the capabilities of our bots but also ensures that all user activities on the platform are completely private and secure. Users can trade with confidence, knowing their strategies and finances are protected.

• customised appchain using Madara
• contracts for tokens using OZ ERC20 (https://github.com/OpenZeppelin/cairo-contracts/blob/main/src/token/erc20/erc20.cairo)
• using Giza and Orion for zkML
• Dev tools : Starknet Foundry / Starkli / Scarb

This is particularly hacky : MEV Using the PoH idea, we can independently create a verifiable sequence across the different app chains. In this way we can then combine the separate runs and see which model would react first / be first to the sequencer, we can then adjust the trades that each bot can do. We would also need a ZKP that the PoH clock has run correctly, this could be acheived with a simple recursive proof, the step in the proof has

• previous hash
• public events
• proof of previous hash Or we could just do the normal verification of the VDF which can be done in parallel.