Lib.rs

› 关键字 #cosmwasm #smart-contracts #interface #blockchain #verification #cosmos

#contracts

  1. creusot-contracts

    为Creusot提供的合约和逻辑辅助函数

    v0.2.0 140 #creusot #verification #contracts #formal-verification #specification #why3 #verifier

  2. 合约

    基于合同的属性

    v0.6.3 14K #invariants #verification #precondition #postcondition #design-by-contract #hash-set

  3. karak-contracts

    Karak合约

    v0.1.1 100 #karak #contracts #docs #information

  4. prusti-contracts

    使用Prusti指定合约的工具

    v0.2.0 #verification #prusti #specification #contracts #formal-verification #formal #proc-macro

  5. arrpc-contract

    ARRPC的默认合约

    v0.2.0 110 #contracts #arrpc #md

  6. prusti-std

    Prusti外部规范，用于std中的项

    v0.2.0 #specification #verification #contracts #prusti #specifications #formal

  7. cosmwasm-std

    基于Cosmos区块链的Wasm智能合约标准库

    v2.1.3 46K #cosmwasm #cosmos #contracts #smart-contracts #standard #blockchain #building

  8. runtime-contracts

    结构化、易于理解的运行时合约

    v0.2.0 #contracts #run-time #structured #programming #testing #ensure #requires

  9. tinkoff-invest-types

    tinkoff投资类型库

    v2.18.0 #type #tinkoff #invest #contracts

  10. cosmwasm-schema

    CosmWasm合约生成JSON Schema文件的依赖项

    v2.1.3 44K #cosmwasm #json-schema #generate-json #contracts #development-tools

  11. cosmwasm-crypto

    cosmwasm合约的加密绑定

    v2.1.3 46K #cosmwasm #contracts #cosmos #crypto #bindings

  12. cw-controllers

    许多合约中可以重用的通用控制器

    v2.0.0 12K #controllers #contracts #reuse #admin #model-view-controller #reimplementing #cw-plus

  13. casper-contract

    开发Casper网络智能合约

    v4.0.0 1.9K #contracts #smart-contracts #casper #developing #environment #alloc #no-std

  14. cw3

    CosmWasm-3接口：链上MultiSig/Voting合约

    v2.0.0 6.3K #proposal #contracts #voting #vote #interface #threshold #execute

  15. soroban-ledger-snapshot

    Soroban ledger.json文件类型和功能

    v21.6.0 11K #ledger #soroban #contracts #sdk #json #file

  16. near-vm-runner

    实现Near区块链暴露给智能合约的接口规范

    v0.25.0 8.2K #gas #execution #near #contracts #run-time #smart-contracts #cache

  17. near-sdk

    编写NEAR智能合约

    v5.3.0 9.2K #near #contracts #smart-contracts #env #default #blockchain #initialization

  18. alloy-contract

    与链上合约交互

    v0.2.1 39K #alloy #contracts #on-chain #interact #sol #decode #builder

  19. cw4-group

    cw4实现由管理员控制的群组成员管理

    v2.0.0 2.0K #admin #group #membership #member #cw4 #queries #contracts

  20. cw4-stake

    基于抵押代币的cw4群组实现

    v2.0.0 230 #tokens #group #weight #cw4 #contracts #staked #multisig

  21. evmole

    从EVM字节码中提取函数选择器和参数

    v0.3.8 6.4K #css-selectors #evm #arguments #bytecode #contracts #solidity #ethereum

  22. unc-sdk

    编写实用智能合约

    v2.3.2 #unc #contracts #smart-contracts #env #default #call #self

  23. 抽象-cw-multi-test

    多合约交互测试工具

    v2.0.2 5.1K #cosmwasm #interaction #framework #contracts #bank #multi-contract #ecosystem

  24. cw1

    CosmWasm-1 接口的定义和类型

    v2.0.0 3.7K #contracts #proxy #interface #definition #cosmwasm #transfer #execute

  25. cw-it

    用于集成测试 CosmWasm 智能合约的工具

    v0.4.0-rc.9 1.5K #traits #cosmwasm #runner #contracts #robot #integration #set

  26. stellar-cli

    Stellar 命令行界面

    v21.4.0 750 #stellar #contracts #soroban #cli #opt #execute #built

  27. soroban-token-sdk

    Soroban 令牌 SDK，包含在 Soroban 上创建自定义令牌的实用工具

    v21.6.0 2.2K #soroban #sdk #token #contracts #utilities #containing

  28. sg4

    SG4 接口的定义和类型

    v3.14.0 160 #minter #contracts #stargaze #verified #factory #collection #status

  29. soroban-cli

    Soroban 命令行界面

    v21.4.0 900 #soroban #contracts #networking #stellar #built #docs #org

  30. cargo-partisia-contract

    编译 Partisia 区块链上的智能合约，以便在链上部署

    v4.166.0 #cargo #compile #contracts #smart-contracts #abi #deployment #partisia

  31. forc-tracing

    forc crates 之间共享的跟踪实用工具

    v0.63.1 4.5K #sway #tracing #shared #forc #fuel #build #contracts

  32. sg2

    SG2 接口的定义和类型

    v3.14.0 200 #minter #contracts #type #stargaze #ids #allowed #extension

    33. 尝试使用 DuckDuckGo 进行搜索。搜索.

  33. secret-cosmwasm-std

    Secret Network 对 Cosmos 区块链上基于 Wasm 的智能合约标准库的分支

    v1.1.11 1.5K #cosmwasm #secret #contracts #cosmos #smart-contracts #standard #fork

  34. abstract-cw3

    CosmWasm-3接口：链上MultiSig/Voting合约

    v3.0.0 2.7K #proposal #contracts #vote #interface #threshold #voting #cw3

  35. contracts-rococo-runtime

    FRAME 合约挂件测试网的并行链运行时。 (polkadot v1.15.0)

    v0.18.0 #contracts #parachain #polkadot #run-time #substrate #pallet #rococo

  36. abstract-std

    抽象合约接口和存储布局

    v0.23.0 1.3K #abstract #interface #account #assets #version #contracts #key

  37. casper-event-standard

    Casper智能合约级别的事件

    v0.5.0 400 #events #casper #standard #level #contracts #schema #emit

  38. kujira

    Kujira cosmwasm 合约的接口和实用工具

    v1.3.0 500 #cosmwasm #interface #utilities #contracts

  39. sg-whitelist

    Stargaze NFT 白名单合约

    v3.14.0 #allowlist #nft #stargaze #cosmos #cosmwasm #contracts

  40. omniflix-std

    Omniflix cosmwasm 合约的标准库

    v1.0.0-beta 1.0K #query #message #contracts #msg #cosmwasm #sender #omniflix

  41. abstract-core

    抽象合约接口和存储布局

    v0.21.0 260 #abstract #interface #assets #state #object #version #contracts

  42. croncat-integration-utils

    将 CosmWasm 合约与 CronCat 自动化集成

    v1.1.1 410 #cosmwasm #task #cron-cat #contracts #automation #smart-contracts #integration

  43. marlowe_lang

    Cardano Marlowe DSL 的实验性解析库

    v0.3.2 #marlowe #cardano #dsl #contracts #experimental #input #language

  44. sg-controllers

    许多合约中可以重用的通用控制器

    v3.14.0 #controllers #contracts #nft #smart-contracts #cosmos #cosmwasm #inter-chain

  45. forc-lsp

    forc 插件用于启动 sway 语言服务器

    v0.63.1 460 #sway #forc #fuel #build #starting #contracts #language-server

  46. unc-vm-runner

    实现了 unc 区块链对智能合约暴露的接口规范

    v0.12.2 110 #gas #unc #contracts #run-time #smart-contracts #execution #blockchain

  47. mod-sdk

    包含 CronCat 模块有用的基本类型和错误

    v1.0.4 650 #error #module #query #contracts #cosmwasm #mod #cron-cat

  48. odra-mock-vm

    Odra 虚拟机，用于运行智能合约

    v0.7.1 850 #blockchain #mocking #virtual #machine #contracts #smart-contracts #odra

  49. clarinet-files

    Clarinet 清单文件助手

    v2.0.1 #helper #manifest #clarinet #stack #contracts #bitcoin #clarity

  50. abstract-cw4-group

    cw4实现由管理员控制的群组成员管理

    v3.0.0 1.8K #admin #group #membership #member #cw4 #queries #contracts

  51. croncat-sdk-factory

    CronCat 工厂包，包含类型和消息

    v1.0.4 700 #factory #messages #cron-cat #type #cosmwasm #contracts #package

  52. croncat-factory

    CronCat 工厂智能合约

    v1.0.4 550 #factory #contracts #metadata #cron-cat #name #latest-version #smart-contracts

  53. linera-alloy-contract

    与链上合约交互

    v0.1.0 400 #alloy #linera #contracts #on-chain #interact #sol #decode

  54. forc

    Fuel Orchestrator

    v0.63.1 410 #fuel #script #orchestrator #sway #command #find #contracts

  55. tg3

    Tgrade-3 接口：链上 MultiSig/Voting 合约

    v0.17.1 #contracts #vote #voting #proposal #interface #points #execute

  56. zksync_contracts

    主要ZKsync智能合约的定义

    v0.1.0 150 #zksync #contracts #blockchain #read #zk-sync #workspace #definition

  57. rhaki-cw-multi-test

    多合约交互测试工具

    v2.0.0 100 #cosmwasm #interaction #framework #contracts #bank #multi-contract #ecosystem

  58. odra-test

    Odra智能合约的后端测试

    v1.2.0 120 #testing #odra #contracts #smart-contracts #environment #back-end #unit-testing

  59. clone-cw-multi-test

    多合约交互测试工具。帮助在本地使用链上存储模拟链行为

    v0.5.0 1.1K #cosmwasm #interaction #contracts #simulating #bank #multi-contract #framework

  60. apollo-cw-multi-test

    多合约交互测试助手

    v0.19.0-rc.1 750 #interaction #testing #helper #contracts #multi-contract #api #cosmwasm

  61. kujira-rs-testing

    Kujira cosmwasm 合约的接口和实用工具

    v1.7.3 150 #interface #kujira #cosmwasm #mocking #utilities #contracts #testing

  62. drink-cli

    与drink环境交互的CLI

    v0.17.0 280 #drink #environment #cli #command #contracts #mode

  63. trn-pact

    在TRN权限域中为甜甜圈嵌入的合约DSL和工具链

    v0.2.1 #permissions #trn #toolchain #dsl #contracts #bytecode #transactions

  64. ethcontract-generate

    为与以太坊智能合约类型安全的绑定生成代码

    v0.25.7 1.0K #bindings-generator #generate #type-safe #contracts #macro #generated-bindings #ethereum

  65. oz_merkle_rs

    一种轻量级的Merkle树实现，旨在无缝集成到OpenZeppelin合约中进行证明验证

    v0.1.3 130 #merkle-tree #proof #contracts #verification #integrate #seamlessly #open-zeppelin

  66. essential-read

    从磁盘读取合约和解决方案

    v0.2.0 #解决方案 #合同 #反序列化 #读取 #磁盘 #字节

  67. ethcontract-common

    ethcontract-rs运行时和proc宏的通用类型

    v0.25.7 1.2K #运行时 #ethcontract #合同 #ethcontract-rs #proc #宏 #proc-macro

  68. sg-multi-test

    Stargaze自定义合同的集成测试助手

    v3.1.0 #集成测试 #测试助手 #合同 #助手 #stargaze #智能合约 #NFT

  69. dlc

    创建、签名和验证离散对数合同（DLC）交易

    v0.5.0 #交易 #签名 #日志 #验证 #创建 #合同 #集成

  70. loam-soroban-sdk

    围绕soroban-sdk的包装，提供一些soroban特定特性

    v0.6.14 230 #SDK #soroban #loam #延迟评估 #合同 #环境 #设置

  71. sei-integration-tests

    支持Sei链合同的集成测试的自定义模块

    v0.4.11 230 #集成测试 #测试 #链 #合同 #sei #模块 #cosmwasm

  72. sg721-base

    Stargaze NFT收藏合同

    v3.14.0 130 #NFT #收藏 #stargaze #cosmos #合同

  73. soroban-simulation-zephyr

    Soroban主机调用模拟

    v21.2.0 130 #主机 #soroban #环境 #模拟 #合同 #调用 #zephyr

  74. forc-fmt

    运行Sway代码格式化程序的forc插件

    v0.63.1 320 #sway #forc #格式化程序 #fuel #构建 #运行 #合同

  75. sg721-nt

    Stargaze不可转让NFT收藏合同

    v3.14.0 3.4K #NFT #stargaze #不可转让 #合同 #收藏

  76. essential-deploy-contract

    将合同部署到Essential协议的命令行界面和库

    v0.2.0 110 #部署 #协议 #合同 #签名 #账户 #已签名 #集成

  77. sg-std

    CosmWasm合同用于调用Stargaze自定义模块的绑定

    v3.2.0 490 #contracts #stargaze #pool #action #standard #claim #community

  78. dao-cw721-extensions

    DAO cw721 扩展包

    v2.4.2 430 #dao #extension #contracts #cw721

  79. tg4-mixer

    结合两个不同组并具有合并功能的TG4实现

    v0.17.1 #group #contracts #points #tg4 #poe #hook #mixer

  80. essential-dry-run

    针对正在运行的 essential-server 的解决方案干燥运行的 CLI 和库

    v0.2.0 110 #dry-run #solution #contracts #running #check #address #constraints

  81. near-bindgen

    编写NEAR智能合约

    v0.6.0 #near #contracts #smart-contracts #blockchain #default #string #self

  82. kujira-std

    Kujira 智能合约的标准库和工具

    v1.3.0 550 #kujira #utilities #contracts #standard #smart #smart-contracts #documentation

  83. wynd-utils-inj

    多个 Wynd 合约使用的函数

    v0.4.1-inj 120 #contracts #increasing #wynd #curve #range #cases #general

  84. ethcontract-generate-fork

    为与以太坊智能合约类型安全的绑定生成代码

    v0.25.6 #bindings-generator #generate #contracts #type-safe #ethereum #generation #generated-bindings

  85. pallet-evm

    FRAME EVM 合约提篮

    v5.0.0 #substrate #evm #module #pallet #contracts #ethereum #blockchain

  86. clarinet-deployments

    Clarinet 部署助手

    v1.0.3 #deployment #clarinet #stack #contracts #bitcoin #clarity #helper

  87. zksync-web3-rs

    zkSync Era 的 Rust SDK

    v0.1.1 140 #era #transaction #zk-sync #provider #account #transfer #contracts

  88. tg-voting-contract

    用于为 tgrade 构建投票合约的通用工具

    v0.17.1 #voting #contracts #tgrade #building #generic

  89. cw-tokenfactory-types

    处理各种 tokenfactory 类型的包

    v2.4.2 400 #cosmwasm #tokenfactory #url #cosmos #denom #contracts #types

  90. starknet_in_rust

    Starknet执行逻辑

    v0.4.0 #transaction #starknet #execution #request #state #contracts #reader

  91. poc-framework

    以简单直观的方式创建Solana智能合约PoC的框架

    v0.2.0 #smart-contracts #smart #contracts #solana #contract

  92. abstract-account-factory

    抽象工厂合约

    v0.23.0 1.1K #factory #manager #proxy #version #treasury #contracts #version-control

  93. mpl-fixed-price-sale

    使用Anchor创建

    v0.4.0 #sale #fixed #price #token #nft #contracts #metadata

  94. inkscope-fuzzer

    ink!智能合约的基于属性的fuzzer

    v0.1.0 #fuzzer #ink #smart #contracts #property-based

  95. loam-sdk-core-riff

    可重部署合约的核心Riff

    v0.7.0 #riff #contracts #redeployable

  96. cw-config

    CosmWasm合约的费用配置

    v0.1.0-rc.4 400 #cosmwasm #configuration #contracts #fee

  97. farcaster-rs

    与Farcaster.xyz合约和API进行接口和交互

    v1.0.1 #farcaster #interface #xyz #contracts #api #account #key

  98. tg-utils

    Tgrade工具：各种合约的辅助程序

    v0.17.1 #contracts #tgrade #helpers #poe #smart-contracts

  99. pryzm-utils

    在PRYZM上开发wasm合约

    v0.2.0 210 #develop #contracts #pryzm #wasm

  100. tg-bindings

    Tgrade区块链的CustomMsg和CustomQuery绑定

    v0.17.1 240 #bindings #tgrade #blockchain #contracts #custom-query #custom-msg #poe

  101. prov-cosmwasm-vm

    运行cosmwas合约的VM绑定

    v1.0.0-provbeta3 #cosmwasm #contracts #run #interface #version #wasmer #import

  102. sg-marketplace-common

    Stargaze Marketplace合约中使用的通用功能

    v1.2.0 #marketplaces #contracts #nft #coin #address #cosmwasm #stargaze

  103. oraiswap

    不同Oraichain Labs合约（如oraiDEX、IBC Wasm）中使用的常见oraiswap类型

    v1.0.1 #contracts #token #ibc #types #asset-info #orai-dex #oraichain

  104. mpl-token-entangler

    MPL Token Entangler

    v0.2.0 #token #entangler #nft #contracts #metadata #price #metaplex

  105. dlc-trie

    用于存储和检索数值离散日志合约（DLC）的数据结构

    v0.5.0 270 #trie #dlc #numerical #structures #storage #log #contracts

  106. dexter

    针对流动性质押资产优化的Dex

    v1.4.0 160 #assets #staked #contracts #optimized #liquid #dex

  107. test-tube-ntrn

    在Rust中构建cosmos-sdk链的集成测试环境

    v0.1.3 550 #go #cosmwasm #testing #environments #chain #contracts #cosmos

  108. l1x-sdk

    编写L1X合约

    v0.3.1 850 #l1x #contracts #l1x-sdk

  109. nesdie

    NEAR协议的no_std SDK

    v0.2.0 #near #size #bare-metal #operations #contracts #default #error

  110. zenith-types

    zenith智能合约的类型

    v0.5.1 850 #contracts #zenith #rollup #smart #smart-contracts

  111. minsc

    基于Miniscript的高级脚本语言，用于比特币合约

    v0.2.0 #scripting-language #high-level #bitcoin #contracts #miniscript #user #policy

  112. darkcontract

    具有多个属性和自定义schnorr证明的暗凭证和合约

    v0.0.5 #credentials #contracts #attributes #proofs #schnorr #dark #multiple

  113. astroport-oracle

    Astroport价格预言机合约，与Astroport对合约一起工作

    v2.1.2 #price #astroport #pair #token #assets #contracts #pool

  114. mirror-protocol

    mirror-protocol的常用辅助工具

    v2.1.1 #mirror #terra #contracts #protocols #smart-contracts #helper

  115. vortex-common

    涡流协议合约的接口消息和数据结构

    v0.3.1 #vortex #struct #data #contracts #messages #interface #protocols

  116. nym-contracts-common

    Nym cosmwasm合约的通用库

    v0.6.0 #cosmwasm #nym #contracts

  117. osmo-bindings-test

    为Osmosis特定合约提供多测试（和其他测试辅助工具）支持

    v0.6.0 #bindings #multitest #test #osmosis #test-helpers #contracts #helper

  118. fuzion-flows

    Fuzion Flows的接口

    v0.8.3 #interface #flows #fuzion #utilities #contracts

  119. sputnikvm-precompiled-bn128

    SputnikVM的bn128预编译合约

    v0.11.0-beta.0 340 #virtual-machine #sputnik-vm #pre-compiled #contracts #blockchain #ethereum #bn128

  120. near-runtime

    这个内部包提供处理事务和执行Wasm智能合约所需的运行时

    v4.0.0-pre.1 700 #near #run-time #contracts #price #protocols #transaction #blockchain

  121. poc-framework-osec

    一个用于以简单直观的方式创建Solana智能合约PoC的框架：https://github.com/neodyme-labs/solana-poc-framework的分支

    v0.1.1 #smart-contracts #smart #contracts #solana #contract

  122. miraplex-utils

    MPL核心实用程序库

    v0.3.0 #mpl #utilities #metaplex #forked #smart #contracts

  123. soroban-decimal

    为Soroban合约提供精确的十进制算术包

    v1.0.0 #decimal #contracts #soroban #i128 #atomic #place #percent

  124. near-plugins-derive

    插件系统，用于通过宏扩展NEAR合约

    v0.1.0 #plugin #near #contracts #macro #system #extend #plugin-system