零知识证明的先进形式化验证:如何验证一条ZK指令
如何验证ZK指令的验证方式文章新鲜出炉!为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。
JinseFinanceBinance Labs, the venture capital and incubation arm of Binance, has made a significant stride by investing in MyShell, a decentralised AI ecosystem.
We’ve invested in @myshell_ai
— Binance Labs Fund (@BinanceLabs) August 15, 2024
MyShell is a decentralized AI consumer ecosystem that allows everyone to build, share, and own AI Apps.
Read more👇https://t.co/HjHHjYkZDe
This funding is part of Binance Labs’ broader strategy of identifying and nurturing transformative early-stage projects.
Historically, Binance Labs has demonstrated a keen eye for innovation, having previously invested in a range of influential projects across various sectors of the Web3 space.
Noteworthy investments include support for leading projects like Elrond and Fetch.AI, which have made substantial impacts in their respective fields.
The investment in MyShell marks a continuation of Binance Labs' commitment to supporting groundbreaking technologies with the potential to redefine their industries.
Yi He, Co-Founder of Binance and Head of Binance Labs, expressed enthusiasm for MyShell’s potential, stating:
“Binance Labs recognises the power of AI technology and has always wanted to support and back AI-powered consumer applications. We look forward to seeing MyShell develop a solid creator economy based on AI and crypto.”
MyShell operates as a decentralised AI platform, empowering creators to build AI agents or bots that users can integrate into various applications.
Unlike traditional AI platforms, MyShell is community-driven, allowing creators to fully own their creations while fostering an open-source environment.
This decentralisation ensures that no single entity controls the platform, promoting a fair and transparent ecosystem where creativity can thrive.
With a rapidly growing community of over 50,000 creators and reportedly more than one million registered users, MyShell is quickly becoming a prominent player in the AI space.
Users are actively developing AI tools like OpenVoice, a voice cloning program; MeloTTS, a multilingual text-to-speech (TTS) library; and Alice, an AI agent capable of thematic research, coding, and literature reviews.
The team behind MyShell includes experienced AI entrepreneurs and researchers from prestigious institutions such as MIT, Princeton, and Oxford.
Their expertise in developing cutting-edge algorithms and proprietary AI models positions MyShell at the forefront of AI innovation.
So, who are the founders?
MyShell is co-founded by three Chinese – Ethan Sun, Zengyi Qin and Rick.
As a co-founder of MyShell, Ethan Sun focuses on transforming traditional AI production.
He graduated from the University of Oxford with a BA in Mathematics and Computer Science.
Before MyShell, he co-founded ATP Club, an AI-driven fitness game platform, and held significant roles at Aibee Inc. and Ke Holdings Inc., contributing to advancements in VR and AI technologies.
On the other hand, Zengyi Qin, specialises in voice algorithm research.
He holds a PhD from MIT, where he focuses on multi-modal generative AI, particularly in speech and audio generation.
With a strong background in robotics, computer vision, and reinforcement learning, Qin has published over eight top-tier conference papers and contributed to notable projects like OpenVoice and JetMoE-8B.
His work positions him as a leading expert in developing advanced AI technologies.
Last but not least, Rick, who is a seasoned expert in AI product development and market strategies.
He co-founded a successful startup, developed a widely adopted AR SDK, and has held leadership roles in a prominent AI unicorn company.
Additionally, Rick is also a co-founder of ATP.Club.
His identity remains anonymous, reflected in his X (formerly Twitter) profile where his display image is an artwork by the pseudonymous street artist Banksy.
According to his X account, Rick is currently based in Tokyo, Japan.
One of MyShell’s key differentiators is its reward system. Currently, creators earn points based on the popularity and utility of their AI agents.
Introducing @myshell_ai ✅
— Famous (@Famous_999_) August 15, 2024
A Revolutionary AI Crypto Project backed by @BinanceLabs
MyShell AI is pioneering an AI consumer layer that bridges the gap between users, creators, and open-source AI researchers. Here's why you shouldn't miss their upcoming airdrop 👇
- Token… pic.twitter.com/zHVswbhlra
These points will eventually convert into $SHELL tokens, offering a more tangible incentive for creators.
This tokenization is a critical component of the upcoming airdrop, which aims to reward creators whose AI agents gain significant traction.
Consumers can also stake tokens on AI agents, generating income based on the performance of these agents.
MyShell Airdrop Confirmed for Q3 2024!
— Rote (@rotefeed) April 30, 2024
📌 TGE $SHELL Soon!
Profit Potential: $4.000-$12.500
Time: 10 min
Cost: 0$ (FREE)
Step-by-step strategy with video guides🧵👇 pic.twitter.com/qVfyvCPvim
This dual incentive structure ensures that both creators and users are fairly compensated for their contributions to the ecosystem.
The $SHELL token is the native ERC-20 token of the MyShell ecosystem, designed to facilitate transactions, grant access to premium features, and support creator initiatives.
The total supply of $SHELL is capped at 1,000,000,000 tokens, with a deflationary model to maintain scarcity and value.
The tokenomics involves various allocation categories, including Private Sale (26%), Advisors (3%), Team (17%), Partnership & Marketing (12%), Community Incentive (40%), and Liquidity (2%).
Tokens are distributed through different mechanisms: Private Sale and Advisor allocations are subject to cliffs and linear release schedules, while Community Incentive tokens are released seasonally to encourage engagement.
Users can obtain $SHELL through activities such as creating AI applications, participating in platform events, and contributing open-source models.
Circulation diagram of $SHELL
The flexible and dynamic distribution model ensures that the ecosystem remains vibrant and responsive to user contributions and market conditions.
MyShell’s innovative approach, combined with its robust incentivization mechanisms and strategic backing from Binance Labs, positions it as a significant player in the evolving AI and blockchain landscape.
MyShell operates on multiple blockchain networks, including Polygon and Binance’s opBNB, ensuring flexibility and security for its users.
The platform is also planning to launch its own Layer 2 blockchain by the end of the year, which is expected to provide a more tailored experience for creators and developers, allowing them to operate within a customised environment that caters specifically to AI development.
This multichain strategy reflects MyShell’s broader philosophy of openness and flexibility, ensuring that creators are not confined to a single ecosystem and can instead choose the most suitable platform for their needs.
MyShell’s mission is to democratise the creation and distribution of AI-powered applications.
Ethan emphasised the platform's transformative potential, describing MyShell as a builder of "composable and multimodal AI primitives with real use cases and broader adoption."
Ethan’s vision is to create an open ecosystem that revolutionises traditional AI production, with Binance Labs playing a crucial role in realising this vision.
The platform’s open-source model layer allows developers to easily adapt and enhance existing AI applications, fostering collaboration and transparency.
This collaborative approach is further supported by the AI creator forum, where creators can exchange ideas, share resources, and build unique AI apps together.
The platform also features an AI App Store, making it easier for consumers to discover and use advanced AI technology.
This store is expected to play a pivotal role in the broader adoption of AI-driven applications, enabling users to access a wide range of AI tools and services in a decentralised and user-friendly manner.
In March 2024, MyShell secured $11 million in pre-Series A funding, bringing its total funding to $16.6 million.
Fundraising
— RPB (@theRPbubble) June 26, 2024
MyShell successfully raised $16.6 million from leading funds such as DragonFly Capital, HashKey Capital, Delphi Ventures, OKX Ventures, Maven 11 Capital, and others. pic.twitter.com/8DAIR49uwr
The funding round was led by Dragonfly, with participation from prominent investors such as Delphi Ventures, Bankless Ventures, and OKX Ventures.
Notably, the round also attracted support from influential figures like Balaji Srinivasan and Illia Polosukhin.
@myshell_ai Phase 01 Testnet is Live.
Cost: Nothing ($0)
Raised: $11 million
Backed by Binancelab
This is the easiest testnet I`ve ever done, Don`t Fade!
Guide;
⚡️ Go to https://t.co/oETwsiwuzQ
⚡️ Sign up with your Email and verify.
⚡️ Connect your social accounts. pic.twitter.com/Q21HodYRQy
— KINGBEST 🍁🦾 (@__kingbest) May 4, 2024r/> a
The backing from Binance Labs, through its Incubation Program, is particularly noteworthy.
如何验证ZK指令的验证方式文章新鲜出炉!为了深入理解形式化验证技术是如何应用于zkVM(零知识虚拟机)之上的,本文将聚焦于单条指令的验证。
JinseFinance目前,比特币Layer2已经成为一股热潮,市面上自我定位为“比特币Layer2”的项目,据说已有数十家。
JinseFinanceAnkr 的最新版本 "Ankr Verify "将 KYC 合规性与零知识身份验证相结合,重新定义了 Web3 身份验证。该工具优先考虑用户隐私和合规性,在去中心化平台上提供无缝体验。Ankr Verify 采用创新方法,为政府认可的 Web3 用例开辟了途径,展示了 Ankr 对推动区块链技术发展的承诺。
Edmund但是,也许正是因为它总是受到攻击,而且 2019 年 5000 万美元的漏洞攻击也迫在眉睫,Upbit 对安全和风险的态度比大多数公司更加谨慎。
Snake为应对不断升级的威胁,Upbit 在经受 159,000 次网络攻击后强化了安全措施。
Hui Xin这一数字是 Upbit 的运营商 Dunamu 今天向国会科学、技术、信息、广播和通信委员会成员 Park Sung-jung 透露的。
Brian美国检察官告诉破产的加密货币交易所 FTX 及其创始人 SBF 的受害者与他们联系,探讨他们的合法权利并分享他们的故事。
dailyhodl前段时间,我们在 Aptos Movevm 中发现了一个严重的漏洞。
Numen Cyber Labs根据南华早报的报道,中国私营公司实施了一项对非同质化代币(NFT)去匿名化的举措......
Bitcoinist