// 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, बेहतर परफ़ॉर्मेंस के लिए ज़रूरी ऐप्लिकेशन के लिए सबसे सही है, क्योंकि इसे ऐसी डिज़ाइन किया गया है कि इसकी लागत का अनुमान आसानी से लगाया जा सके और यह सुरक्षित तरीके से और तेज़ी से, नैनोसेकंड से माइक्रोसेकंड में आ जाता है. सीईएल एक्सप्रेशन खास तौर पर, अनुमान लगाने वाले लॉजिक और डेटा को आसानी से बदलने में मदद करते हैं.
सीईएल का इस्तेमाल उन ऐप्लिकेशन में सबसे बेहतर तरीके से किया जाता है जहां एक्सप्रेशन का बार-बार आकलन किया जाता है, लेकिन उनमें कभी-कभी बदलाव किया जाता है. उदाहरण के लिए, सुरक्षा नीति के हिसाब से एचटीटीपी अनुरोध का आकलन करना, सीईएल के लिए इस्तेमाल का बेहतरीन उदाहरण है. सीईएल सुरक्षा नीति के एक्सप्रेशन की पुष्टि के लिए, एक बार कॉन्फ़िगरेशन की लागत आती है. इसके बाद, बहुत कम खर्च पर कई बार इसका आकलन किया जाता है.
क्या अब भी पक्के तौर पर नहीं पता है? CEL की खास जानकारी और भाषा की परिभाषा देखें या हमसे पूछें! हम आपकी मदद के लिए हमेशा तैयार हैं.
एजेंटिक एरा के लिए पुष्टि करने की औपचारिक प्रक्रिया
एआई एजेंट, नीतियों को लिखते, उनमें बदलाव करते, और उन्हें लागू करते हैं. ऐसे में, ह्युरिस्टिक यूनिट टेस्ट, इनफ़ाइनाइट इनपुट के लिए, एज केस को कवर नहीं कर पाते. Z3 थ्योरम प्रूवर पर काम करने वाला CEL फ़ॉर्मल वैरिफ़िकेशन फ़/1्रेमवर्क, डेवलपर को गणित के हिसाब से, नीति की सही जानकारी साबित करने, एएसटी इक्विवेलंस की जांच करने, और पूरे इनपुट स्पेस में सुरक्षा के इनवेरिएंट की गारंटी देने की सुविधा देता है.
गणितीय तौर पर पक्का करके, लॉजिक की मामूली गड़बड़ियों को पकड़ें, पूरी तरह से गार्ड रेल लागू करें, और नीतियों को अपने-आप लिखने की सुविधा को सुरक्षित करें.