Scry.info has confirmed strategic cooperation with LianAn Tech

作者:scry.info

——

Scry.info has confirmed strategic cooperation with LianAn Technology in recent days. They will expand a deeper cooperation in blockchain smart contract development, security auditing, formal verification and so on.

Chengdu LianAn technology is focused on blockchain security, based in Chengdu. It was established by Prof Yang xia and Guo Wensheng, and over 20 core members are Assist professor, postdoctoral, Ph.D. and post-graduate from overseas well-known universities and laboratories (CSDS, Yale, UCLA). The core technology is formal verification, which team used to provide security system for aerospace, military and other fields. The VaaS(Verification as a Service) created by LianAn team is the first formal verification platform to increase blockchain security, aiming to utilize formal verification theory and method to higher smart contract security and function.

In the accelerating environment of blockchain industry, many new participators have no experience and real application in technology security, which will cause high technology risk, result in token stolen, token missed, contract disrupted and other problems. Therefore, a formal data verification platform is in need to assist participators avoiding potential technology bugs and risks in this industry. By building mathematic model, LianAn technology utilized formal verification theory and method to provide reliable guarantee for developers, accelerate stable blockchain technology development.  

At the same time, SCRY.INFO is the world's first blockchain-based quantifiable data exchange platform for real data storage, validation, sharing, analysis and trading. Based on its built-in smart contracts, SCRY.INFO provides cluster-based smart data validation for distributed users across industries, as well as enables access, tools, transactions and sharing on the SCRY platform. In the future, Scry.info will encourage more institutions and individuals to develop their own DAPPs on protocol layer. This cooperation will also bring more reliable guarantee for Scry ecosystem, aiming for a better and complete Scry ecosystem.

Finally, both sides meet cooperation with high fitness in blockchain technology and concept. It is believed that with deeper cooperation, more communication will be realized in broader area and Scry will jointly develop with LianAn Technology, accelerate the development of the whole blockchain industry.


Scry.info与链安科技达成战略合作

日前,Scry.info与链安科技达成战略合作,双方将在区块链智能合约开发、安全审计、形式化验证等领域展开深度战略合作

成都链安科技有限公司,专注于区块链安全领域,总部位于成都。由电子科技大学杨霞教授和郭文生教授共同创建,团队核心成员由20多名来自海外知名高校和实验室(CSDS、耶鲁、UCLA)留学经历的副教授、博士后、博士、硕士组成。其核心技术为形式化验证,该团队使用此技术为航天、军事等领域的安全关键系统提供多年的形式化验证服务。其团队打造的VaaS(Verification as a Services)是世界上第一个提高区块链安全性的形式化验证平台,致力于利用形式化验证理论和方法,提高区块链平台和智能合约的安全性和功能性。

在现今区块链行业全面高速发展的大坏境下,很多新进参与者对技术安全没有经过长时间的积淀和应用,会面临很多非常高的技术风险,以至产生盗币、丢币、合约崩溃等问题。因此,行业迫切需要一个形式化数据验证平台来帮助参与者规避潜在的技术漏洞和风险,链安科技通过搭建数学模型,利用形式化验证理论和方法为开发者提供安全可靠的保障,推动行业高速可靠的发展。

与此同时Scry.info作为全球首个区块链可量化数据交易平台,旨在实现数据的储存,验证,共享,分析和交易。利用智能合约,对跨行业资源的分布式用户提供集群智能数据验证,并以智能合约的形式在平台提供调用,工具,分享和交易。未来,Scry.info将会鼓励众多的个人和团体在协议层上搭建自己的Dapp,此次合作也将为Scry的生态系统带来更可靠的安全性保障。致力于创建更加美好与完善的Scry生态系统。

最后,双方在区块链行业技术和理念的高度契合使得合作水到渠成,相信随着双方合作的不断深入,势必将展开更为广阔领域的交流与协作,共创发展契机,推动整个行业的蓬勃发展。


Scry.info 와  Lianan Technology 전략적 제휴 협약 체결

현재 Scry.info와  Lianan Technology 는 전략적 제휴로 블록체인 스마트 컨트랙트 개발,보안 검사,형식 검증 (formal verification) 등 영역에서 공동 발전할 예정이다.

 Lianan Technology 는 블록체인 보안기술 영역에 집중하여 발전하고 있으며 본사는 중국.청두에 위치되어 있다. Lianan Technology 는 UESTC (University of Electronic Science and Technology of China)의 양하(杨霞)교수님과 곽문생(郭文生)교수님께서 공동 창립을 하였으며 팀 멤버는 주로  CSDS,UCLA,YALE 에서 졸업된 부교수, 박사, 석사로 구성되어 있다.

 Lianan Technology 의 혁심적인 기술은 형식 검증(formal verification)으로 볼수 있으며 현재 우주항공, 군사영역중의 안전 필수 시스템(safety-critical system)에 형식 검증 서비스를 제공해주고 있다.  VaaS(Verufucation as a Services)는 세계 최초의 블록체인 보안성을 높이기 위해 개발된 형식 검증 플랫폼이며 형식 검증의 이론 및 실천으로 블록체인 플랫폼과 스마트 컨트랙트의 안전성 및 기능성을 높일 수 있다.

블록체인 기술이 급속으로 발전하면서 많은 참여자와 블록체인 기반으로된 신생기술이 탄생하고 있다.그런데 시장에서 우리가 쉽게 볼수 있는 많은 프로젝트는 풍부한 기술 개발 경험이 없기에 쉽게 기술적인 리스크와 부딪힐수 있어 컨트랙트 오류와 사용자 계좌,거래소 등 플랫폼에서 해킹을 당할 확률이 높아지고 있다.  Lianan Technology 에서 개발된 형식화 데이터 검증 시스템은 참여자 및 기술에서 잠복된 취약점과 리스크를 해결할 뿐만 아니라 수학적 모형 구성으로 형식 검증의 이론 및 실천에 의해 개발자에게 안전하고 신뢰할 수 있는 개발환경을 줄수 있다.

Scry.info는 세계 최초의 블록체인 수량화 가능한 데이터 거래 플랫폼으로서 실제 데이터에 대한 저장,검증,공유,분석 및 거래를 실현하기 위해 노력하고 있다.스마트 컨트랙트에 의해 복합기업의 리소스를 분포식된 사용자에게 스웜 인텔리전스(Swarm Intelligence) 데이터 인증을 제공해주고 있으며 스마트 컨트랙트 형식으로 플랫폼에서 도구 사용,호출,공유 및 거래를 진행할 수 있다.미래


Scry.infoはLianAn Technologyと戦略的パートナーシップを締結

先日、Scry.infoはLianAn Technologyと戦略的パートナーシップを締結しました。両社はこれからブロックチェーンスマートコントラクトの開発、セキュリティ審査、形式検証など多岐にわたって深みのある戦略的提携をします。

LianAn Technology社は本社を成都に立地し、ブロックチェーンセキュリティに専念している会社です。四川電子科学技術大学准教授の楊霞氏と郭文生氏二人で創立され、中堅チームは20名以上の海外名校(CSDS、Yale、UCLA)の准教授、博士後期課程修了者、博士、大学院生からなります。中核技術は形式検証です。同チームは長年をわたって航空、軍事などの分野でセキュリティ関係のシステムに形式検証サービスを提供します。同チームが開発したVaaS(Verification as a Service)はブロックチェーンの安全性を向上させる世界初の形式検証プラットフォームです。形式検証の理論やそのやり方を生かしてブロックチェーンプラットフォームやスマートコントラクトの安全性や性能を向上させることに取り組んでいます。

ブロックチェーン技術の高速発展の背景に、技術安全に長い経験や応用実績がない新規参与者が多いので、技術面のリスクが非常に高い局面に臨んています。仮想通貨の不正流出、紛失、スマートコントラクトの処理渋滞など様々な課題が起こっています。それで、業界は技術面のバッグやリスクを回避する形式検証プラットフォームに迫っています。LianAn Technology社は数学デモを構築し、形式検証の理論やそのやり方を生かし、開発者に安全性と信頼性の保障を提供し、ブロックチェーン技術の信頼性のある高速発展を促進します。

Scry.infoは世界初のブロックチェーン定量化可能なデータ取引プラットフォームで、真実データの保存、検証、共有、分析及び取引を実現することに取り組んでいます。スマートコントラクトを生かし、業界をまたぐ分散型ユーザーにクラスタ.スマートデータ検証サービスを提供します。また、スマートコントラクトの形でプラットフォームを通じて、流用、ツール、共有及び取引などのサービスも提供します。これから、Scry.infoは個人や団体がプロトコルレイヤーに自分なりのDappを構築するよう奨励仕組みを作ります。今回の提携はScryエコシステムにより信頼性の高い安全保障を齎しました。引き続きより理想的で完全的なScryエコシステムを構築することに取り組んでいきます。

最後、両社はブロックチェーン技術及びその理念における共通点が多いため、今回のパートナーシップが順調に締結できました。関係が深くなればなるほど、交流や提携の範囲が更に広くなっていき、共同で発展のチャンスを作り、業界の健全発展を推進します。