MetaTrust Labs' groundbreaking intelligent contract rating software, [MetaScore](https://www.metatrust.io/score), has officially integrated with the BeWater hackathon platform, ushering in a new era of software quality assessment for all participants. This transformative collaboration combines the power of data-driven investment and hackathon judging, revolutionizing how software projects are evaluated.

MetaTrust Labs, a pioneering provider of cutting-edge data analysis AI security solutions, is thrilled to announce the integration of its flagship product, MetaScore, with the esteemed BeWater hackathon platform. This groundbreaking partnership brings together the precision of code analysis algorithms and the dynamism of hackathon competitions, unleashing a new paradigm in software quality evaluation.

MetaScore represents a major leap forward in intelligent contract rating software. Leveraging state-of-the-art code analysis algorithms, it thoroughly assesses the quality and security aspects of software projects. Now, with its seamless integration into the BeWater hackathon platform, all participants' projects will automatically generate code quality and security visualization reports, derived directly from their GitHub repositories. This innovative feature empowers communities and institutions to identify the most exceptional projects within seconds, facilitating efficient decision-making and propelling outstanding talent to the forefront.
![integration.jpeg](https://storage.googleapis.com/metatrust/website/post/image/1687065571309_integratio.jpeg)

"We are tremendously excited to partner with BeWater and integrate MetaScore into their hackathon platform," said Andy, Senior Product Manager at MetaTrust Labs. "This collaboration empowers participants with invaluable insights into the quality and security of their software projects, enabling them to elevate their work and compete at the highest level. We firmly believe that this integration will revolutionize hackathon judging and drive the industry towards more data-driven evaluation practices."

BeWater stands as a renowned hackathon platform, known for fostering innovation and uniting talented individuals from diverse backgrounds. By integrating MetaScore, BeWater significantly enhances the hackathon experience, offering participants real-time feedback and objective assessments. This pivotal integration ushers in a new era of hackathon judging, where software quality evaluation is rooted in concrete data and sophisticated algorithms.

"We are thrilled to integrate MetaScore into our esteemed hackathon platform," said BeWater team. "MetaTrust Labs' expertise in data analysis and code evaluation perfectly aligns with our vision of promoting excellence in software development. With MetaScore, participants gain access to instant code quality and security reports, enabling them to refine their projects and gain recognition within the industry."

The partnership between MetaTrust Labs and BeWater sets the stage for a future where code-driven investment and hackathon judging become the standard. By harnessing the power of data analysis, these cutting-edge technologies offer participants and evaluators unparalleled insights into software projects, ensuring fair and efficient evaluations.

**About BeWater**

BeWater is the ultimate builder community based on the SOP management system. We built for open innovation challenges including hackathon, design contest, demo day and more. It serves cutting-edge fields and also connects traditional industries. BeWater engages builders with different skill sets to build a better future together.

**About Us**

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [Try MetaScore Now](https://www.metatrust.io/score)



MetaTrust Labs' intelligent contract rating tool, MetaScore, has officially integrated with the BeWater hackathon platform.

Next-Level Hackathon Judging: MetaScore Integration on BeWater Promises Instant Code Quality Insights

MetaTrust Labs successfully completed the smart contract audit for MUFEX and established strategic partnership.

MetaTrust Labs, a leading provider of Web3 AI security solutions, has recently concluded a comprehensive smart contract audit for MUFEX, an innovative decentralized exchange (DEX). This milestone has also paved the way for a strategic cooperation between MetaTrust Labs and MUFEX, aiming to deliver a heightened level of security and an enhanced trading experience for blockchain users.

The world is witnessing the rapid transformation brought about by blockchain technology. However, with this progress comes an escalating array of security threats. To tackle this challenge head-on, MetaTrust Labs and MUFEX have joined forces, capitalizing on their expertise and resources in Web3 security and DEX domains. Together, they aim to provide comprehensive solutions for the blockchain ecosystem.

MetaTrust Labs, renowned for its leadership in Web3 AI security, boasts a team of experts with extensive experience in the field. The company offers three security products: MetaScan, MetaScout, and MetaScore, designed to safeguard Web3 projects at both the application and physical layers. MetaScan is an automated smart contract security scanning tool that identifies potential vulnerabilities and provides repair suggestions. MetaScout is a real-time on-chain threat monitoring and defense tool, capable of detecting and blocking hacker attacks on Web3 projects. Lastly, MetaScore is a comprehensive Web3 application security assessment and ranking tool that furnishes users with trustworthy security indicators.

MUFEX, situated at the forefront of the cryptocurrency industry, is an innovative DEX that boasts several notable advantages. Notably, MUFEX's MLP liquidity pool significantly reduces slippage, offering precise and unparalleled trading opportunities. This cutting-edge feature enhances the overall trading experience, ensuring seamless execution and improving market efficiency—all with a commitment to delivering an excellent user experience. In addition to its technical prowess, MUFEX places great importance on exceptional customer service. The team consists of nearly 30 experienced entrepreneurs from well-known exchanges such as Binance, Bybit, Huobi, and MEXC. They possess the ability to redefine user engagement and unlock the limitless possibilities within the cryptocurrency industry.

MetaTrust Labs' professional team conducted an in-depth analysis and testing of MUFEX's smart contract code. Utilizing AI scanning technology and manual audit methods, they comprehensively evaluated and optimized the smart contract from multiple dimensions, including logic, function, security, and performance. The aim was to ensure that MUFEX's smart contract adhered to the highest security standards. As a result, the two parties decided to establish a long-term strategic cooperation relationship in the realm of Web3 security protection, thereby promoting the development of blockchain security and innovation.

Expressing his delight, Daniel, MetaTrust Labs' senior security officer, said, "We are delighted to cooperate with MUFEX and provide them with professional smart contract audit service. We believe that MUFEX is an innovative and forward-looking DEX with strong technical strength and an excellent team. We look forward to maintaining a long-term cooperative relationship with them and jointly providing more secure and reliable solutions for the Web3 ecosystem." 

DY, MUFEX's marketing director, also expressed excitement about the deepened cooperation, stating, "We are very grateful to MetaTrust Labs for providing us with high-quality smart contract audit service. They are leaders in the Web3 security field, possessing rich experience and professional technology. They not only helped us discover and fix potential vulnerabilities but also provided us with valuable suggestions and feedback. We believe that our cooperation will foster greater trust and support."

MUFEX is thrilled to announce the Mainnet Beta launch, ushering in a new era of seamless and secure cryptocurrency trading. This beta phase offers privileged users an exclusive chance to experience MUFEX's cutting-edge platform. With the official Mainnet launch approaching, MUFEX is set to revolutionize cryptocurrency engagement with advanced features, enhanced security, and an exceptional trading experience.

**About MUFEX** 

MUFEX is a groundbreaking decentralized perpetual trading exchange committed to delivering an excellent user experience. Through the use of ZKP technology, MUFEX ensures user privacy and asset security while enhancing overall trading performance and experience. Leveraging smart contract wallets, MUFEX provides a seamless registration and login process akin to Web2.0, eliminating the need for mnemonic phrases or private keys, all while guaranteeing the security of personal assets. MUFEX offers a trading experience similar to traditional centralized exchanges and employs an innovative MLP liquidity pool to minimize slippage, thereby enabling precise and unparalleled trading opportunities. By championing chat2Trade, MUFEX aims to make trading ubiquitous, supporting the widespread adoption of Web3. The platform introduces an industry-leading alliance system, surpassing conventional norms, and providing excellent customer service. 

**About Us**

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [MetaScan for FREE](https://app.metatrust.io/sign-up)

MetaTrust Labs successfully completed the smart contract audit for MUFEX and established strategic partnership.

MetaTrust Labs Partners with MUFEX to Enhance Web3 Security and Trading Experience

MetaTrust Labs and SyncSwap recently announced a partnership to collaborate extensively in the field of Web3 security and jointly advance the development of the zkSync ecosystem. This collaboration not only provides SyncSwap with professional project audit services, ensuring the security and integrity of its smart contract code, but also offers continuous security support and services.


SyncSwap is a seamless and efficient decentralized exchange (DEX) based on zkSync. Leveraging zero-knowledge proof technology, SyncSwap achieves low latency, low fees, high throughput, and strong privacy for decentralized transactions. SyncSwap supports various stablecoins and other tokens for trading on zkSync and provides the SyncSwap Move feature, enabling users to easily transfer assets between Ethereum and zkSync.

> Great working with MetaTrust. They are responsive, timely and detail oriented to provide insights and safety to our smart contracts. We look forward to moving together with them to build better products.

Said 0xnakato, Co-Founder of SyncSwap.

This partnership marks a significant breakthrough in the field of Web3 security and a beneficial exploration within the zkSync ecosystem. Both parties will continue to collaborate, contributing to the construction of a more secure, trustworthy, and efficient infrastructure for Web3.



### Professional Audit Services



Through MetaTrust's professional AI audit services, SyncSwap's smart contract code undergoes comprehensive security testing and assurance, receiving continuous security support and consultation. This sets a new benchmark in the field of Web3 security, providing a replicable model and standard for other projects.


### Zero-Knowledge Proof Practices 



By utilizing zkSync's zero-knowledge proof technology, SyncSwap achieves low latency, low fees, high throughput, and strong privacy for decentralized transactions. This represents a significant advancement within the zkSync ecosystem, providing users with an efficient and convenient trading experience, while offering other projects a reference for technical solutions and best practices.


### Advancement of the Web3 Ecosystem 


The collaboration between MetaTrust and SyncSwap also facilitates communication and collaboration within the Web3 security field and the zkSync ecosystem, offering a learnable collaboration model and platform for other projects. Both parties will share their resources, technology, and experience, contributing to the construction of a more secure, trustworthy, and efficient infrastructure for Web3.

The development of the Web3 security field and the zkSync ecosystem is crucial not only for the innovation and application of blockchain technology but also for the protection of users' assets and privacy. The partnership between MetaTrust Labs and SyncSwap provides a strong driving force and exemplary effect for both of these domains. It is believed that MetaTrust Labs and SyncSwap will continue to leverage their respective strengths, bringing further breakthroughs and advancements to the field of Web3 security and the zkSync ecosystem, while contributing more value and power to the Web3 industry and community.


#### About Us


At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [MetaScan for FREE](https://app.metatrust.io/sign-up)



SyncSwap, the biggest DEX on Zksync, has recently passed the security audit by MetaTrust Labs.

Securing the Path to Web3: MetaTrust Labs and SyncSwap Are Powering the zkSync Revolution

MetaTrust Labs recently released MetaScan v1.6 with integration of AI Analyzer engine and MetaStack framework to enhance smart contract security analysis. These improvements provide web3 builders with unparalleled visibility and recommendations to strengthen their projects. Here are details about the update.

## Feature Highlights

### AI Analyzer Engine

We have developed an innovative AI-based auditing engine for smart contracts. Unlike other companies relying solely on GPT models which often generate many false positives,  MetaTrust's engine combines GPT and static analysis. While GPT excels at recognizing code properties, it struggles with dependency analysis. Static analysis provides accurate dependency analysis but lacks GPT's code understanding.

MetaTrust's hybrid engine leverages both techniques. Details will be released in an academic paper. The engine is integrated into MetaTrust's MetaScan service.

The engine analyzes logic vulnerabilities previously unauditable by machines according to a ICSE'23 Web3 bugs paper. In tests on Web3 bugs contracts, the engine identified vulnerabilities that enabled disruption of share minting and a past hack. The engine continues to improve to provide the best results.


👉 Try MetaScan for FREE  https://app.metatrust.io/sign-up
![Untitled.png](https://storage.googleapis.com/metatrust/website/post/image/1685935019928_untitled.png)


### MetaStack Integration

MetaScan's initial integration with the MetaStack framework provides greater visibility into the project's source code architecture.

Leveraging this integration, IP Analyzer tools can now identify and understand powerful smart contract libraries and patterns that a project leverages, and how they are used by initiatives. 
This data is important for building an overall picture of the project's capabilities and interdependencies. By reviewing this information, MetaScan can make recommendations to optimize the security state of the project, such as recommending alternative libraries or best practices for using templates. determined.

![20230603-155225.png](https://storage.googleapis.com/metatrust/website/post/image/1685935067591_2023060315.png)

This integration is an important step forward in giving builders the tools they need to design more secure Web3 projects. These innovations demonstrate MetaScan's commitment to providing the most comprehensive security scanning solutions for Web3 projects and its commitment to harnessing the most advanced technology to achieve this goal.

With the release of MetaScan v1.6, MetaTrust Labs continues its mission to provide web3 developers with best-in-class security solutions. By integrating its proprietary AI auditing engine and MetaStack framework into MetaScan, MetaTrust offers unparalleled analysis of smart contract risks and architecture. These enhancements give builders actionable recommendations and visibility to strengthen their projects' security.

Through constant innovation, MetaTrust Labs delivers cutting-edge technology and insights web3 developers can trust. We invite you to experience the power of MetaScan v1.6 by signing up for a free trial at [metatrust.io/metascan](http://metatrust.io/metascan).

This is a major milestone for us, and we will continue enhancing MetaScan by integrating new proprietary technology to provide the most comprehensive, developer-focused smart contract security platform.

💡 Signup for a free trial at https://app.metatrust.io/sign-up



## About Us

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [MetaScan for FREE](https://app.metatrust.io/sign-up)

MetaTrust Labs recently released MetaScan v1.6 with integration of AI Analyzer engine and MetaStack framework to enhance smart contract security analysis. 

MetaScan v1.6: Unparalleled Visibility and AI Security for Smart Contracts

We are excited to announce that MetaTrust Labs has developed an innovative GPT-based auditing engine, specifically designed to analyze logic smart contract vulnerabilities that were previously deemed un-auditable by machines, as per the [ICSE'23 Web3Bugs paper](https://github.com/ZhangZhuoSJTU/Web3Bugs/blob/main/papers/icse23.pdf).

In contrast to other companies that solely rely on GPT for scanning, [resulting in a high number of false positives](https://blog.trailofbits.com/2023/03/22/codex-and-gpt4-cant-beat-humans-on-smart-contract-audits/), we believe that the true potential of GPT can be fully harnessed when combined with a powerful static analysis tool like MetaScan. Specifically, while ChatGPT excels at reading code and recognizing its properties, it struggles to effectively analyze the control and data dependencies of key variables, often misidentifying patched code as vulnerable. On the other hand, static analysis may not be adept at intelligently recognizing code scenarios or properties, but it provides accurate dependency analysis and formal verification. To leverage the strengths of both GPT and static analysis, we have designed a novel architecture for a GPT-based scanning engine (details to be introduced in a forthcoming academic paper). This engine has been seamlessly integrated into MetaTrust's MetaScan service, try for free here: https://app.metatrust.io

![ai-engine-01.jpeg](https://storage.googleapis.com/metatrust/website/post/image/1685771598446_aiengine01.jpeg)

We have tested this AI scan engine on various Web3Bugs. One example is https://github.com/metatrust-demo/LogicBug-Prepo, which was audited on [Code4rena](https://github.com/code-423n4/2022-03-prepo). As depicted in the following screenshot, our engine was successful in detecting a [high-risk logic vulnerability](https://code4rena.com/reports/2022-03-prepo#h-02-first-depositor-can-break-minting-of-shares) that allowed the first depositor to disrupt the minting of shares.

![ai-engine-02.png](https://storage.googleapis.com/metatrust/website/post/image/1685771608430_aiengine02.png)

Another example is from a [past attack incident](https://twitter.com/lunaray_sec/status/1580499509435457536) that led to a BSC token named [ATK](https://bscscan.com/address/0x9cb928bf50ed220ac8f703bce35be5ce7f56c99c#code#L706) suffering a $127k loss on October 12, 2022. By scanning this vulnerable contract with MetaScan, our AI engine was able to effectively pinpoint the following vulnerable function:

![ai-engine-03.png](https://storage.googleapis.com/metatrust/website/post/image/1685771617799_aiengine03.png)

The application of AI in blockchain security is exciting. We believe that combining GPT and static analysis with AI technologies can detect potential vulnerabilities that human auditors find difficult to identify. Although AI will not completely replace manual audits, it can greatly enhance audit efficiency and coverage. We are working to build a reliable AI system to protect blockchain users and help build a safer cryptocurrency ecosystem. While there is still a long way to go, the future is promising. We firmly believe that the blockchain industry will continue to benefit from the development of AI.

AI has huge potential in the field of blockchain security. By combining GPT and static analysis with AI technologies, we can detect potential vulnerabilities that human auditors find difficult to identify.  We are constantly improving our AI scanning engine to provide the best results, working to build a reliable AI system to protect on-chain assets and project security. The AI scanning engine of MetaScan is an important step towards achieving this goal.

---

👉 Try MetaScan for FREE now: <https://app.metatrust.io/sign-up>.

**About Us**

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [MetaScan for FREE](https://www.metatrust.io/metascan)

MetaTrust Labs has developed an innovative GPT-based auditing engine, specifically designed to analyze logic smart contract vulnerabilities that were previously deemed un-auditable by machines

MetaTrust's AI Scan Engine: Harnessing the Power of GPT and Static Analysis

![map_poster.png](https://storage.googleapis.com/metatrust/website/post/image/1685771394596_map_poster.png)

The MAPO Hackathon 2023 Demo Day, held in Seoul on May 31st, has officially commenced, and MetaTrust Labs, as one of the co-sponsors, attended this grand event.

At the MAP Protocol Hackathon, TY, the Chief Marketing Officer of MetaTrust Labs, delivered a keynote speech on Web3 security. As a security partner of MAP Protocol, MetaTrust provided financial support of at least $10,000 for the winning projects of the hackathon. As a security team with a background from Nanyang Technological University of Singapore, MetaTrust Labs possesses strong technical capabilities and extensive security experience.

The collaboration between MetaTrust Labs and MAP Protocol aims to provide comprehensive security support and audit services. Firstly, MetaTrust ensures that projects and protocols within the MAP ecosystem meet security standards by providing audit and security support. Secondly, MetaTrust Labs offers validator node support and conducts full-chain security monitoring to ensure the security of the entire network and the MAPO relay chain, enabling timely detection and handling of potential risks.

In terms of cross-chain transactions, MetaTrust Labs cooperates with MAP Protocol to provide blacklist and whitelist support, ensuring the secure transfer of assets across different chains. Additionally, when tokens are being transferred across chains, MetaTrust Labs’ MetaScan instant scanning feature and MetaScout monitoring tool ensure the security of transactions and contract execution.

In addition to security assurance, MetaTrust will integrate the MetaScan smart contract scanning tool and MetaScout automated security monitoring tool into MAP Protocol’s development toolkit. These tools will provide developers with a more comprehensive security solution, enabling them to identify and address potential security issues, thereby enhancing the overall security and reliability of the ecosystem.

Through the collaboration with MAP Protocol, MetaTrust Labs is dedicated to driving the development of security technology in the blockchain field. They will continue to contribute to the security and trustworthiness of the ecosystem and cooperate with more blockchain projects to jointly build a secure and reliable blockchain future.

If you require further information regarding the collaboration between MetaTrust Labs and MAP Protocol or wish to interview representatives from MetaTrust, please feel free to contact us. We look forward to further co-building a more secure Web3 ecosystem with you.

---

**About Us**

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [MetaScan for FREE](https://www.metatrust.io/metascan)

Proud to provide security expertise and funding to empower developers building on MAP Protocol. Igniting innovation while prioritizing trust and safety.

Igniting the Innovation: MetaTrust Labs Empowers MAP Protocol Hackathon with Security Expertise and Grant Sponsorship

MetaTrust Labs recently completed the first formal verification of Uniswap V3 Swap protocol in response to the request from Xcalibyte. The verification rigorously analyzed Uniswap's source code and mathematically proved it correctly implements the intended financial model described in the Uniswap V3 whitepaper.

![UniSwap-v3.png](https://storage.googleapis.com/metatrust/newsroom/20230513_uniswapv3.png)

To verify Uniswap's complex code and model, MetaTrust Labs leveraged an innovative analysis tool they developed. Here is how the verification was done according to the team.

As part of our research on Web 3.0 security, we conducted a formal verification of a large portion of Uniswap V3.

We first constructed a formal model of the Uniswap V3 source code using the specification language supported by our verification tool.

Second, we furnished the Uniswap formal model with properties it must satisfy, using the logic defined by our tool. These properties formalize the financial model described in the Uniswap V3 white paper, involving complex mathematical concepts like discrete integrals.

Due to the sophisticated nature of Uniswap V3's financial model, standard verification tools cannot prove the Uniswap code correctly represents its mathematical model. Our tool uses cutting-edge verification techniques and new mechanisms to specify and verify such a complex system.

Technically, the tool employs Separation Logic enhanced with Data Refinement to enable automatic verification, all developed using the Isabelle/HOL theorem prover. Using a theorem prover ensures the tool itself has been fully formalized mathematically.

Compared to existing methods, first, the theorem prover provides a minimal trusted base for verification at the state of the art. Second, logic formalized in an expressive theorem prover allows our tool to specify and verify high-level properties of financial models, like the discrete integral described in the Uniswap V3 white paper.

The success highlights the value of custom verification tools in auditing sophisticated DeFi systems. Mathematically-grounded verification is enabling the next generation of trusted and widely used DApps.

"We are proud to provide the analysis capabilities instrumental in this significant achievement. Formal verification at this level sets a new standard for transparency and reliability in blockchain software," said David from MetaTrust Lab.

The first formal verification of Uniswap V3 Swap protocol is a breakthrough for the DeFi ecosystem and a model for future collaborations, and this has given Uniswap users more reason to trust and adopt its platform.

MetaTrust Labs has successfully completed the first formal verification of Uniswap V3 Swap protocol in response to a request from Xcalibyte. The rigorous analysis of Uniswap's source code and mathematical proof demonstrate that it correctly implements the financial model described in the Uniswap V3 whitepaper. MetaTrust Labs used an innovative analysis tool to verify the complex code and model, setting a new standard for transparency and reliability in blockchain software. This achievement highlights the value of custom verification tools in auditing DeFi systems and will likely lead to increased trust and adoption of the Uniswap platform.

Mathematically-Proven: Uniswap V3's Formal Verification by MetaTrust Labs

MetaTrust Labs, a web3 AI security solution service provider firm focused on decentralized finance (DeFi) and web3 infrastructure, announced a strategic collaboration with Shib Original Vision, a community of equal opportunity to promote the original vision of decentralized cryptocurrencies. The partnership aims to boost mainstream understanding and participation in DeFi through community building, platform integration, and smart contract auditing services.

![SHIB.jpeg](https://storage.googleapis.com/metatrust/newsroom/20230513_shib.jpeg)

MetaTrust Labs has a proven track record of incubating and accelerating top DeFi and web3 projects, as well as providing AI audit services for decentralized protocols. They offer fast, accurate, and cost-efficient solutions through every stage of the software development lifecycle to help builders develop secure Web3 applications with ease.

Shib Original Vision, on the other hand, was established to continue the core values of inclusiveness, decentralization and shared empowerment initially promoted by SHIB.

Their vision is to spread knowledge regarding decentralized currencies, privacy, finance and other Web 3.0 technologies through inspiring content targeted at mainstream audiences.This collaboration brings together MetaTrust Labs’ DeFi and web3 experience with Shib Original Vision’s token equality orientation. Both teams see an opportunity to expand mainstream access to decentralized finance through community building and platform integrations. The partnership focuses on 2 key points:

1. Smart Contract Audit

MetaTrust to provide audit services for Shib Original Vision’s protocol and applications. This security measure will help safeguard users and provide peace of mind for those interacting with Shib Original Vision’s platforms.

2. Platform Collaboration

MetaTrust and Shib Original Vision to explore ways to directly link their platforms, providing new utility and access avenues for user engagement across ecosystems. This may include promotion of Shib Original Vision’s updates within MetaTrust’s community and events.

“We believe this collaboration with Shib Original Vision will significantly contribute to mainstream understanding and adoption of AI secruity solutions. By providing smart contract audit services and platform integrations, we can onboard more people into decentralized finance in an inclusive and secure way,” says Yang Liu, CEO of MetaTrust Labs.

“This partnership helps progress our shared goal of empowering people through decentralized knowledge, technologies, and enhanced AI security practices.” says an anonymous representative of Shib Original Vision.

With this collaboration, MetaTrust Labs and Shib Original Vision have pioneered an important effort to expand mainstream DeFi participation. Their combined expertise and community reach represent a significant win for driving inclusiveness, security, and adoption of decentralized economies worldwide. Overall, this partnership signifies a milestone in cultivating an informed and empowered community.

---

**Try [MetaScan](https://app.metatrust.io/sign-up) for FREE now!**

Twitter: @[MetaTrustLabs](https://twitter.com/MetatrustLabs)

Website: [metatrust.io](https://metatrust.io/)

MetaTrust Labs reached partnership with Shib Original Vision, aiming to boost mainstream understanding and participation in DeFi through community building, platform integration, and smart contract auditing services.

MetaTrust Labs X Shib Original Vision: Drive Inclusion and AI Security in DeFi

We are thrilled to announce the release of MetaScan version 1.4.0, which brings a host of new features and improvements to our users. 

![Untitled](https://storage.googleapis.com/metatrust/newsroom/20230315001.png)

👉 Try out MetaScan for free at [https://app.metatrust.io](https://app.metatrust.io)

This latest version of our security analysis platform leverages cutting-edge AI technology to offer users an extensive range of security insights. MetaScan is designed to automatically identify potential vulnerabilities in the smart contract code before any harm is done. The integration of AI further enhances the this ability by offering contextual description of the vulnerabilities, detailed remediations and even PoC code snippets. 

# Feature Highlights

## AI Suggestion Offers Contextual Insight for Security Vulnerabilities

The new AI Suggestion feature is an exciting addition to our platform. This feature provides users with AI-generated insights to help them understand the vulnerabilities present in their code. By contextualizing the vulnerability within the code, the AI-generated information recommends remediations and provides code examples, including “Prove of Concept” code snippets showing potential exploitations of the vulnerabilities.

![AI Suggestion features offers contextual description and remediation for the detected vulnerability](https://storage.googleapis.com/metatrust/metatrust/newsroom/metascan-1.40-ai-suggestion.png)

AI Suggestion features offers contextual description and remediation for the detected vulnerability

This innovation is just the beginning of our AI integration to enhance our automated security analysis of smart contracts. We are thrilled by the potential of AI and excited to explore the technology’s innovative applications within our platform, ultimately providing our users with even greater value.

## Engine Optimization for Security Prover

The underlying engine of Security Prover has been enhanced for stability. More importantly, we have added the automatic contract scanning capability that eliminates the need for manual test functions when scanning smart contracts using built-in rules. The system will automatically generate transactions for contracts, and detect vulnerabilities using the symbolic execution process.

## Code Quality Analyzer Detects Coding Convention Issues

We have introduced a brand new scan engine, the Code Quality Analyzer in this release, which detects issues related to coding style and conventions. We know that improving code quality not only makes code easier to work with, but it also improves security. With this new feature, our users can address any existing code issues and create better security practices for the future.

## Support for Importing Repositories from GitLab

With this latest upgrade, our platform has extended its capabilities for users to import repositories from GitLab while creating projects, providing new ways for users to get started with their security analysis. The integration process of GitLab is similar to that of GitHub, permitting a hassle-free and straightforward experience.  Additionally, our team has ensured enhanced performance when loading and selecting repositories from both GitHub and GitLab accounts.

## Redesigned Project Summary Panel

We have redesigned the summary panel so that it provides an overview of the scan results in three distinct categories: vulnerability, code quality, and code duplication. The panel reflects the issues detected in each category and has been designed for ease of use. With a concise summary and well-defined categories, users can quickly find the information they need to understand the results of each scan.

![Redesigned project summary panel provides an overview of a project’s vulnerabilities, code duplication and code quality](https://storage.googleapis.com/metatrust/metatrust/newsroom/metascan-1.4-project-summary.png)

Redesigned project summary panel provides an overview of a project’s vulnerabilities, code duplication and code quality

At MetaScan, we believe that the security of the Web3 community is of paramount importance. The release of MetaScan 1.4 marks yet another milestone in our journey to provide our users with advanced and reliable security solutions. With the integration of AI technology, superior scan engines, and unparalleled security analysis capabilities, we are confident that MetaScan 1.4 will deliver even more value to our users, enabling them to stay one step ahead of potential threats. We remain committed to providing top-notch security solutions through innovation and continuous development of new features that enhance the safety and security of the Web3 community.

---

➡️ Signup for a free trial at [https://app.metatrust.io/sign-up](https://app.metatrust.io/sign-up)


MetaScan version 1.4.0 releases a host of new features and improvements. It now leverages cutting-edge AI technology to offer users an extensive range of security insights. MetaScan is designed to automatically identify potential vulnerabilities in the smart contract code before any harm is done. The integration of AI further enhances the this ability by offering contextual description of the vulnerabilities, detailed remediations and even PoC code snippets. 

MetaScan Version 1.4 Launches with AI Integration, Paving the Way for Enhanced Security Insights

![metatrust-bingx.jpeg](https://storage.googleapis.com/metatrust/website/post/image/1685411618904_metatrustb.jpeg)

[MetaTrust Labs](https://metatrust.io/) (short for “MetaTrust”), founded by the globally renowned research team in Web3 developer security tools, is pleased to announce it has entered into a strategic partnership with [BingX](https://bingx.com/en-us/) . This partnership aims to provide high-quality security audits and operation , as well as comprehensive security and compliance solutions in the global Web3 industry.

Established in 2018, BingX is a leading crypto exchange that offers spot, derivatives, copy trading, and grid trading services to more than 100 countries and regions worldwide with over 5 million users. With user trust and platform transparency as the top priority, BingX continues to connect users with expert traders and the platform in a safe, leading, and innovative way.

MetaTrust offers automated security tools and smart contract code audit services that can provide pre-security and compliance in the development lifecycle, achieving deep security scanning and dynamic protection. These accurate, efficient, and easy-to-use services provide developers and project team -round and three-dimensional security empowerment.

In addition to providing audit services for BingX’s listed projects and investment portfolio, MetaTrust also offers an automatic security operations center which makes security management more effective in real time. This also helps to detect and address potential systems security vulnerabilities, provides effective security solutions and recommendations. BingX has expressed high praise for MetaTrust’s professionalism and expertise in the area of security auditing and operations.

This partnership between MetaTrust and BingX is an important milestone for both companies. We will work together to protect the security of users’ assets and data and make positive contributions to the development of digital currencies. And we are looking forward to more opportunities for cooperation in the future and will continue to provide better security services.

**About MetaTrust**

MetaTrust Labs is born to become the trust Layer for Web3 BUIDL. Leveraging its top-notch R&D capabilities, MetaTrust aims to deliver a fully automatic security solution through the software development lifecycle to help builders to develop secure web 3 applications.

Website: [https://metatrust.io](https://metatrust.io/)

Twitter: [https://twitter.com/MetatrustLabs](https://twitter.com/MetatrustLabs)

Email: ty@metatrust.io

MetaTrust Labs is pleased to announce it has entered into a strategic partnership with BingX . This partnership aims to provide high-quality security audits and operation , as well as comprehensive security and compliance solutions in the global Web3 industry.

MetaTrust Labs Announces Strategic Partnership with BingX

In a groundbreaking move, MetaTrust Labs, a provider of Web3 AI security tools and code auditing services, has set the Web3 security field abuzz by officially open-sourcing its AI security engine. This marks the first open-source AI security engine in the Web3 security domain, a significant development poised to have far-reaching implications for developers and the entire Web3 ecosystem, injecting fresh vitality into the realm of security.


## The Open Sourcing of GPTScan AI Engine – Pioneering Breakthrough

MetaTrust Labs’ decision to open source the GPTScan AI engine is a momentous step forward. The focus of this open-source initiative lies in the release of GPTScan’s rule set and custom rule scanning capabilities. The open sourcing of its rule set will provide developers with valuable references for custom rule development, while the custom rule scanning feature empowers developers and security analysts to create, modify, and implement their own detection rules.

The open sourcing of the GPTScan AI engine presents developers with a unique opportunity, ushering in a new era for Web3 developers, granting them greater flexibility, speed, and precision:

1. Personalized Security Solutions: Developers can tailor and adjust the AI security engine’s rules and algorithms to meet the specific needs of their projects. This means they can create security rules tailored to the requirements of particular applications and smart contracts, thus better safeguarding their projects against security threats.
2. Accelerated Development Processes: The automation features of the AI security engine and the open-sourced rules will enhance the efficiency of security audits, reducing development cycles and enabling faster deployment of Web3 applications to the market.
3. Reduced Security Risks: The open sourcing of the AI security engine enables developers to more accurately detect potential vulnerabilities and threats. Through open rules customization, overall project security levels can be heightened.
For developers, the open sourcing of the GPTScan AI engine not only provides greater freedom, security, and efficiency but also reduces development costs while enhancing project security and competitiveness. This will undoubtedly encourage more developers to actively engage in blockchain and Web3 projects, driving rapid iteration and innovation within the industry.

Security has long been a critical concern in the Web3 industry. Now, with the open sourcing and widespread application of AI engines, the development and application security of smart contracts are set to see significant improvements, making the entire ecosystem more robust. Soon, we can expect more investments, innovations, and collaborations to flourish within the Web3 industry as key technologies find new applications.

Liu Yang, co-founder of MetaTrust Labs, expressed pride in the milestone decision to open source the GPTScan AI engine, stating, “We are particularly proud of our decision to open source the GPTScan AI engine. This move not only provides developers with more custom rule references but also opens the door to greater collaboration and co-innovation for the entire industry.”

It is clear that the open sourcing of the AI security engine will drive progress across the entire Web3 security landscape. More developers and security analysts will have access to reference rules and custom rule creation, enhancing the accuracy and depth of vulnerability detection. This is crucial for identifying and mitigating potential threats, helping to reduce the exploitation of vulnerabilities and the occurrence of security incidents. This positive security revolution will not only improve Web3 security but also enhance trust and credibility in blockchain technology on a global scale.

Try GPTScan AI Engine Now: app.metatrust.io

Detailed paper about the open-source AI engine: https://arxiv.org/abs/2308.03314

Find more on Github: https://github.com/MetaTrustLabs/GPTScan  


## Open Sourcing Falcon Static Engine – New Rules, Higher Security

Falcon, another powerful static scanning engine within MetaTrust Labs’ security scanning platform, MetaScan, has been open-sourced. Built upon Slither, Falcon inherits Slither’s robust features while introducing numerous enhancements and extensions. In this open-source release of Falcon, MetaTrust Labs has revamped the existing 87 rules, providing more precise and efficient vulnerability scans, thus reducing false positives and false negatives. Additionally, Falcon introduces over 30 unique rules, covering:
- Simplified Price Manipulation Attack Detection Rules: These assist developers in identifying potential price manipulation risks.
- AI Scanning Rules: Leveraging artificial intelligence technology to further enhance contract security detection.
- Centralized Function Detection Rules: These help uncover centralized elements within contracts, identifying potential backdoor risks.

The open sourcing of the static engine Falcon will provide developers with more referenceable rules, making it easier and more efficient for developers to discover and rectify vulnerabilities in smart contracts, ultimately improving code security.

Try Falcon Engine Now: app.metatrust.io

Find more on Github: https://github.com/MetaTrustLabs/falcon-metatrust


MetaTrust Labs’ decision to open source the GPTScan AI engine and the Falcon static engine will encourage more blockchain developers to actively participate in enhancing and innovating ecosystem security. Undoubtedly, open-source tools like the GPTScan AI engine will help set higher security standards and best practices within the Web3 industry, fostering greater trust and viability for various sectors and domains. This will further drive the broadness and diversity of blockchain ecosystem development.

Open sourcing is an evolving and growing process. With the advancement of open sourcing AI security engines, global developers and communities will witness the continual breakthroughs and development of blockchain technology. We will continue to closely monitor this important development and its transformative effects.

**About Us**

At MetaTrust, our primary focus is on creating a secure infrastructure that caters to the needs of developers in the WEB 3.0 space. We offer an array of AI-Driven automation tools and security services to assist Web3 developers and project stakeholders in achieving a secure development environment.

[Website](https://www.metatrust.io/) || [Twitter](https://twitter.com/MetaTrustLabs) || [Telegram](https://t.me/metatrustlabs) || [Try AI Engine for FREE](https://app.metatrust.io/sign-up)

This marks the first open-source AI security engine in the Web3 security domain, a significant development poised to have far-reaching implications for developers and the entire Web3 ecosystem

The First in The Industry, MetaTrust Labs’Open-Source AI Engine Revolutionizes Security

Newsroom