erc-7943

Here is 1 public repository matching this topic...

Oraclizer / erc-trust

ERC-TRUST: a proposed Ethereum standard for typed regulatory actions and verifiable receipts on security tokens, with reference implementation and formal verification artifacts.

ethereum smart-contracts solidity isabelle formal-verification foundry eip tokenization kontrol regulatory-compliance security-tokens erc-3643 real-world-assets certora erc-7943

Updated Sep 7, 2026
KFramework

Add this topic to your repo

To associate your repository with the erc-7943 topic, visit your repo's landing page and select "manage topics."

Learn more