從誕生至今，形式化驗證（Formal Verification）方法一直與“小眾、冷門”等字眼掛鉤。有人說形式化驗證方法是一種“軍用級別”的防黑客手段，更是為這項技術增添了一絲神祕感。 究竟什麼是形式化驗證

本文來自全天候科技，閱讀更多請登陸 www.awtmt.com 或華爾街見聞APP。 支付寶新推出的健康保險服務——“相互保”受到使用者熱捧，螞蟻金服公佈的資料顯示，“相互保”上線後短短9天時間內，使用

【編者按】商業保險公司需要再經營理念、險種設計上進一步深化，實現和基本醫保在保障範圍上的互補，加強雙方在更深層次的銜接，充分發揮商業保險的補充功能，實現共贏。同時要改變傳統銷售方式，採用多樣化的銷售模

首屆中國國際進口博覽會11月將在滬舉辦，預計將吸引來自全球130多個國家和地區的2800多家企業攜帶展品“同臺競技”，大型展會上的風險如何防範?專業的保險設計不可或缺。 記者瞭解到，根據中國國際進口博覽局與中國太

炙手可熱的區塊鏈技術正在加速與保險業融合。繼近日眾安保險力推保險產品融入區塊鏈之後，市場再爆民生人壽兩年投資3000萬元正在發展區塊鏈技術。北京商報記者瞭解到，2016年以來，有越來越多的保險公司涉入區塊鏈領

本文盤點了互助行業的“老四家”——壁虎互助、康愛公社、e互助、夸克聯盟這幾家平臺，對比如今“老四家”平臺的發展狀況，分析其核心競爭力所在。 “所有的顛覆都是一種迴歸”，現壁虎互助創始人李海博評價網

九個億財經訊息——近日，在Joe Rogan的私人部落格上，美國著名的創作型歌手Shooter Jennings就基於以太坊的PeepETH和Joe Rogan展開了激烈的討論，並且同意任何人在沒有得到審查的情況下

【編者按】服務方的強烈弱勢是健康險的非營利性經營模式落入的一大陷阱，如果通過租用其他保險公司的醫療網進場，在與醫療機構談判上又完全沒有優勢的話，那麼將會喪失了控費的可能。從而導致大量逆選擇使用者進場

宣告：本系列資料分析文章每天更新一次，資料來源包括巴位元app、blockchain.info、alternative.me、bitinfocharts.com、etherscan.io、spider

案例一:上海保交所區塊鏈保險服務平臺 案例介紹:“保交鏈”是上海保險交易所於2017年9月正式推出的區塊鏈保險服務平臺。這個平臺獨立研發了Golang國密演算法包，在電子保單存證場景中可

上週，首汽集團旗下共享汽車平臺GoFun在產品升級釋出會上，公佈了一個重要資訊，就是GoFun將引入區塊鏈數字資產“能量方塊”，用車即挖礦，這也被認為是首汽集團對於區塊鏈業務的試水。 圈內人想必秒懂，“能

近日，“相互保”火了，短短3天時間就圈粉330多萬，但很多人未必真的瞭解“相互保”。 不少網友就好奇，“平時1毛錢，大病變成30萬？”那麼，“相互保”屬於什麼保險？跟網路上的互助平臺有啥區別？能替代重大疾病

許多人可能已經質疑了區塊鏈的總體有效性，特別是以太坊的有效性。一些人可能在好奇心中走得更遠，遇到了許多奇特的特性，例如分散、透明、沒有中介的信任和黑客抵抗。這很了不起，不是嗎?的確如此，但是…… 在目前的狀

回顧近期智慧醫療領域的新聞，巨頭們的動作不斷。 去年7月，阿里釋出“DoctorYou”AI系統，主要應用於醫學影像診斷；去年8月，騰訊釋出AI醫學影像產品“覓影”，用於早期癌症診斷；今年9月，英

相互保模式 這幾天被支付寶推出的相互保模式刷屏了，聽說有點顛覆性於是去了解了下。 首先看看加入條件，還是有點門檻，芝麻分650及以上的螞蟻會員（60歲以內）可0元加入，享受包括惡性腫瘤在內的100種大病保障。