Simplicity

يتكون الجوهر من مجموعة صغيرة من combinators typed ذات denotational semantics وoperational semantics معرفتين رياضيًا. يتيح formal model في Rocq فحص proofs آليًا حول اللغة والتنفيذ وخصائص برنامج معين. [1]

لا تحتوي اللغة على loops غير محدودة أو general recursion، لذا يمكن اشتقاق الحدود العليا للحساب والmemory والdata قبل التنفيذ. ومن ثم لا ينبغي أن يتوقف البرنامج عند استهلاك gas مجهول أو يعمل إلى الأبد. [1]

البرنامج merklized expression tree، ويمكن عند الإنفاق استبدال الفروع غير المستخدمة بـMerkle root الخاصة بها. يتحقق validator من الالتزام بالبرنامج كاملًا، لكن لا يُكشف on-chain إلا المسار المطلوب وwitness data. [1]

يتعرف jet على Simplicity expression محدد وينفذه بوظيفة native محسنة. تتطلب سلامة consensus أن تطابق النتيجة reference semantics للتعبير تمامًا؛ ولا يضيف jet معنى جديدًا خفيًا. [1]

تضم libSimplicity حدًا أدنى من consensus-sensitive runtime بلغة C، وأجزاء reference وgenerator بلغة Haskell، وformal model في Rocq. تراجع هذه الطبقات بعضها، لكن repository يصرح بأن اللغة والتنفيذ لا يزالان قيد التطوير. [2]

SimplicityHL لغة أوضح شبيهة بـRust وتُجمع إلى Simplicity bytecode. يصفها المشروع نفسه بأنها work in progress وليست production-ready؛ ويجب أن تشمل مراجعة العقد source وcompiler وbytecode وwitness وjets. [3]

نُشرت Simplicity على Liquid mainnet في 2025. وLiquid عبارة عن federated sidechain متعددة الأصول وبها Confidential Transactions، لذا لا يمثل ذلك activation في consensus شبكة Bitcoin mainnet؛ إذ يلزم له proposal وsoft fork منفصلان. [4]

لا تضمن formal semantics صحة القصد الاقتصادي أو أمان المفاتيح أو موثوقية الطرف المقابل. يجب عند التحقق التمييز بين البرنامج منخفض المستوى وأدوات SimplicityHL ومجموعة jets المعينة وإصدار Liquid والتكامل الافتراضي مع Bitcoin. [2]