StarkTank: Web3 Market#
- Community marketing is very different from traditional Web2.0 marketing, with the main goal being to establish an incentivized alignment of the community to complete the project you have started.
- In Web2.0, marketing activities are conducted through external platforms (such as Google Ads, Meta platforms), forming large central marketing teams to control information and marketing.
- The essence of marketing has always been the same, with core elements including: understanding your product, defining key information, identifying audience channels, understanding the audience, guiding the audience to take action, and measuring channel effectiveness.
- In Web3.0 community marketing, more emphasis is placed on the development of "ownership" and "earning" marketing models, rather than providing and controlling information like traditional central marketing teams.
- In Web3.0 community marketing, users are encouraged to continue your project and gradually transfer marketing responsibilities to users over time, achieving marketing alignment.
- Understanding the industry audience is also an important part of marketing, allowing the audience to identify your project and discover more needs and opportunities through research.
- Attracting the audience's attention through a channel, guiding them to use your product, and measuring the effectiveness of the channel are also necessary steps.
Protostar: Fluent Contract Development Experience#
• Protostar is a tool for writing Starknet smart contracts.
• Compared to other tools, Protostar is faster, more convenient, and more flexible.
• Installing Protostar locally only requires copying one line of code.
• When using Protostar to create a new project, writing source code files generates test files in SR, and Protostar Tomo saves the configuration information for the time-consuming process.
• Protostar takes an interactive demonstration form, allowing content to be obtained from scripts during or after the demonstration.
• Deploying smart contracts also saves valuable time.
Creating zk-proof from mainstream languages =nil;#
• The reasons and challenges for implementing this solution are reliability, scalability, time savings, security, and habitual code writing.
• What is our proposed solution? Using pre-compiled code from mainstream languages without worrying about cryptographic primitives.
• Why is ZK bridging needed? To consume time, as it requires continuous computation.
• Why is circuit design difficult? Time consumption and unnecessary cryptographic primitives.
• How difficult is it to generate a consensus proof? Some people try to do it on their local computers or move it to external servers, but these methods are still time-consuming and laborious.
• How is the Salon consensus proof implemented? Workers spent 8 months implementing it through manual circuit design.
Implementing Stakenet with Rust#
• The Lambda team (a software industry group) is attempting to migrate the StarkNet ecosystem from Python to Rust to make it faster, more predictable, and more reliable.
• Cairo was originally a Python project and has now been completely re-implemented in Rust. After implementing Cairo in Rust, its speed has increased by 100 times, memory consumption has decreased by 12 times, and it is 20 times faster than the Python interpreter.
• Cairo Rust bindings are Python bindings for sharing memory between Rust and Python.
• Currently, the Lambda team is trying to implement StarkNet business logic and StarkState. StarkNet business logic is a core part that executes commands based on transactions and generates transaction information and state.
• StarkState can be seen as a hash map that maps contract hashes to contract instances stored in JSON format, and the addresses of instances identify their storage values.
• The Lambda team has tested its corresponding VM (Cairo) and passed the test.
• If participants can send PRs and start participating, this workshop will be considered successful.
Warp: Translating Solidity to Cairo Code
• Warp can convert Solidity code to Cairo code supported by the StarkWare library, and it adds function call symbols.
• A new version of Warp is coming soon, which will support function overloading and can run ERC20 and other protocols without the need for function call symbols.
• To install Warp, check out the Uni Swap code repository on GitHub that can be used for Warp conversion.
• Today, we will deploy Uni Swap V3 to the testnet in almost real-time, which is the first address we publicly demonstrate.
• At the end of Jorik Schellekens' presentation, a section on the formal verification tool Horus will be presented.
• With the introduction complete, Jorik will now lead everyone in practicing Warp to deploy Uni Swap V3 to the testnet.