// Simple predicates
'tacocat'.startsWith('taco')
// Parameterized predicates over structured data
account.balance >= transaction.withdrawal
// JSON objects
{'sub': '12345678',
'aud': 'example2.cel.dev',
'iss': 'https://example1.cel.dev/jwt-issuer'}
// Strongly typed objects
common.GeoPoint{ latitude: 10.0, longitude: -5.5 }দ্রুত, নিরাপদ অভিব্যক্তি ভাষা
কমন এক্সপ্রেশন ল্যাঙ্গুয়েজ (সিইএল) হল একটি এক্সপ্রেশন ল্যাঙ্গুয়েজ যা দ্রুত, পোর্টেবল এবং কর্মক্ষমতা-সমালোচনামূলক অ্যাপ্লিকেশনগুলিতে কার্যকর করা নিরাপদ। CEL একটি অ্যাপ্লিকেশনে এম্বেড করার জন্য ডিজাইন করা হয়েছে, অ্যাপ্লিকেশন-নির্দিষ্ট এক্সটেনশন সহ, এবং আপনার অ্যাপ্লিকেশনগুলি ইতিমধ্যেই ব্যবহার করতে পারে এমন ঘোষণামূলক কনফিগারেশন বাড়ানোর জন্য আদর্শ।
API কলগুলির জন্য তালিকা ফিল্টার, প্রোটোকল বাফারগুলিতে বৈধতা সীমাবদ্ধতা এবং API অনুরোধগুলির জন্য অনুমোদনের নিয়মগুলির মতো জিনিসগুলির জন্য CEL ব্যবহার করুন৷
দ্রুত
সুবহ
নিরাপদ
আনুষ্ঠানিকভাবে যাচাইযোগ্য, আনুষ্ঠানিকভাবে যাচাইযোগ্য, আনুষ্ঠানিকভাবে যাচাইযোগ্য, আনুষ্ঠানিকভাবে যাচাইযোগ্য
CEL আপনার প্রকল্পের জন্য সঠিক?
CEL পারফরম্যান্স-সমালোচনামূলক অ্যাপ্লিকেশনের জন্য আদর্শ কারণ এটি ভবিষ্যদ্বাণীযোগ্য খরচ সহ নিরাপদে এবং দ্রুত (ন্যানোসেকেন্ড থেকে মাইক্রোসেকেন্ড) মূল্যায়ন করার জন্য ডিজাইন করা হয়েছিল। সিইএল এক্সপ্রেশনগুলি পূর্বনির্ধারিত যুক্তি এবং সাধারণ ডেটা রূপান্তরের জন্য বিশেষভাবে কার্যকর।
CEL অ্যাপ্লিকেশনগুলিতে সবচেয়ে দক্ষতার সাথে ব্যবহার করা হয় যেখানে অভিব্যক্তিগুলি ঘন ঘন মূল্যায়ন করা হয়, কিন্তু কদাচিৎ পরিবর্তন করা হয়। উদাহরণস্বরূপ, একটি নিরাপত্তা নীতির বিরুদ্ধে একটি HTTP অনুরোধ মূল্যায়ন করা CEL-এর জন্য একটি চমৎকার ব্যবহারের ক্ষেত্রে। একটি সিইএল নিরাপত্তা নীতি এক্সপ্রেশনের অভিব্যক্তি যাচাই করার জন্য এক-কালীন কনফিগারেশন খরচ হবে এবং তারপর একটি নগণ্য খরচে খুব ঘন ঘন মূল্যায়ন করা হবে।
এখনও নিশ্চিত না? CEL ওভারভিউ এবং ভাষার সংজ্ঞা দেখুন, অথবা আমাদের জিজ্ঞাসা করুন! আমরা সাহায্য করতে পেরে খুশি।
সক্রিয়তার যুগের জন্য আনুষ্ঠানিক যাচাইকরণ, সক্রিয়তার যুগের জন্য আনুষ্ঠানিক যাচাইকরণ, সক্রিয়তার যুগের জন্য আনুষ্ঠানিক যাচাইকরণ, সক্রিয়তার যুগের জন্য আনুষ্ঠানিক যাচাইকরণ
এআই এজেন্টরা যখন পলিসি তৈরি, রিফ্যাক্টর এবং ডেপ্লয় করে, তখন হিউরিস্টিক ইউনিট টেস্টগুলো অসীম ইনপুটের ক্ষেত্রে এজ কেসগুলো ধরতে ব্যর্থ হতে পারে। Z3 থিওরেম প্রুভার দ্বারা চালিত CEL ফরমাল ভেরিফিকেশন ফ্রেমওয়ার্কটি ডেভেলপারদের গাণিতিকভাবে পলিসির সঠিকতা প্রমাণ করতে, AST-এর সমতুল্যতা পরীক্ষা করতে এবং সম্পূর্ণ ইনপুট স্পেস জুড়ে সিকিউরিটি ইনভ্যারিয়েন্ট নিশ্চিত করতে সক্ষম করে।
সূক্ষ্ম যৌক্তিক ত্রুটি শনাক্ত করুন, ব্যাপক সুরক্ষাব্যবস্থা প্রয়োগ করুন এবং গাণিতিক নিশ্চয়তার সাথে স্বয়ংক্রিয় নীতি প্রণয়ন সুরক্ষিত করুন।
,এআই এজেন্টরা যখন পলিসি তৈরি, রিফ্যাক্টর এবং ডেপ্লয় করে, তখন হিউরিস্টিক ইউনিট টেস্টগুলো অসীম ইনপুটের ক্ষেত্রে এজ কেসগুলো ধরতে ব্যর্থ হতে পারে। Z3 থিওরেম প্রুভার দ্বারা চালিত CEL ফরমাল ভেরিফিকেশন ফ্রেমওয়ার্কটি ডেভেলপারদের গাণিতিকভাবে পলিসির সঠিকতা প্রমাণ করতে, AST-এর সমতুল্যতা পরীক্ষা করতে এবং সম্পূর্ণ ইনপুট স্পেস জুড়ে সিকিউরিটি ইনভ্যারিয়েন্ট নিশ্চিত করতে সক্ষম করে।
সূক্ষ্ম যৌক্তিক ত্রুটি শনাক্ত করুন, ব্যাপক সুরক্ষাব্যবস্থা প্রয়োগ করুন এবং গাণিতিক নিশ্চয়তার সাথে স্বয়ংক্রিয় নীতি প্রণয়ন সুরক্ষিত করুন।
,এআই এজেন্টরা যখন পলিসি তৈরি, রিফ্যাক্টর এবং ডেপ্লয় করে, তখন হিউরিস্টিক ইউনিট টেস্টগুলো অসীম ইনপুটের ক্ষেত্রে এজ কেসগুলো ধরতে ব্যর্থ হতে পারে। Z3 থিওরেম প্রুভার দ্বারা চালিত CEL ফরমাল ভেরিফিকেশন ফ্রেমওয়ার্কটি ডেভেলপারদের গাণিতিকভাবে পলিসির সঠিকতা প্রমাণ করতে, AST-এর সমতুল্যতা পরীক্ষা করতে এবং সম্পূর্ণ ইনপুট স্পেস জুড়ে সিকিউরিটি ইনভ্যারিয়েন্ট নিশ্চিত করতে সক্ষম করে।
সূক্ষ্ম যৌক্তিক ত্রুটি শনাক্ত করুন, ব্যাপক সুরক্ষাব্যবস্থা প্রয়োগ করুন এবং গাণিতিক নিশ্চয়তার সাথে স্বয়ংক্রিয় নীতি প্রণয়ন সুরক্ষিত করুন।
,এআই এজেন্টরা যখন পলিসি তৈরি, রিফ্যাক্টর এবং ডেপ্লয় করে, তখন হিউরিস্টিক ইউনিট টেস্টগুলো অসীম ইনপুটের ক্ষেত্রে এজ কেসগুলো ধরতে ব্যর্থ হতে পারে। Z3 থিওরেম প্রুভার দ্বারা চালিত CEL ফরমাল ভেরিফিকেশন ফ্রেমওয়ার্কটি ডেভেলপারদের গাণিতিকভাবে পলিসির সঠিকতা প্রমাণ করতে, AST-এর সমতুল্যতা পরীক্ষা করতে এবং সম্পূর্ণ ইনপুট স্পেস জুড়ে সিকিউরিটি ইনভ্যারিয়েন্ট নিশ্চিত করতে সক্ষম করে।
সূক্ষ্ম যৌক্তিক ত্রুটি শনাক্ত করুন, ব্যাপক সুরক্ষাব্যবস্থা প্রয়োগ করুন এবং গাণিতিক নিশ্চয়তার সাথে স্বয়ংক্রিয় নীতি প্রণয়ন সুরক্ষিত করুন।