2025年區(qū)塊鏈智能合約形式化驗證知識產(chǎn)權協(xié)議本協(xié)議由以下雙方于2025年[具體日期]在[具體地點]簽署：甲方：[甲方全稱]，一家根據(jù)[甲方注冊地]法律設立并存續(xù)的[公司類型]法人實體，其注冊地址位于[甲方注冊地址]。乙方：[乙方全稱]，一家根據(jù)[乙方注冊地]法律設立并存續(xù)的[公司類型]法人實體，其注冊地址位于[乙方注冊地址]。鑒于：1.甲方擁有在區(qū)塊鏈技術領域，特別是在智能合約開發(fā)與應用方面的專業(yè)知識和經(jīng)驗。2.乙方擁有在形式化驗證技術，特別是應用于軟件和代碼邏輯驗證方面的專業(yè)知識和經(jīng)驗。3.雙方有意合作，共同開展針對區(qū)塊鏈智能合約的形式化驗證技術的研發(fā)、測試與應用項目（以下簡稱“合作項目”）。4.為明確雙方在合作項目過程中及完成后產(chǎn)生的知識產(chǎn)權的歸屬、使用、許可和其他相關事宜，保護各方的合法權益，促進合作項目的順利進行，依據(jù)相關法律法規(guī)，雙方經(jīng)友好協(xié)商，達成協(xié)議如下：第一條定義與解釋除非本協(xié)議上下文另有明確說明，下列詞語具有以下含義：1.1形式化驗證：指運用數(shù)學方法、邏輯推理和專用工具，對智能合約的代碼邏輯、行為規(guī)范或安全性屬性進行嚴格的、可證明的檢查和確認，以驗證其是否符合預定要求或是否存在設計缺陷、安全漏洞等。1.2區(qū)塊鏈智能合約：指部署在區(qū)塊鏈網(wǎng)絡上的、自動執(zhí)行合約條款的計算機程序代碼，通常使用Solidity、Vyper等語言編寫。1.3合作項目：指甲乙雙方根據(jù)本協(xié)議約定共同開展的，涉及區(qū)塊鏈智能合約形式化驗證方法研究、工具開發(fā)、案例分析、產(chǎn)品實現(xiàn)等活動的全部工作內(nèi)容。1.4知識產(chǎn)權：指根據(jù)適用法律國家或地區(qū)法律可獲得的任何工業(yè)產(chǎn)權（包括但不限于專利權、實用新型權、外觀設計權）、著作權（版權）、商標權、商業(yè)秘密、技術秘密、專有技術以及與上述權利相關的任何其他權利和權益。1.5背景知識產(chǎn)權：指各方在合作項目開始前已經(jīng)擁有或控制的，以及在本協(xié)議有效期內(nèi)非因履行本協(xié)議義務而獨立產(chǎn)生的任何知識產(chǎn)權。1.6協(xié)議生效日：指本協(xié)議經(jīng)雙方授權代表簽字并加蓋公司印章（或根據(jù)適用法律要求的其他簽署方式）的日期。1.7項目完成日：指合作項目約定的各項任務按計劃完成并通過雙方驗收的日期；如無明確約定，則指本協(xié)議期限屆滿的日期。1.8關聯(lián)方：指任何一方及其母公司、子公司、關聯(lián)公司、董事、監(jiān)事、高級管理人員、雇員、代理人或顧問。1.9保密信息：指一方（披露方）以書面、口頭、電子或其他形式向另一方（接收方）披露的，標明為“保密”或根據(jù)其性質(zhì)應被合理理解為保密的所有技術信息、商業(yè)信息、財務信息、客戶信息、運營信息、知識產(chǎn)權信息以及其他未公開的信息，包括但不限于本協(xié)議的內(nèi)容。第二條知識產(chǎn)權歸屬2.1合作期間產(chǎn)生的知識產(chǎn)權：在合作項目期間，雙方共同投入資源完成的、屬于合作項目成果的知識產(chǎn)權（以下簡稱“合作知識產(chǎn)權”），其歸屬如下：(選擇以下一種或結合使用，并詳細說明)(a)除本協(xié)議另有約定外，所有合作知識產(chǎn)權，包括但不限于合作開發(fā)的軟件代碼、形式化驗證方法、驗證報告、流程設計、相關文檔等，均歸甲方和乙方共同所有。雙方對共同擁有的合作知識產(chǎn)權享有平等的權利，并應就合作知識產(chǎn)權的維護、維權、許可和轉讓等事項進行協(xié)商一致。(b)雙方同意成立一個合資公司[合資公司名稱]，由雙方按[股權比例]出資設立。該合資公司擁有本協(xié)議項下合作項目產(chǎn)生的所有合作知識產(chǎn)權，甲乙雙方根據(jù)其出資比例享有相應份額的知識產(chǎn)權。合資公司的具體運營和治理將根據(jù)另行簽署的合資協(xié)議執(zhí)行。(c)[其他雙方約定的特定歸屬方式]2.2背景知識產(chǎn)權：雙方同意，各方的背景知識產(chǎn)權仍歸各方各自所有。一方有權在合作項目范圍內(nèi)使用其背景知識產(chǎn)權，但未經(jīng)另一方事先書面同意，不得將對方的背景知識產(chǎn)權用于本協(xié)議約定之外的用途。2.3第三方知識產(chǎn)權：雙方同意，在合作項目進行過程中，如需使用任何第三方擁有的知識產(chǎn)權（包括但不限于軟件工具、公開數(shù)據(jù)、算法等），應事先獲得該第三方合法有效的授權，并承擔所有相關費用。若因使用第三方知識產(chǎn)權導致任何侵權糾紛，由獲得該第三方授權的一方負責解決，并承擔由此產(chǎn)生的全部責任和費用，除非該侵權是由于另一方的故意或重大過失造成的。2.4形式化驗證工具：雙方各自擁有的、用于本合作項目的獨立形式化驗證工具和相關知識產(chǎn)權，其歸屬仍歸respective甲方或乙方所有。如需共享或集成這些工具，應另行簽訂補充協(xié)議約定。2.5公開披露：未經(jīng)另一方書面同意，任何一方不得向任何第三方（包括潛在投資者、合作伙伴、員工等）公開披露合作項目中產(chǎn)生的未公開的技術信息或商業(yè)信息，但法律法規(guī)另有規(guī)定或雙方另有約定的除外。第三條許可與權利行使3.1合作知識產(chǎn)權許可：(a)對于根據(jù)本協(xié)議第二條第2.1款約定歸甲方和乙方共同所有的合作知識產(chǎn)權，除非雙方另有書面約定，否則雙方在此授予對方一項永久的、全球范圍的、不可撤銷的、免許可費的、可分許可的獨占許可，允許對方為自身內(nèi)部研究、開發(fā)、測試、使用以及將其包含在甲方和乙方各自生產(chǎn)或銷售的產(chǎn)品、服務或過程中，并允許對方將其分許可給任何第三方。(b)對于根據(jù)本協(xié)議第二條第2.1款約定歸屬于合資公司的合作知識產(chǎn)權，合資公司應根據(jù)其內(nèi)部規(guī)定或股東協(xié)議，向甲方和乙方授予本協(xié)議(a)款所述的同等許可。3.2背景知識產(chǎn)權許可：各方授予對方一項永久的、全球范圍的、不可撤銷的、免許可費的、可分許可的獨占許可，允許對方僅為履行本協(xié)議之目的，在其背景知識產(chǎn)權范圍內(nèi)，為合作項目所需而使用其背景知識產(chǎn)權。3.3第三方知識產(chǎn)權許可：如因使用第三方授權的知識產(chǎn)權，該第三方授予甲乙雙方與本協(xié)議3.1款和3.2款相符的、必要的、不可撤銷的許可，以使甲乙雙方能夠履行本協(xié)議約定的合作項目。該等第三方許可條款與條件約束雙方，如同本協(xié)議條款一樣。3.4權利行使限制：雙方行使根據(jù)本協(xié)議獲得的知識產(chǎn)權許可權時，不得侵犯任何第三方的合法權益。如因行使該等許可權導致第三方主張權利，由行使許可權的一方負責處理，并承擔由此產(chǎn)生的全部責任和費用，除非該侵權是由于提供許可方提供的信息或材料有誤或存在缺陷造成的。第四條保密義務4.1保密信息識別：本協(xié)議所稱保密信息包括本協(xié)議第一條定義的保密信息，以及任何一方在合作項目進行過程中向另一方披露的其他未公開信息。4.2保密責任：雙方及其關聯(lián)方應對從另一方獲取的保密信息承擔不低于對自身同等保密信息所承擔的注意義務的保密責任，且該等義務不因本協(xié)議的終止而解除。接收方僅為履行本協(xié)議之目的使用披露方的保密信息，不得向任何第三方披露，除非：(a)該信息已進入公共領域；(b)接收方從對該信息不負有保密義務的第三方合法獲得該信息；(c)接收方獲得該信息是基于有權披露該信息的法院命令或政府機構要求，且接收方已事先書面通知披露方該等要求；(d)披露方書面同意披露。4.3例外信息：若接收方能夠證明某項信息在其接收時已為公眾所知，或通過不受保密義務約束的途徑合法獲得，則接收方無需承擔保密義務。4.4保密期限：本協(xié)議項下的保密義務自信息披露之日起至該信息不再構成保密信息為止。對于構成商業(yè)秘密的信息，保密義務持續(xù)有效；對于其他保密信息，保密義務在本協(xié)議終止后持續(xù)[具體年限，如三年或五年]。第五條背景知識產(chǎn)權5.1各方保證其提供給對方的任何材料或信息不侵犯任何第三方知識產(chǎn)權。如因一方提供的內(nèi)容導致第三方主張權利，由提供該內(nèi)容的一方負責解決，并承擔由此產(chǎn)生的全部責任和費用。5.2各方授予對方根據(jù)本協(xié)議第二條第2.2款和第三條第3.2款約定的背景知識產(chǎn)權許可。第六條侵權救濟6.1任何一方發(fā)現(xiàn)其知識產(chǎn)權可能受到第三方侵犯時，應立即書面通知另一方。接收通知方應根據(jù)其自身情況，采取合理措施協(xié)助披露方進行維權，包括提供必要的技術支持、法律信息或參與訴訟等。協(xié)助方因此產(chǎn)生的合理費用（包括但不限于律師費、訴訟費）由披露方承擔，除非披露方的侵權行為直接導致該等費用發(fā)生。6.2若因接收方的過錯或故意行為導致披露方的知識產(chǎn)權受到侵犯，接收方應承擔披露方因此遭受的全部損失。第七條費用與支付7.1[根據(jù)實際情況約定費用條款，例如：](a)如乙方需向甲方支付費用，應按[具體金額或計算方式]支付，支付方式為[具體支付方式]，支付時間為[具體時間節(jié)點]。(b)如甲方需向乙方支付費用，應按[具體金額或計算方式]支付，支付方式為[具體支付方式]，支付時間為[具體時間節(jié)點]。(c)[其他費用安排，如工具使用費、維護費等]。7.2所有應由一方支付給另一方的款項，均應以[幣種]支付，并扣除所有適用的稅收和費用。第八條協(xié)議的期限、終止與終止后果8.1協(xié)議期限：本協(xié)議自協(xié)議生效日起為期[具體年限，如三或五年]年。期滿前[具體時間，如三個月]，如雙方均有意繼續(xù)合作，應另行簽署續(xù)展協(xié)議。8.2提前終止：發(fā)生下列任一情況時，任一方有權書面通知另一方終止本協(xié)議：(a)另一方嚴重違反本協(xié)議任何條款或條件，且在收到書面通知后[具體天數(shù)，如三十]日內(nèi)未能糾正；(b)另一方進入破產(chǎn)、清算或解散程序；(c)合作項目因不可抗力原因無法繼續(xù)進行，且在不可抗力消除后[具體天數(shù)，如六十]日內(nèi)無法恢復。8.3終止后果：(a)協(xié)議終止后，關于知識產(chǎn)權的歸屬、許可、保密義務、侵權救濟等條款繼續(xù)有效。(b)雙方應立即停止所有合作項目活動，并交還或銷毀所有包含有另一方保密信息或知識產(chǎn)權的文件、資料和物品。(c)甲方和乙方應根據(jù)各自在本協(xié)議項下的權利義務，進行結算和支付。(d)協(xié)議終止不影響任何一方根據(jù)本協(xié)議已獲得的權利或已產(chǎn)生的義務。第九條法律適用與爭議解決9.1本協(xié)議的訂立、效力、解釋、履行及爭議解決均適用中華人民共和國法律。9.2因本協(xié)議引起的或與本協(xié)議有關的任何爭議，雙方應首先通過友好協(xié)商解決。協(xié)商不成的，任何一方均有權將爭議提交至[選擇以下一種方式]：(a)[具體仲裁委員會名稱]按照其屆時有效的仲裁規(guī)則進行仲裁。仲裁裁決是終局的，對雙方均有約束力。(b)[具體有管轄權的人民法院名稱]通過訴訟解決。第十條其他條款10.1完整協(xié)議：本協(xié)議構成雙方就本協(xié)議主題事項達成的完整協(xié)議，取代雙方此前就此達成的所有口頭或書面的協(xié)議、諒解和承諾。10.2修改與補充：對本協(xié)議的任何修改或補充，均須經(jīng)雙方授權代表書面簽署后方能生效。10.3可分割性：若本協(xié)議任何條款被認定為無效或不可執(zhí)行，不影響其他條款的效力。雙方應協(xié)商替換為內(nèi)容最接近、合法有效的條款。10.4轉讓：未經(jīng)另一方事先書面同意，任何一方不得將其在本協(xié)議項下的權利或義務部分或全部轉讓給任何第三方。10.5通知：與本協(xié)議有關的所有通知、請求或文件，均應按照本協(xié)議首頁所示的地址或雙方后續(xù)書面通知的地址，通過書面（包括信函、傳真、電子郵件）方式送達。10.6可分割性：若本協(xié)議任何條款被認定為無效或不可執(zhí)行，不影響其他條款的效力。雙方應協(xié)商替換為內(nèi)容最接近、合法有效的條款。10.7未履行：若一方未能履行其在本協(xié)議下的任何義務，且該等違約行為并非輕微違約，另一方應在違約行為發(fā)生后[具體天數(shù)，如三十]日內(nèi)向該違約方發(fā)出書面通知，要求其在合理期限內(nèi)糾正。若該違約方在收到通知后[具體天數(shù)，如