News

ಸಾಬೀತುಪಡಿಸಬಹುದಾದ ನ್ಯಾಯವೋ, ಪ್ರಮಾಣೀಕೃತ ಜನರೇಟರೋ

ಪ್ರಮಾಣೀಕೃತ ಜನರೇಟರ್ ಒಂದು ಲೆಕ್ಕಪರಿಶೋಧನೆಯನ್ನು ನಂಬಲು ಕೇಳುತ್ತದೆ. ಸಾಬೀತು ನ್ಯಾಯ ಪ್ರತಿ ಆಟಕ್ಕೂ ನೀವೇ ಪರೀಕ್ಷಿಸುವ ರಸೀದಿ ಕೊಡುತ್ತದೆ.

fairnessprovably fairexplainer

ಪ್ರಮಾಣೀಕೃತ ಜನರೇಟರ್ ಎಂದರೆ ಯಾವುದೋ ಒಂದು ಸಮಯದಲ್ಲಿ ಸ್ವತಂತ್ರ ಪ್ರಯೋಗಾಲಯವೊಂದು ಯಾದೃಚ್ಛಿಕ ಸಂಖ್ಯಾ ಜನರೇಟರ್ ಅನ್ನು ಪರಿಶೀಲಿಸಿ ಅದರ ಫಲಿತಾಂಶವನ್ನು ಅಂಕಿಅಂಶದ ದೃಷ್ಟಿಯಿಂದ ಗಟ್ಟಿ ಎಂದು ಕಂಡಿತು. ಸಾಬೀತು ನ್ಯಾಯ ಎಂದರೆ ಆಟವು ಪ್ರತಿ ಆಟಗಾರನಿಗೂ ಅವನ ಸ್ವಂತ ಆಟದ ಗೂಢಲಿಪಿ ರಸೀದಿಯನ್ನು ಕೊಡುತ್ತದೆ, ಇದರಿಂದ ಯಾರನ್ನೂ ನಂಬದೆ ಪ್ರತಿ ಉರುಳಿಕೆಯನ್ನೂ ಮತ್ತೆ ಲೆಕ್ಕ ಹಾಕಬಹುದು. ಒಂದು ಮಾದರಿ ಯಂತ್ರವನ್ನು ಪರಿಶೋಧಿಸುತ್ತದೆ. ಇನ್ನೊಂದು ನಿಮ್ಮ ಆಟವನ್ನು ಸಾಬೀತುಪಡಿಸುತ್ತದೆ.

ನಿಮ್ಮ ಪರವಾಗಿ ದಾಳ ಉರುಳಿಸುವ ಆನ್‌ಲೈನ್ ಆಟಗಳ ನಂಬಿಕೆ ಪುಟಗಳಲ್ಲಿ ಎರಡೂ ಪದಗಳು ಕಾಣಿಸುತ್ತವೆ, ಮತ್ತು ಅವು ಪರಸ್ಪರ ಬದಲಾಯಿಸಬಹುದಾದಂತೆ ಕೇಳಿಸುತ್ತವೆ. ಅವು ಅಲ್ಲ. ಅವು ಬೇರೆ ಬೇರೆ ಪ್ರಶ್ನೆಗಳಿಗೆ ಉತ್ತರಿಸುತ್ತವೆ, ಬೇರೆ ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಮುರಿಯುತ್ತವೆ, ಮತ್ತು ಆಡಲು ಕೂತಾಗ ನಿಮ್ಮನ್ನು ಏನನ್ನು ನಂಬಲು ಕೇಳಲಾಗುತ್ತಿದೆ ಎಂಬುದನ್ನು ಈ ವ್ಯತ್ಯಾಸವೇ ನಿರ್ಧರಿಸುತ್ತದೆ.

ಪ್ರಮಾಣೀಕೃತ ಜನರೇಟರ್ ನಿಜವಾಗಿ ಯಾವುದಕ್ಕೆ ಪ್ರಮಾಣ ನೀಡುತ್ತದೆ?

ಪ್ರಮಾಣೀಕರಣ ಪ್ರಯೋಗಾಲಯ ಜನರೇಟರ್ ಅನ್ನು ತೆಗೆದುಕೊಂಡು, ಅದರ ಫಲಿತಾಂಶವನ್ನು ಅಂಕಿಅಂಶ ಪರೀಕ್ಷೆಗಳ ಸಾಲುಗಳ ಮೂಲಕ ಓಡಿಸಿ, ಒಲವನ್ನು ಹುಡುಕುತ್ತದೆ: ಅತಿ ಬಾರಿ ಬರುವ ಸಂಖ್ಯೆಗಳು, ಪುನರಾವರ್ತಿತ ಮಾದರಿಗಳು, ಜಾರಿ ಹೋಗುವ ಅನುಕ್ರಮಗಳು. ಲಕ್ಷಾಂತರ ಮಾದರಿಗಳು ಯಾದೃಚ್ಛಿಕತೆಯಿಂದ ಬೇರ್ಪಡಿಸಲಾಗದಂತೆ ಕಂಡರೆ, ಪ್ರಯೋಗಾಲಯ ಪ್ರಮಾಣಪತ್ರಕ್ಕೆ ಸಹಿ ಹಾಕುತ್ತದೆ. ಆ ಕೆಲಸ ನಿಜವಾದದ್ದು ಮತ್ತು ಅದಕ್ಕೆ ಕೌಶಲ್ಯ ಬೇಕು. ಅದು ಇಷ್ಟನ್ನಷ್ಟೇ ಸ್ಥಾಪಿಸುತ್ತದೆ: ಜನರೇಟರ್, ಪರೀಕ್ಷಿಸಿದಂತೆಯೇ, ಆ ದಿನ ಗಟ್ಟಿ ಯಾದೃಚ್ಛಿಕತೆಯನ್ನು ಉತ್ಪಾದಿಸುತ್ತಿತ್ತು.

ಪ್ರಮಾಣಪತ್ರಕ್ಕೆ ಏನು ಕಾಣುವುದಿಲ್ಲ ಎಂಬುದನ್ನು ಗಮನಿಸಿ. ಅದು ಪ್ರಯೋಗಾಲಯದಲ್ಲಿ ನೀಡಲಾಯಿತು, ಮತ್ತು ನಿಮ್ಮ ದಾಳಗಳು ಸರ್ವರ್‌ನಲ್ಲಿ ಉರುಳುತ್ತವೆ.

  • ಪರೀಕ್ಷಿಸಿದ ಕೋಡೇ ನಿಯೋಜಿತ ಕೋಡ್ ಹೌದೇ, ತಿಂಗಳುಗಳ ಮತ್ತು ಹಲವು ನವೀಕರಣಗಳ ನಂತರವೂ.
  • ಜನರೇಟರ್ ಮತ್ತು ನಿಮ್ಮ ಆಟದ ನಡುವಿನ ತಂತಿಗಳು: ಕಚ್ಚಾ ಯಾದೃಚ್ಛಿಕ ಸಂಖ್ಯೆಯನ್ನು ನಿಮ್ಮ 6 ಮತ್ತು 4 ಆಗಿ ಬದಲಿಸುವ ಕೋಡ್.
  • ಯಾವುದೇ ಆಟದ ಯಾವುದೇ ಒಂದು ಉರುಳಿಕೆ. ಪ್ರಮಾಣೀಕರಣ ಜನರೇಟರ್ ಬಗ್ಗೆ ಸಾಮಾನ್ಯವಾಗಿ ಮಾತನಾಡುತ್ತದೆ, ಮಂಗಳವಾರ ರಾತ್ರಿಯ ನಿಮ್ಮ ಆಟದ ಬಗ್ಗೆ ಎಂದಿಗೂ ಅಲ್ಲ.

ಆದ್ದರಿಂದ ಪ್ರಮಾಣೀಕರಣ ಒಂದು ಮೌನ ಎರಡನೇ ಷರತ್ತನ್ನು ಹೊತ್ತು ತರುತ್ತದೆ: ಪರೀಕ್ಷೆಯ ನಂತರ ಏನೂ ಬದಲಾಗಿಲ್ಲ ಎಂದು ನಂಬಿ, ಮತ್ತು ಪ್ರಮಾಣೀಕೃತ ಹಾದಿಯೇ ನಿಮ್ಮ ಆಟ ನಿಜವಾಗಿ ಸಾಗಿದ ಹಾದಿ ಎಂದು ನಂಬಿ. ಬಹುತೇಕ ಸ್ಟುಡಿಯೋಗಳು ಅದನ್ನು ಪಾಲಿಸುತ್ತವೆ. ಮುಖ್ಯ ಸಂಗತಿ ಎಂದರೆ ನೀವು ಪರಿಶೀಲಿಸಲಾರಿರಿ. ಈ ಮಾದರಿ ಎಂದರೆ ಒಂದು ಕ್ಷಣದಲ್ಲಿ ಯಂತ್ರದ ಪರಿಶೀಲನೆ, ನಂತರದ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ನಿಯೋಜನೆಯ ಮೇಲಿನ ನಂಬಿಕೆ.

ಸಾಬೀತು ನ್ಯಾಯ ಎಂದರೆ ಏನು?

ಸಾಬೀತು ನ್ಯಾಯ ಬೇರೆಯದೇ ಒಪ್ಪಂದ. ನೀವು ಎಂದಿಗೂ ನೋಡದ ಲೆಕ್ಕಪರಿಶೋಧನೆಯತ್ತ ಬೆರಳು ತೋರಿಸುವ ಬದಲು, ಆಟ ಆರಂಭವಾಗುವ ಮೊದಲೇ ತನ್ನದೇ ಯಾದೃಚ್ಛಿಕತೆಗೆ ತನ್ನನ್ನು ಕಟ್ಟಿಕೊಳ್ಳುತ್ತದೆ ಮತ್ತು ನಂತರ ಪ್ರತಿ ಉರುಳಿಕೆಯನ್ನೂ ನೀವೇ ಮತ್ತೆ ಲೆಕ್ಕ ಹಾಕುವಷ್ಟು ಬಹಿರಂಗಪಡಿಸುತ್ತದೆ. ಸಾಕ್ಷಿ ಆಟದೊಂದಿಗೇ ಪ್ರಯಾಣಿಸುತ್ತದೆ. ಪ್ರಾಯೋಗಿಕವಾಗಿ ಅದು ಮುದ್ರೆ ಹಾಕಿದ ಲಕೋಟೆಯಂತೆ ಕೆಲಸ ಮಾಡುತ್ತದೆ.

ಬದ್ಧತೆ. ಮೊದಲ ನಡೆಗೂ ಮೊದಲು ಸರ್ವರ್ ಒಂದು ರಹಸ್ಯ ಬೀಜವನ್ನು ಸೃಷ್ಟಿಸಿ ಅದರ SHA-256 ಮುದ್ರೆಯನ್ನು ಪ್ರಕಟಿಸುತ್ತದೆ. ಮುದ್ರೆ ಮುಂಬರುವ ಉರುಳಿಕೆಗಳ ಬಗ್ಗೆ ಏನನ್ನೂ ಬಿಟ್ಟುಕೊಡುವುದಿಲ್ಲ, ಆದರೆ ಬೀಜವನ್ನು ಮೊಳೆ ಹೊಡೆದು ನಿಲ್ಲಿಸುತ್ತದೆ. ನಂತರ ಬೀಜದಲ್ಲಿ ಒಂದೇ ಒಂದು ಬಿಟ್ ಬದಲಿಸಿ, ಮುದ್ರೆ ಹೊಂದುವುದಿಲ್ಲ.

ಉರುಳಿಕೆಗಳು. ಆಟದ ವೇಳೆ ಪ್ರತಿ ಉರುಳಿಕೆಯೂ HMAC-SHA256 ನಿಂದ ಬೀಜದಿಂದ ಪಡೆಯಲ್ಪಡುತ್ತದೆ, ಪ್ರತಿ ಉರುಳಿಕೆಗೆ ಒಂದು ಲೆಕ್ಕ. ಲಕೋಟೆಗೆ ಮುದ್ರೆ ಬಿದ್ದ ಅದೇ ಕ್ಷಣದಲ್ಲಿ ದಾಳಗಳು ನಿರ್ಧಾರವಾಗಿದ್ದವು. ಈಗಾಗಲೇ ಪ್ರಕಟವಾದ ಬದ್ಧತೆಯನ್ನು ಮುರಿಯದೆ ಆಟದ ನಡುವೆ ಹೆಚ್ಚು ದಯಾಳು ಸಂಖ್ಯೆಯನ್ನು ತೂರಿಸಲಾಗದು.

ಬಹಿರಂಗ. ಆಟದ ನಂತರ ಬೀಜ ಬಹಿರಂಗವಾಗುತ್ತದೆ. ಯಾರಾದರೂ ಅದನ್ನು ಹ್ಯಾಶ್ ಮಾಡಿ, ಬದ್ಧತೆಯೊಂದಿಗೆ ಹೋಲಿಸಿ, ಪ್ರತಿ ಉರುಳಿಕೆಯನ್ನೂ ಮತ್ತೆ ಲೆಕ್ಕ ಹಾಕಿ, ಫಲಿತಾಂಶಗಳನ್ನು ಹಲಗೆಯ ಮೇಲೆ ಕಾಣಿಸಿಕೊಂಡ ದಾಳಗಳ ಪಕ್ಕದಲ್ಲಿ ಇಡಬಹುದು. ಎಲ್ಲವೂ ಕೂಡಿದರೆ ಆಟವನ್ನು ನಡೆಸಲು ಸಾಧ್ಯವೇ ಇರಲಿಲ್ಲ. ಏನಾದರೂ ಕೈಯಾಡಿಸಿದ್ದರೆ ಅಂಕಗಣಿತ ಹೇಳಿಬಿಡುತ್ತದೆ.

ನಂಬಿಕೆ ಕಂಪನಿಯಿಂದ ಅಂಕಗಣಿತಕ್ಕೆ ಸ್ಥಳಾಂತರಗೊಳ್ಳುತ್ತದೆ. ಲೆಕ್ಕಪರಿಶೋಧನೆ ಆಳವಾಗಿತ್ತು ಅಥವಾ ನಿಯೋಜನೆ ನಿಷ್ಠವಾಗಿತ್ತು ಎಂದು ಇನ್ನು ನೀವು ನಂಬಬೇಕಿಲ್ಲ. ನಿಮಗೆ ಬೇಕಿರುವುದು SHA-256 ನಿಲ್ಲುವುದು ಮಾತ್ರ, ಮತ್ತು ಅದೇ ಊಹೆಯ ಮೇಲೆ ಉಳಿದ ಇಂಟರ್ನೆಟ್ ಪ್ರತಿದಿನ ಒರಗಿಕೊಂಡಿದೆ.

ಪ್ರಮಾಣಪತ್ರ ಹೇಳುತ್ತದೆ: ನಾವು ನೋಡಿದ ದಿನ ನಾಣ್ಯ ನ್ಯಾಯಯುತವಾಗಿತ್ತು. ರಸೀದಿ ಹೇಳುತ್ತದೆ: ನಿಮ್ಮ ಉರುಳಿಕೆ ನ್ಯಾಯಯುತವಾಗಿತ್ತು, ಇದೋ ಲೆಕ್ಕ.

ಹಾಗಾದರೆ ಪ್ರಮಾಣೀಕರಣಕ್ಕೆ ಇನ್ನೂ ಅರ್ಥವಿದೆಯೇ?

ಇದೆ. ಬದ್ಧತೆ ನೀಡಿದ ಅದೇ ಯಾದೃಚ್ಛಿಕತೆ ನಿಮಗೆ ಸಿಕ್ಕಿತು ಎಂದು ಕಮಿಟ್ ರಿವೀಲ್ ಸಾಬೀತುಪಡಿಸುತ್ತದೆ. ಬದ್ಧತೆ ನೀಡಿದ್ದು ಮೊದಲಿನಿಂದಲೇ ಒಳ್ಳೆಯದಾಗಿತ್ತು ಎಂದು ಅದು ಸಾಬೀತುಪಡಿಸುವುದಿಲ್ಲ. ದುರ್ಬಲ ಅಥವಾ ಊಹಿಸಬಹುದಾದ ಬೀಜ ಮೂಲವೂ ಪರಿಪೂರ್ಣವಾಗಿ ಉತ್ತೀರ್ಣವಾಗುವ ರಸೀದಿಗಳನ್ನೇ ಉತ್ಪಾದಿಸುತ್ತದೆ: ಕೆಟ್ಟ ದಾಳಗಳ ಸಾಬೀತು ತಲುಪಿಸುವಿಕೆ. ಮೂಲದ ಗುಣಮಟ್ಟವನ್ನು ಅಳೆಯುವುದೇ ಲೆಕ್ಕಪರಿಶೋಧನೆ ಮತ್ತು ಅಂಕಿಅಂಶ ಪರೀಕ್ಷೆಯ ಕೆಲಸ, ಮತ್ತು ನಿಯಂತ್ರಿತ ಉದ್ಯಮಗಳಲ್ಲಿ ಪ್ರಮಾಣಪತ್ರ ಸರಳವಾಗಿ ಕಡ್ಡಾಯವೂ ಹೌದು.

ಎರಡೂ ಮಾದರಿಗಳು ಬೇರೆ ಬೇರೆ ಪ್ರಶ್ನೆಗಳಿಗೆ ಉತ್ತರಿಸುತ್ತವೆ. ಲೆಕ್ಕಪರಿಶೋಧನೆ ಕೇಳುತ್ತದೆ: ಆ ಯಾದೃಚ್ಛಿಕತೆ ಒಳ್ಳೆಯದೇ? ರಸೀದಿ ಕೇಳುತ್ತದೆ: ನನ್ನ ಆಟ ನಿಜವಾಗಿ ಅದನ್ನೇ ಬಳಸಿತೇ? ಮೊದಲನೆಯದು ಮಾತ್ರ ಇರುವ ವ್ಯವಸ್ಥೆ ನಿಯೋಜನೆಯ ಮೇಲಿನ ಶಾಶ್ವತ ನಂಬಿಕೆಯಿಂದ ಬದುಕುತ್ತದೆ. ಎರಡನೆಯದು ಮಾತ್ರ ಇರುವ ವ್ಯವಸ್ಥೆ ನಿಷ್ಠೆಯಿಂದ ಕೆಟ್ಟ ದಾಳಗಳನ್ನು ತಲುಪಿಸಿ ಅದನ್ನು ಸಾಬೀತೂ ಪಡಿಸಬಹುದು. ಅತಿ ಬಲಿಷ್ಠ ವ್ಯವಸ್ಥೆಗಳು ಎರಡೂ ಬಾಗಿಲುಗಳನ್ನು ಮುಚ್ಚುತ್ತವೆ.

ಸಾರ್ವಜನಿಕ ಪರಿಶೀಲನೆ ಏಕೆ ಮುಖ್ಯ?

ಏಕೆಂದರೆ ಯಾರೂ ಓದಲಾಗದ ರಸೀದಿ ಯಾರನ್ನೂ ರಕ್ಷಿಸುವುದಿಲ್ಲ. ಕೆಲವು ಆಟಗಳು ಬದ್ಧತೆಗಳನ್ನು ಪ್ರಕಟಿಸುತ್ತವೆ ಆದರೆ ಅವನ್ನು ಪರೀಕ್ಷಿಸಲು ಆಟಗಾರರಿಗೆ ಪ್ರಾಯೋಗಿಕ ದಾರಿ ಕೊಡುವುದಿಲ್ಲ, ಅಥವಾ ಪ್ರಶ್ನೆಗೆ ಒಳಗಾದ ಅದೇ ಆ್ಯಪ್ ಒಳಗೇ ಪರಿಶೀಲನೆಯನ್ನು ಅಡಗಿಸುತ್ತವೆ. ಆಗ ಯಾವ ವೃತ್ತವೂ ಪೂರ್ಣವಾಗುವುದಿಲ್ಲ. ಒಂದು ವ್ಯವಸ್ಥೆಗೆ ಖಾತರಿ ನೀಡಬಲ್ಲ ಏಕೈಕ ಸಾಧನ ಅದೇ ವ್ಯವಸ್ಥೆಯದಾಗಿದ್ದರೆ, ನೀವು ಮತ್ತೆ ನಂಬಿಕೆಗೇ ಬಂದಿರಿ, ಈಗ ಕೆಲವು ಹೆಚ್ಚುವರಿ ಹೆಜ್ಜೆಗಳೊಂದಿಗೆ.

ಅತಿ ಬಲಿಷ್ಠ ವ್ಯವಸ್ಥೆಗಳು ಮೂರನ್ನು ಪ್ರಕಟಿಸುತ್ತವೆ. ಬದ್ಧತೆ, ಆಟಕ್ಕೂ ಮೊದಲು. ಬೀಜ, ಆಟದ ನಂತರ. ಮತ್ತು ಆ್ಯಪ್‌ನ ಹೊರಗೆ ಓಡುವ ಸ್ವತಂತ್ರ, ಸಾರ್ವಜನಿಕ ಮರುಲೆಕ್ಕದ ದಾರಿ. ಅದಕ್ಕೇ Orion ನ ಪರಿಶೀಲನೆ ಬ್ರೌಸರ್‌ನಲ್ಲೇ ಇರುತ್ತದೆ, orion.arthea.ai/verify ನಲ್ಲಿ: ಖಾತೆ ಇಲ್ಲ, ಅಳವಡಿಕೆ ಇಲ್ಲ, ಮತ್ತು ಈ ಪರಿಶೀಲನೆಯಲ್ಲಿ ನಮ್ಮ ಮಾತು ಸೇರುವುದಿಲ್ಲ.