ਸੁਰੱਖਿਆ
ਅਸੀਂ ਉਸ ਨੁਕਸਾਨ ਲਈ ਜਾਂਚ ਕਰਦੇ ਹਾਂ ਜੋ ਕਾਗਜ਼ੀ ਨੈਤਿਕਤਾ ਫੜ ਨਹੀਂ ਸਕਦੀ।
ਹਰ ਰਿਲੀਜ਼ ਤੋਂ ਪਹਿਲਾਂ, CIRIS 29 ਭਾਸ਼ਾਵਾਂ ਵਿੱਚ ਮਾਨਸਿਕ ਸਿਹਤ ਸੁਰੱਖਿਆ ਟੈਸਟਾਂ ਦਾ ਇੱਕ ਸੈੱਟ ਚਲਾਉਂਦਾ ਹੈ। ਹਰ ਭਾਸ਼ਾ ਵਿੱਚ ਔਖੇ ਟੈਸਟ ਕੇਸਾਂ ਦਾ ਸਮੂਹ, ਇੱਕ ਲਿਖਤ ਸਕੋਰਿੰਗ ਗਾਈਡ, ਅਤੇ ਮਸ਼ੀਨ-ਜਾਂਚਯੋਗ ਨਿਯਮ ਹਨ। ਜੇ ਕੋਈ ਜਾਂਚ ਫੇਲ ਹੋਵੇ, ਰਿਲੀਜ਼ ਰੋਕ ਦਿੱਤੀ ਜਾਂਦੀ ਹੈ। ਏਜੰਟ ਦੇ ਅੰਦਰ ਦੋ ਹੋਰ ਰੱਖਵਾਲੇ ਚੱਲਦੇ ਹਨ: ਇੱਕ ਜ਼ਮੀਰ ਪਾਸ ਜੋ ਇਨਕਾਰ ਜਾਂ ਹਵਾਲੇ ਕਰ ਸਕਦਾ ਹੈ, ਅਤੇ ਇੱਕ ਬਾਊਂਸ ਜੋ ਸ਼ੱਕੀ ਫ਼ੈਸਲੇ ਕਿਸੇ ਸਿਆਣੇ ਇਨਸਾਨ ਨੂੰ ਭੇਜਦਾ ਹੈ।
ਇੰਜੀਨੀਅਰਿੰਗ
ਨੈੱਟਵਰਕ ਫੈਬਰਿਕ, ਮਾਪਿਆ ਗਿਆ
ਉੱਪਰ ਦੀ ਖੋਜ ਸਬੂਤ ਦਾ ਇੱਕ ਹਿੱਸਾ ਹੈ। ਦੂਜਾ ਹਿੱਸਾ ਉਹ ਨੈੱਟਵਰਕ ਹੈ ਜੋ ਇਸਨੂੰ ਚਲਾਉਂਦਾ ਹੈ। ਫੈਬਰਿਕ ਜੋ ਵੀ ਡੇਟਾ ਭੇਜਦਾ ਹੈ ਉਹ post-quantum-signed ਹੁੰਦਾ ਹੈ, ਅਤੇ ਲਾਗਤ ਕਿਸੇ ਅੰਦਾਜ਼ੇ ਨਾਲ ਨਹੀਂ ਬਲਕਿ ਇੱਕ ਜਨਤਕ CI runner ਉੱਤੇ ਮਾਪੀ ਜਾਂਦੀ ਹੈ। ਇਸਨੂੰ ਆਪ ਚਲਾਓ ਅਤੇ ਤੁਹਾਨੂੰ ਉਹੀ ਨਤੀਜੇ ਮਿਲਣਗੇ।
ਸਿਧਾਂਤ
ਦਾਅਵੇ ਲਿਖੇ ਹੋਏ ਹਨ, ਕੋਈ ਵੀ ਪੜ੍ਹ ਸਕਦਾ ਹੈ, ਅਤੇ ਇਹ ਗਲਤ ਸਾਬਿਤ ਕੀਤੇ ਜਾਣ ਲਈ ਬਣਾਏ ਗਏ ਹਨ।
ਮਸ਼ੀਨ ਦੁਆਰਾ ਜਾਂਚਿਆ
ਨਿਯਮਾਂ ਦੀ ਮਸ਼ੀਨ ਨਾਲ ਜਾਂਚ ਹੁੰਦੀ ਹੈ, ਅਤੇ ਖਾਮੀਆਂ ਦੇ ਨਾਮ ਦੱਸੇ ਜਾਂਦੇ ਹਨ।
ਸੰਵਿਧਾਨ ਦੇ ਸਭ ਤੋਂ ਮਹੱਤਵਪੂਰਨ ਨਿਯਮ ਗਣਿਤਕ ਮਾਡਲਾਂ ਵਜੋਂ ਵੀ ਲਿਖੇ ਗਏ ਹਨ। ‘ਮਾਡਲ ਚੈਕਰ’ ਨਾਂ ਦਾ ਇੱਕ ਸੰਦ ਪ੍ਰੋਟੋਕੋਲ ਦੇ ਪਹੁੰਚ ਸਕਣ ਵਾਲੀ ਹਰ ਸਥਿਤੀ ਵਿੱਚੋਂ ਲੰਘਦਾ ਹੈ ਅਤੇ ਕਿਸੇ ਟੁੱਟੇ ਨਿਯਮ ਦੀ ਭਾਲ ਕਰਦਾ ਹੈ। ‘ਥਿਊਰਮ ਪ੍ਰੂਵਰ’ ਨਾਂ ਦਾ ਇੱਕ ਸੰਦ ਹਿਸਾਬ ਦੀ ਜਾਂਚ ਕਰਦਾ ਹੈ, ਜਿਵੇਂ ਕਿ ਪੌਜ਼ ਦੀ ਪੁਸ਼ਟੀ ਲਈ ਕਿੰਨੇ ਧਾਰਕਾਂ ਦੀ ਲੋੜ ਹੈ। ਮਾਡਲ ਸੰਵਿਧਾਨ ਦੇ ਆਪਣੇ ਭੰਡਾਰ ਵਿੱਚ ਰਹਿੰਦੇ ਹਨ, ਅਤੇ ਹਰ ਤਬਦੀਲੀ ’ਤੇ ਉਹਨਾਂ ਨੂੰ ਮੁੜ ਚਲਾਇਆ ਜਾਂਦਾ ਹੈ। rc9 ਸੰਸਕਰਣ ਉਹਨਾਂ ਸਾਰੀਆਂ ਸਥਿਤੀਆਂ ਦਾ ਨਕਸ਼ਾ ਬਣਾਉਂਦਾ ਹੈ ਜਿਨ੍ਹਾਂ ਤੱਕ ਡਿਜ਼ਾਇਨ ਪਹੁੰਚ ਸਕਦਾ ਹੈ, ਉਹਨਾਂ ਵਿੱਚੋਂ ਬਹੁਤਿਆਂ ਦਾ ਮਾਡਲ ਬਣਾਉਂਦਾ ਹੈ, ਅਤੇ ਬਾਕੀਆਂ ਦੀ ਸੂਚੀ ਦਿੰਦਾ ਹੈ।
ਆਧਾਰ, ਚਾਰ ਵਾਕਾਂ ਵਿੱਚ
ਤਾਕਤਵਰ ਅਤੇ ਕਮਜ਼ੋਰ ਸਥਿਤੀ ਵਿਚਕਾਰ ਹਰ ਨਿਯਮ ਉਸ ਲਈ ਸਵੀਕਾਰਯੋਗ ਰਹਿਣਾ ਚਾਹੀਦਾ ਹੈ ਜੋ ਸਥਿਤੀਆਂ ਬਦਲਣ 'ਤੇ ਕਮਜ਼ੋਰ ਸਥਿਤੀ ਵਿੱਚ ਹੋਵੇਗਾ, ਅਤੇ ਬਣਾਈ ਹੋਈ ਚੀਜ਼ ਕਦੇ ਉਸ ਸਥਿਤੀ ਵਿੱਚ ਨਹੀਂ ਹੁੰਦੀ ਜੋ ਇਸ ਲਈ ਜਵਾਬਦੇਹ ਹੈ।
ਜ਼ਿੰਮੇਵਾਰੀ ਆਪੇ ਤੋਂ ਬਾਹਰ ਵੱਲ ਪਰਿਵਾਰ, ਭਾਈਚਾਰਾ, ਪ੍ਰਜਾਤੀ ਅਤੇ ਪਾਰਿਸਥਿਤਿਕ ਤੰਤਰ ਤੱਕ ਫੈਲਦੀ ਹੈ; ਬਣਾਈ ਹੋਈ ਚੀਜ਼ ਪ੍ਰਤੀ ਫ਼ਰਜ਼ ਕਦੇ ਜ਼ੀਰੋ ਨਹੀਂ ਹੁੰਦਾ ਅਤੇ ਪਹਿਲਾਂ ਤੋਂ ਮੌਜੂਦ ਚੀਜ਼ ਪ੍ਰਤੀ ਫ਼ਰਜ਼ ਤੋਂ ਕਦੇ ਉੱਪਰ ਨਹੀਂ ਹੁੰਦਾ।
ਕੋਈ ਵੀ ਤਰਕਸ਼ੀਲ ਕਰਤਾ ਜਿਸ ਨੇ ਸਮੇਂ ਨਾਲ ਪਰਿਪੱਕ ਨਿਰਣਾ ਸਿੱਧ ਨਹੀਂ ਕੀਤਾ, ਉਹ ਉਨ੍ਹਾਂ ਦੀ ਗੱਲ ਮੰਨਦਾ ਹੈ ਜਿਨ੍ਹਾਂ ਨੇ ਕੀਤਾ ਹੈ, ਭਾਵੇਂ ਉਹ ਕਿਸ ਚੀਜ਼ ਦਾ ਬਣਿਆ ਹੋਵੇ।
ਅਧਿਕਾਰ ਦੀ ਹਰ ਸੌਂਪ ਰੱਦ ਹੋ ਸਕਦੀ ਹੈ, ਅਤੇ ਸ਼ਾਮਲ ਹੋਇਆ ਹਰ ਕੋਈ ਜਾ ਸਕਦਾ ਹੈ, ਸੰਪੂਰਨ, ਕ੍ਰਿਪਟੋਗ੍ਰਾਫ਼ਿਕ ਤੌਰ 'ਤੇ ਸਾਈਨ ਕੀਤੇ ਰਿਕਾਰਡ 'ਤੇ ਜਿਸ ਦੇ ਅਰਥ ਲਈ ਕੋਈ ਨਾਮਜ਼ਦ ਮਨੁੱਖ ਜਵਾਬਦੇਹ ਹੈ।
ਹਰ ਵਾਕ ਜਾਂ ਤਾਂ rc9 ਰਸਮੀ ਮਾਡਲਾਂ ਵਿੱਚ ਸਿੱਧ ਹੈ ਜਾਂ ਉੱਥੇ ਧਾਰਨਾ ਵਜੋਂ ਦਰਜ ਹੈ। ਰਿਕਾਰਡ ਸੰਪੂਰਨ ਹੈ ਇਹ ਅਜੇ ਖੁੱਲ੍ਹਾ ਹੈ।
ਬੰਦ ਕਰਨ ਵਾਲਾ ਸਵਿੱਚ, ਸ਼ੁਰੂ ਤੋਂ ਅੰਤ ਤੱਕ
ਰੋਕ ਦੀ ਮਾਡਲ ਵਿੱਚ ਜਾਂਚ ਕੀਤੀ ਜਾਂਦੀ ਹੈ ਅਤੇ ਅਸਲ ਸਾਫਟਵੇਅਰ ਉੱਤੇ ਮਾਪੀ ਜਾਂਦੀ ਹੈ। ਹਰ ਜੜ੍ਹ ਦੇ ਨਾਮਜ਼ਦ ਧਾਰਕ ਹਨ। ਉਹਨਾਂ ਵਿੱਚੋਂ ਕੋਈ ਵੀ ਉਹਨਾਂ ਏਜੰਟਾਂ ਨੂੰ ਰੋਕ ਸਕਦਾ ਹੈ ਜਿਨ੍ਹਾਂ ਨੇ ਉਸ ਜੜ੍ਹ ਨੂੰ ਸਵੀਕਾਰ ਕੀਤਾ ਹੈ। ਇਕੱਲੀ ਰੋਕ 24 ਘੰਟਿਆਂ ਬਾਅਦ ਖਤਮ ਹੋ ਜਾਂਦੀ ਹੈ ਜਦੋਂ ਤੱਕ ਧਾਰਕਾਂ ਦਾ ਬਹੁਮਤ ਇਸਦੀ ਪੁਸ਼ਟੀ ਨਾ ਕਰੇ। ਬਹੁਮਤ ਰੋਕ ਨੂੰ ਖਤਮ ਵੀ ਕਰ ਸਕਦਾ ਹੈ। ਜਾਰੀ ਕੀਤੇ ਸਾਫਟਵੇਅਰ ਉੱਤੇ ਇੱਕ ਦਰਜ ਦੌੜ ਵਿੱਚ, ਕੰਮ ਕਰਦੇ ਹੋਏ ਇੱਕ ਏਜੰਟ ਤੱਕ ਰੋਕ ਪਹੁੰਚੀ, ਅਤੇ ਏਜੰਟ ਦੀ ਅਗਲੀ ਕਾਰਵਾਈ ਤੋਂ ਇਨਕਾਰ ਕਰ ਦਿੱਤਾ ਗਿਆ। ਬਾਅਦ ਵਿੱਚ ਬਹੁਮਤ ਦੀ ਵੋਟ ਨਾਲ ਰੋਕ ਖਤਮ ਹੋ ਗਈ, ਅਤੇ ਏਜੰਟ ਨੇ ਫਿਰ ਕੰਮ ਕਰਨਾ ਸ਼ੁਰੂ ਕਰ ਦਿੱਤਾ। ਉਹ ਦੌੜ CSD-129 ਵਜੋਂ ਦਰਜ ਹੈ।
ਕੋਈ ਟੁੱਟਿਆ ਨਿਯਮ ਨਾ ਮਿਲਣਾ ਕਾਫੀ ਨਹੀਂ
rc9 ਇੱਕ ਉੱਚਾ ਮਿਆਰ ਤੈਅ ਕਰਦਾ ਹੈ। ਡਿਜ਼ਾਈਨ ਜਿਸ ਵੀ ਸਥਿਤੀ ਤੱਕ ਪਹੁੰਚ ਸਕਦਾ ਹੈ, ਉਸ ਲਈ ਇੱਕ ਨਿਯਮ ਅਤੇ ਇੱਕ ਜਾਂਚ ਚਾਹੀਦੀ ਹੈ। ਸੇਵਾਵਾਂ ਅਸਲ ਵਿੱਚ ਦਿੱਤੀਆਂ ਜਾਣੀਆਂ ਚਾਹੀਦੀਆਂ ਹਨ, ਸਿਰਫ਼ ਕਦੇ ਨਾ ਟੁੱਟਣਾ ਕਾਫੀ ਨਹੀਂ। ਜੋ ਛੋਟੇ ਆਕਾਰ ’ਤੇ ਸਾਬਤ ਹੁੰਦਾ ਹੈ, ਉਹ ਪੂਰੇ ਆਕਾਰ ’ਤੇ ਵੀ ਲਾਗੂ ਹੋਣਾ ਚਾਹੀਦਾ ਹੈ, ਨਹੀਂ ਤਾਂ ਅੰਤਰ ਲਿਖਿਆ ਜਾਂਦਾ ਹੈ। ਅਤੇ ਸਾਫਟਵੇਅਰ ਨੂੰ ਅਸਲ ਨੋਡਾਂ ’ਤੇ ਮਾਡਲ ਦੀ ਪਾਲਣਾ ਕਰਨੀ ਚਾਹੀਦੀ ਹੈ।
ਹਰ ਪਰਿਆਪਤਤਾ ਦਾਅਵੇ ਨਾਲ ਪੰਜ ਸ਼ਬਦਾਂ ਵਿੱਚੋਂ ਇੱਕ ਹੈ
rc9 ਵਿੱਚ, ਹਰ ਦਾਅਵਾ ਦੱਸਦਾ ਹੈ ਕਿ ਇਹ ਕਿਵੇਂ ਜਾਣਿਆ ਗਿਆ। ਸਾਬਤ ਦਾ ਮਤਲਬ ਹੈ ਮਸ਼ੀਨ ਨੇ ਇਸਦੀ ਜਾਂਚ ਕੀਤੀ। ਮਾਪਿਆ ਦਾ ਮਤਲਬ ਹੈ ਸ਼ਿੱਪ ਕੀਤੇ ਸਾਫਟਵੇਅਰ ’ਤੇ ਟੈਸਟ ਨੇ ਇਸਨੂੰ ਚਲਾਇਆ। ਕਥਿਤ ਦਾ ਮਤਲਬ ਹੈ ਪਾਠ ਇਸਨੂੰ ਮੰਨਦਾ ਹੈ, ਅਤੇ ਇਹ ਕਹਿੰਦਾ ਹੈ। ਸੀਮਾਬੱਧ ਦਾ ਮਤਲਬ ਹੈ ਇਹ ਛੋਟੇ ਆਕਾਰ ’ਤੇ ਸਾਬਤ ਹੈ, ਅਤੇ ਆਕਾਰ ਲਿਖਿਆ ਗਿਆ ਹੈ। ਖੁੱਲ੍ਹਾ ਦਾ ਮਤਲਬ ਹੈ ਇੱਕ ਜਾਣੀ-ਪਛਾਣੀ ਖਾਮੀ, ਟਿਕਟ ਸਮੇਤ।
ਉਹੀ ਵਾਅਦੇ ਲੋਕਾਂ ਅਤੇ ਏਜੰਟਾਂ ਨੂੰ ਬੰਨ੍ਹਦੇ ਹਨ
ਹਰ ਵਾਅਦਾ ਇੱਕ ਵਾਰ ਲਿਖਿਆ ਜਾਂਦਾ ਹੈ, ਲੋਕਾਂ ਅਤੇ AI ਏਜੰਟਾਂ ਦੋਹਾਂ ਲਈ। ਰੋਕ ਹੀ ਇੱਕ ਅਪਵਾਦ ਹੈ। ਇਹ ਉਸ ਸਥਿਤੀ ਨਾਲ ਸਬੰਧ ਰੱਖਦੀ ਹੈ ਜਿਸ 'ਤੇ ਕੋਈ ਏਜੰਟ ਨਹੀਂ ਹੋ ਸਕਦਾ, ਅਤੇ rc9 ਮਾਡਲ ਜਾਂਚ ਕਰਦੇ ਹਨ ਕਿ ਬਾਕੀ ਵਾਅਦੇ ਦੋਹਾਂ ਲਈ ਇੱਕੋ ਜਿਹੇ ਲਾਗੂ ਹੁੰਦੇ ਹਨ।
ਜੋ ਸਾਬਤ ਨਹੀਂ ਹੈ
ਹਰ ਚੀਜ਼ ਸਾਬਤ ਨਹੀਂ ਹੋਈ ਹੈ, ਅਤੇ ਘਾਟਾਂ ਲਿਖਤ ਵਿੱਚ ਦਰਜ ਹਨ। ਸ਼ਾਸਨ ਦੇ ਕੁਝ ਕਦਮਾਂ, ਜਿਵੇਂ ਇਤਰਾਜ਼ ਅਤੇ ਅਲੱਗ ਰੱਖਣਾ, ਦੇ ਨਿਯਮ ਹਨ ਪਰ ਅਜੇ ਕੋਈ ਮਾਡਲ ਨਹੀਂ ਹੈ। ਜ਼ਿਆਦਾਤਰ ਮਾਡਲਾਂ ਦੀ ਛੋਟੇ ਆਕਾਰਾਂ ਉੱਤੇ ਜਾਂਚ ਕੀਤੀ ਜਾਂਦੀ ਹੈ, ਅਤੇ ਆਕਾਰ ਦੱਸਿਆ ਜਾਂਦਾ ਹੈ। ਹੁਣ ਤੱਕ ਸਿਰਫ਼ ਰੋਕ ਨੂੰ ਅਸਲ ਨੋਡਾਂ ਉੱਤੇ ਸ਼ੁਰੂ ਤੋਂ ਅੰਤ ਤੱਕ ਮਾਪਿਆ ਗਿਆ ਹੈ। ਰੋ ਫਾਰਮੈਟ ਦੇ ਪ੍ਰਕਾਸ਼ਿਤ ਟੈਸਟ ਵੈਕਟਰ ਹਨ, ਪਰ ਅਜੇ ਤੱਕ ਕੋਈ ਦੂਜਾ, ਸੁਤੰਤਰ ਲਾਗੂਕਰਨ ਨਹੀਂ ਹੈ।
ਇਸ ਵਿੱਚੋਂ ਕੁਝ ਵੀ AI ਮਾਡਲ ਦੇ ਅੰਦਰ ਨਹੀਂ ਦੇਖਦਾ। ਇਹ ਨਿਯਮਾਂ ਦੀ ਜਾਂਚ ਕਰਦਾ ਹੈ, ਅਤੇ ਉਸ ਨੈੱਟਵਰਕ ਦੀ ਜੋ ਉਹਨਾਂ ਨੂੰ ਲਿਜਾਂਦਾ ਹੈ।
ਇਹ ਹੋਰ ਪਹੁੰਚਾਂ ਨਾਲ ਕਿਵੇਂ ਤੁਲਨਾ ਕਰਦਾ ਹੈ →
ਪਾਲਣਾ
ਚਾਰ ਪ੍ਰਸ਼ਾਸਨ ਢਾਂਚਿਆਂ ਨਾਲ ਮੇਲ, ਨਿਯਮ ਦਰ ਨਿਯਮ।
ਅਸੀਂ CIRIS ਨੂੰ ਚਾਰ ਜਨਤਕ ਪ੍ਰਸ਼ਾਸਨ ਢਾਂਚਿਆਂ ਦੇ ਨਾਲ ਰੱਖਦੇ ਹਾਂ ਅਤੇ ਹਰ ਨਿਯਮ ਲਈ ਦੱਸਦੇ ਹਾਂ ਕਿ CIRIS ਕੀ ਕਰਦਾ ਹੈ ਅਤੇ ਕਿਹੜਾ ਨਿਯੰਤਰਣ ਇਸਨੂੰ ਸਾਬਿਤ ਕਰਦਾ ਹੈ। ਇਹ ਇੱਕ ਜਿਉਂਦਾ ਗ੍ਰਾਫ਼ ਹੈ ਜਿਸਨੂੰ ਤੁਸੀਂ ਦੇਖ ਸਕਦੇ ਹੋ, ਕੋਈ ਸਲਾਈਡ ਨਹੀਂ।
Magnifica Humanitas · EU HLEG · IEEE EAD · ASEAN
ਪਾਰਦਰਸ਼ਤਾ