https://www.contractum.org/
Contractum: smart-contract language | Contractum
Contractum is a functional declarative programming language designed for developing smart contracts which run on Bitcoin and Lightning network using RGB...
smart contractcontractumlanguage
https://seclab.cs.ucsb.edu/publications/gritti23confusum/
SecLab - Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
seclabcontractumconfuseddeputyvulnerabilities