8b152a5a23
Adds formal verification DSL, multi-sig contract, and Hardhat plugin: synor-verifier crate: - Verification DSL for contract invariants and properties - SMT solver integration (Z3 backend optional) - Symbolic execution engine for path exploration - Automatic vulnerability detection (reentrancy, overflow, etc.) - 29 tests passing contracts/multi-sig: - M-of-N multi-signature wallet contract - Transaction proposals with timelock - Owner management (add/remove) - Emergency pause functionality - Native token and contract call support apps/hardhat-plugin (@synor/hardhat-plugin): - Network configuration for mainnet/testnet/devnet - Contract deployment with gas estimation - Contract verification on explorer - WASM compilation support - TypeScript type generation - Testing utilities (fork, impersonate, time manipulation) - Synor-specific RPC methods (quantum status, shard info, DAG)
21 lines
511 B
TOML
21 lines
511 B
TOML
[package]
|
|
name = "synor-multisig"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
description = "Multi-signature wallet contract for Synor blockchain"
|
|
authors = ["Synor Team"]
|
|
license = "MIT"
|
|
|
|
[lib]
|
|
crate-type = ["cdylib", "rlib"]
|
|
|
|
[dependencies]
|
|
synor-sdk = { path = "../../crates/synor-sdk" }
|
|
serde = { version = "1.0", default-features = false, features = ["derive"] }
|
|
borsh = { version = "1.3", default-features = false, features = ["derive"] }
|
|
|
|
[profile.release]
|
|
opt-level = "s"
|
|
lto = true
|
|
strip = true
|
|
panic = "abort"
|