Verifiable computing
ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟಿಂಗ್ (ಅಥವಾ ಪರಿಶೀಲಿಸಿದ ಗಣನೆ ಅಥವಾ ಪರಿಶೀಲಿಸಿದ ಕಂಪ್ಯೂಟಿಂಗ್) ಪರಿಶೀಲಿಸಬಹುದಾದ ಫಲಿತಾಂಶಗಳನ್ನು ಕಾಪಾಡಿಕೊಳ್ಳುವಾಗ, ಕೆಲವು ಕಾರ್ಯಗಳ ಗಣನೆಯನ್ನು ಇತರ ಬಹುಶಃ ವಿಶ್ವಾಸಾರ್ಹವಲ್ಲದ ಕ್ಲೈಂಟ್ಗಳಿಗೆ ಆಫ್ಲೋಡ್ ಮಾಡಲು ಕಂಪ್ಯೂಟರ್ಗೆ ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಇತರ ಕ್ಲೈಂಟ್ಗಳು ಕಾರ್ಯವನ್ನು ಮೌಲ್ಯಮಾಪನ ಮಾಡುತ್ತಾರೆ ಮತ್ತು ಕಾರ್ಯದ ಗಣನೆಯನ್ನು ಸರಿಯಾಗಿ ನಡೆಸಲಾಗಿದೆ ಎಂಬುದಕ್ಕೆ ಪುರಾವೆಯೊಂದಿಗೆ ಫಲಿತಾಂಶವನ್ನು ಹಿಂತಿರುಗಿಸುತ್ತಾರೆ. ಈ ಕಲ್ಪನೆಯ ಪರಿಚಯವು SETI@home ನಂತಹ ಯೋಜನೆಗಳಲ್ಲಿ ವಿಶ್ವಾಸಾರ್ಹವಲ್ಲದ ಬಳಕೆದಾರರಿಗೆ "ಹೊರಗುತ್ತಿಗೆ" ಗಣನೆಯ ಹೆಚ್ಚುತ್ತಿರುವ ಸಾಮಾನ್ಯ ವಿದ್ಯಮಾನದ ಪರಿಣಾಮವಾಗಿ ಮತ್ತು ಕ್ಲೌಡ್ ಕಂಪ್ಯೂಟಿಂಗ್ನಂತಹ ಹೆಚ್ಚು ಶಕ್ತಿಯುತವಾದ ಗಣನೆಯ ಸೇವೆಗೆ ಗಣನೆಯ ಕಾರ್ಯಗಳನ್ನು ಹೊರಗುತ್ತಿಗೆ ಮಾಡಲು ದುರ್ಬಲ ಗ್ರಾಹಕರ ಹೆಚ್ಚುತ್ತಿರುವ ಬಯಕೆಯ ಪರಿಣಾಮವಾಗಿ ಬಂದಿತು. ಈ ಪರಿಕಲ್ಪನೆಯು ಬಾಬಾಯಿ ಮತ್ತು ಇತರರು ಕೆಲಸ ಮಾಡಿದ ಕಾಲದಿಂದಲೂ ಇದೆ ಮತ್ತು ಇದನ್ನು "ಲೆಕ್ಕಾಚಾರಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದು" (ಬಾಬಾಯಿ ಮತ್ತು ಇತರರು) ಸೇರಿದಂತೆ ವಿವಿಧ ಪದಗಳ ಅಡಿಯಲ್ಲಿ ಅಧ್ಯಯನ ಮಾಡಲಾಗಿದೆ. ), "ಗಣನೆಗಳನ್ನು ನಿಯೋಜಿಸುವುದು", "ಪ್ರಮಾಣೀಕೃತ ಗಣನೆ" ಮತ್ತು ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆ. ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟಿಂಗ್ ಎಂಬ ಪದವನ್ನು ರೊಸಾರಿಯೋ ಜೆನ್ನಾರೊ, ಕ್ರೇಗ್ ಜೆಂಟ್ರಿ ಮತ್ತು ಬ್ರಿಯಾನ್ ಪಾರ್ನೋ ಅವರು ಔಪಚಾರಿಕಗೊಳಿಸಿದರು ಮತ್ತು ಮಿಕಾಲಿಯ "ಪ್ರಮಾಣೀಕೃತ ಗಣನೆ" ಯನ್ನು ಪ್ರತಿಧ್ವನಿಸುತ್ತದೆ. ಪ್ರೇರಣೆ ಮತ್ತು ಅವಲೋಕನ ತುಲನಾತ್ಮಕವಾಗಿ ದುರ್ಬಲವಾದ ಕಂಪ್ಯೂಟೇಶನಲ್ ಸಾಧನದಿಂದ (ಕ್ಲೈಂಟ್) ಹೆಚ್ಚು ಶಕ್ತಿಯುತವಾದ ಕಂಪ್ಯೂಟೇಶನ್ ಸೇವೆಗಳಿಗೆ (ವರ್ಕರ್) ಕಂಪ್ಯೂಟೇಶನಲ್ ಕಾರ್ಯಗಳನ್ನು ಹೊರಗುತ್ತಿಗೆ ಮಾಡುವ ಹೆಚ್ಚುತ್ತಿರುವ ಬಯಕೆ ಮತ್ತು ನಿಜವಾದ ಕೆಲಸವನ್ನು ಮಾಡದೆಯೇ ತೋರಿಕೆಯ ಫಲಿತಾಂಶಗಳನ್ನು ನೀಡಲು ತಮ್ಮ ಕ್ಲೈಂಟ್ನ ಸಾಫ್ಟ್ವೇರ್ ಅನ್ನು ಮಾರ್ಪಡಿಸುವ ಅಪ್ರಾಮಾಣಿಕ ಕಾರ್ಮಿಕರ ಸಮಸ್ಯೆಯು ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟೇಶನ್ ಕಲ್ಪನೆಯ ಔಪಚಾರಿಕತೆಯನ್ನು ಪ್ರೇರೇಪಿಸಿತು. ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟಿಂಗ್ ಕ್ಲೈಂಟ್ನ ಇನ್ಪುಟ್ ಮತ್ತು ಅದರ ನಿಖರತೆಯ ಪುರಾವೆಯ ಮೇಲೆ ಹೊರಗುತ್ತಿಗೆ ಕಾರ್ಯದ ಫಲಿತಾಂಶವನ್ನು ಪಡೆಯುವ ಬಗ್ಗೆ ಮಾತ್ರವಲ್ಲ, ಕ್ಲೈಂಟ್ ಮೊದಲಿನಿಂದಲೂ ಕಾರ್ಯವನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡುವುದಕ್ಕಿಂತ ಗಮನಾರ್ಹವಾಗಿ ಕಡಿಮೆ ಕಂಪ್ಯೂಟೇಶನಲ್ ಪ್ರಯತ್ನದಿಂದ ಪುರಾವೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಸಾಧ್ಯವಾಗುತ್ತದೆ. ಸುರಕ್ಷಿತ ಕೋಪ್ರೊಸೆಸರ್ಗಳು, ವಿಶ್ವಾಸಾರ್ಹ ಪ್ಲಾಟ್ಫಾರ್ಮ್ ಮಾಡ್ಯೂಲ್ಗಳು (ಟಿಪಿಎಂಗಳು), ಸಂವಾದಾತ್ಮಕ ಪುರಾವೆಗಳು, ಸಂಭವನೀಯವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಪುರಾವೆಗಳು, ಸಮರ್ಥ ವಾದಗಳು ಮತ್ತು ಮಿಕಾಲಿಯ ಸಿಎಸ್ ಪುರಾವೆಗಳು ಸೇರಿದಂತೆ ವಿಶ್ವಾಸಾರ್ಹವಲ್ಲದ ಕೆಲಸಗಾರರು ನಿರ್ವಹಿಸುವ ಕಾರ್ಯಗಳ ಗಣನೆಯನ್ನು ಪರಿಶೀಲಿಸುವಲ್ಲಿ ಗಣನೀಯ ಗಮನವನ್ನು ನೀಡಲಾಗಿದೆ. ಈ ಪರಿಶೀಲನೆಗಳು ಒಂದೋ ಸಂವಾದಾತ್ಮಕವಾಗಿದ್ದು, ನಿಖರತೆಯ ಪುರಾವೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಕ್ಲೈಂಟ್ ಕೆಲಸಗಾರನೊಂದಿಗೆ ಸಂವಹನ ನಡೆಸಬೇಕಾಗುತ್ತದೆ, ಅಥವಾ ಯಾದೃಚ್ಛಿಕ ಒರಾಕಲ್ ಮಾದರಿಯಲ್ಲಿ ಸಾಬೀತುಪಡಿಸಬಹುದಾದ ಸಂವಾದಾತ್ಮಕವಲ್ಲದ ಶಿಷ್ಟಾಚಾರಗಳಾಗಿವೆ. ಪುನರಾವರ್ತನೆಯ ಮೂಲಕ ಪರಿಶೀಲನೆ ಅತಿದೊಡ್ಡ ಪರಿಶೀಲಿಸಿದ ಗಣನೆಯು (SETI@home) ಪುನರಾವರ್ತನೆಯ ಮೂಲಕ ಪರಿಶೀಲನೆಯನ್ನು ಬಳಸುತ್ತದೆ. SETI@home ಪರಿಶೀಲನಾ ಪ್ರಕ್ರಿಯೆಯು ಒಂದು ಕ್ಲೈಂಟ್ ಯಂತ್ರ ಮತ್ತು ಅನೇಕ ಕೆಲಸಗಾರರ ಯಂತ್ರಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆ. ಕ್ಲೈಂಟ್ ಯಂತ್ರವು ಒಂದೇ ರೀತಿಯ ಕಾರ್ಯಘಟಕಗಳನ್ನು ಅನೇಕ ಕಂಪ್ಯೂಟರ್ಗಳಿಗೆ ಕಳುಹಿಸುತ್ತದೆ (ಕನಿಷ್ಠ 2). ಯಂತ್ರಗಳು ಆಕಸ್ಮಿಕವಾಗಿ ಸ್ಥಗಿತಗೊಂಡಿದ್ದರಿಂದ, ಸಂವಹನ ಸ್ಥಗಿತಗೊಂಡಿದ್ದರಿಂದ-ಸಮಂಜಸವಾದ ಸಮಯದಲ್ಲಿ ಸಾಕಷ್ಟು ಫಲಿತಾಂಶಗಳನ್ನು ಹಿಂತಿರುಗಿಸದಿದ್ದಾಗ ಅಥವಾ ಫಲಿತಾಂಶಗಳು ಒಪ್ಪಿಕೊಳ್ಳದಿದ್ದಾಗ-ಗಣನೆಯ ದೋಷಗಳು, ವಾಸ್ತವವಾಗಿ ಕೆಲಸವನ್ನು ಮಾಡದೆಯೇ ಸುಳ್ಳು ಡೇಟಾವನ್ನು ಸಲ್ಲಿಸುವ ಮೂಲಕ ಮೋಸ ಮಾಡುವುದು ಇತ್ಯಾದಿಗಳಿಂದಾಗಿ-ನಂತರ ಕ್ಲೈಂಟ್ ಯಂತ್ರವು ಇತರ ಕಾರ್ಮಿಕ ಯಂತ್ರಗಳಿಗೆ ಹೆಚ್ಚು ಒಂದೇ ರೀತಿಯ ಕಾರ್ಯಘಟಕಗಳನ್ನು ಕಳುಹಿಸುತ್ತದೆ. ಫಲಿತಾಂಶಗಳ ಕನಿಷ್ಠ ಕೋರಂ (ಸಾಮಾನ್ಯವಾಗಿ 2) ಒಪ್ಪಿಕೊಂಡ ನಂತರ, ಗ್ರಾಹಕನು ಆ ಫಲಿತಾಂಶಗಳು (ಮತ್ತು ಆ ಕಾರ್ಯಘಟಕದ ಇತರ ಒಂದೇ ರೀತಿಯ ಫಲಿತಾಂಶಗಳು) ಸರಿಯಾಗಿವೆ ಎಂದು ಊಹಿಸುತ್ತಾನೆ. ಗ್ರಾಹಕನು ಸರಿಯಾದ ಫಲಿತಾಂಶಗಳನ್ನು ನೀಡಿದ ಎಲ್ಲಾ ಯಂತ್ರಗಳಿಗೆ ಸಾಲವನ್ನು ನೀಡುತ್ತಾನೆ. ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆ ಜೆನ್ನಾರೋ ಮತ್ತು ಇತರರು. ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆಯ ಕಲ್ಪನೆಯನ್ನು ಎಫ್ಃ {0,1} ಎನ್ → {0,1} ಮೀ ಕಾರ್ಯದ ಗಣನೆಯ ಮೇಲೆ ಸಹಕರಿಸಲು ಎರಡು ಬಹುಪದ ಸಮಯ ಪಕ್ಷಗಳ ನಡುವಿನ ಶಿಷ್ಟಾಚಾರವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಈ ಯೋಜನೆಯು ಮೂರು ಮುಖ್ಯ ಹಂತಗಳನ್ನು ಒಳಗೊಂಡಿದೆಃ ಪೂರ್ವ ಸಂಸ್ಕರಣೆ. ಎಫ್ ಗೆ ಸಂಬಂಧಿಸಿದ ಕೆಲವು ಸಹಾಯಕ ಮಾಹಿತಿಯನ್ನು ಲೆಕ್ಕಹಾಕುವ ಸಲುವಾಗಿ ಗ್ರಾಹಕನು ಈ ಹಂತವನ್ನು ಒಮ್ಮೆ ನಿರ್ವಹಿಸುತ್ತಾನೆ. ಈ ಮಾಹಿತಿಯ ಒಂದು ಭಾಗವನ್ನು ಕೆಲಸಗಾರನೊಂದಿಗೆ ಹಂಚಿಕೊಳ್ಳಲು ಸಾರ್ವಜನಿಕವಾಗಿದ್ದರೆ, ಉಳಿದವು ಖಾಸಗಿಯಾಗಿರುತ್ತದೆ ಮತ್ತು ಗ್ರಾಹಕನೊಂದಿಗೆ ಇಡಲಾಗುತ್ತದೆ. ಇನ್ಪುಟ್ ಸಿದ್ಧತೆ. ಈ ಹಂತದಲ್ಲಿ, ಕ್ಲೈಂಟ್ ಕಾರ್ಯದ ಇನ್ಪುಟ್ ಬಗ್ಗೆ ಕೆಲವು ಸಹಾಯಕ ಮಾಹಿತಿಯನ್ನು ಲೆಕ್ಕ ಹಾಕುತ್ತಾನೆ. ಈ ಮಾಹಿತಿಯ ಒಂದು ಭಾಗವು ಸಾರ್ವಜನಿಕವಾಗಿದ್ದರೆ, ಉಳಿದವು ಖಾಸಗಿಯಾಗಿರುತ್ತದೆ ಮತ್ತು ಗ್ರಾಹಕನ ಬಳಿ ಇಡಲಾಗುತ್ತದೆ. ಇನ್ಪುಟ್ ಡೇಟಾದಲ್ಲಿ ಎಫ್ ಅನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಸಾರ್ವಜನಿಕ ಮಾಹಿತಿಯನ್ನು ಕೆಲಸಗಾರರಿಗೆ ಕಳುಹಿಸಲಾಗುತ್ತದೆ. ಔಟ್ಪುಟ್ ಗಣನೆ ಮತ್ತು ಪರಿಶೀಲನೆ. ಈ ಹಂತದಲ್ಲಿ, ಕೆಲಸಗಾರನು ಎಫ್ ಕಾರ್ಯಕ್ಕೆ ಸಂಬಂಧಿಸಿದ ಸಾರ್ವಜನಿಕ ಮಾಹಿತಿಯನ್ನು ಮತ್ತು ಹಿಂದಿನ ಎರಡು ಹಂತಗಳಲ್ಲಿ ಲೆಕ್ಕ ಹಾಕಲಾದ ಇನ್ಪುಟ್ ಅನ್ನು, ಒದಗಿಸಿದ ಇನ್ಪುಟ್ನಲ್ಲಿ ಎಫ್ ಕಾರ್ಯದ ಎನ್ಕೋಡ್ ಮಾಡಲಾದ ಔಟ್ಪುಟ್ ಅನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಬಳಸುತ್ತಾನೆ. ಹಿಂದಿನ ಹಂತಗಳಲ್ಲಿ ಲೆಕ್ಕ ಹಾಕಿದ ಖಾಸಗಿ ಮಾಹಿತಿಯನ್ನು ಬಳಸಿಕೊಂಡು ಕೆಲಸಗಾರನು ಹಿಂದಿರುಗಿಸಿದ ಫಲಿತಾಂಶವನ್ನು ಡಿಕೋಡ್ ಮಾಡುವ ಮೂಲಕ ಔಟ್ಪುಟ್ನ ನಿಜವಾದ ಮೌಲ್ಯವನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡುವ ಮೂಲಕ ಅದರ ನಿಖರತೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಈ ಫಲಿತಾಂಶವನ್ನು ಗ್ರಾಹಕನಿಗೆ ಹಿಂತಿರುಗಿಸಲಾಗುತ್ತದೆ. ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆಯ ವ್ಯಾಖ್ಯಾನಿತ ಕಲ್ಪನೆಯು ಕ್ಲೈಂಟ್ ಮತ್ತು ಕೆಲಸಗಾರನ ನಡುವಿನ ಸಂವಹನವನ್ನು ನಿಖರವಾಗಿ ಎರಡು ಸಂದೇಶಗಳಾಗಿ ಕಡಿಮೆ ಮಾಡುತ್ತದೆ, ಅಲ್ಲಿ ಪ್ರೋಟೋಕಾಲ್ನ ವಿವಿಧ ಹಂತಗಳಲ್ಲಿ ಪ್ರತಿ ಪಕ್ಷದಿಂದ ಇನ್ನೊಂದು ಪಕ್ಷಕ್ಕೆ ಕಳುಹಿಸಲಾದ ಒಂದೇ ಸಂದೇಶ. ಸಂಪೂರ್ಣ ಏಕರೂಪದ ಗೂಢಲಿಪೀಕರಣವನ್ನು ಆಧರಿಸಿದ ಒಂದು ಉದಾಹರಣೆ ಯೋಜನೆ ಜೆನ್ನಾರೋ ಮತ್ತು ಇತರರು. ಸಂಪೂರ್ಣ ಏಕರೂಪದ ಗೂಢಲಿಪೀಕರಣ ವ್ಯವಸ್ಥೆಯೊಂದಿಗೆ ಸಂಯೋಜಿಸಲಾದ ಯಾವೊನ ಕಳಂಕಿತ ಸರ್ಕ್ಯೂಟ್ ಅನ್ನು ಬಳಸಿಕೊಂಡು ಯಾವುದೇ ಎಫ್ ಕಾರ್ಯಕ್ಕಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆಯನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಈ ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆ ವಿಸಿ ಯನ್ನು ಈ ಕೆಳಗಿನಂತೆ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆಃ ವಿಸಿ = (ಕೀಜೆನ್, ಪ್ರೋಬ್ಜೆನ್, ಕಂಪ್ಯೂಟ್, ವೆರಿಫೈ) ಈ ಕೆಳಗಿನಂತೆ ನಾಲ್ಕು ಕ್ರಮಾವಳಿಗಳನ್ನು ಒಳಗೊಂಡಿದೆಃ ಕೀಜೆನ್ (ಎಫ್, λ) → (ಪಿಕೆ, ಎಸ್ಕೆ): ಯಾದೃಚ್ಛಿಕ ಕೀ ಪೀಳಿಗೆಯ ಕ್ರಮಾವಳಿ ಭದ್ರತಾ ನಿಯತಾಂಕ λ ಆಧಾರದ ಮೇಲೆ ಸಾರ್ವಜನಿಕ ಮತ್ತು ಖಾಸಗಿ ಎಂಬ ಎರಡು ಕೀಲಿಗಳನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ. ಸಾರ್ವಜನಿಕ ಕೀಲಿಯು ಎಫ್ ಗುರಿ ಕಾರ್ಯವನ್ನು ಸಂಕೇತಿಸುತ್ತದೆ ಮತ್ತು ಎಫ್ ಅನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಕೆಲಸಗಾರರಿಗೆ ಕಳುಹಿಸಲಾಗುತ್ತದೆ. ಮತ್ತೊಂದೆಡೆ, ಗ್ರಾಹಕನು ರಹಸ್ಯ ಕೀಲಿಯನ್ನು ಖಾಸಗಿಯಾಗಿ ಇಡುತ್ತಾನೆ. ProbGen (SK, x) → (σx, τx): ಸಮಸ್ಯೆಯ ಉತ್ಪಾದನೆಯ ಅಲ್ಗಾರಿದಮ್ ಇನ್ಪುಟ್ x ಕಾರ್ಯವನ್ನು ಎರಡು ಮೌಲ್ಯಗಳಾಗಿ ಎನ್ಕೋಡ್ ಮಾಡುತ್ತದೆ, ಸಾರ್ವಜನಿಕ ಮತ್ತು ಖಾಸಗಿ, ರಹಸ್ಯ ಕೀ ಎಸ್ಕೆ ಬಳಸಿ. ಎಫ್ (ಎಕ್ಸ್) ಅನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಕಾರ್ಮಿಕನಿಗೆ σx ಸಾರ್ವಜನಿಕ ಮೌಲ್ಯವನ್ನು ನೀಡಲಾಗುತ್ತದೆ, ಆದರೆ τx ರಹಸ್ಯ ಮೌಲ್ಯವನ್ನು ಗ್ರಾಹಕನು ಖಾಸಗಿಯಾಗಿ ಇಟ್ಟುಕೊಳ್ಳುತ್ತಾನೆ. ಕಂಪ್ಯೂಟ್ (ಪಿಕೆ, σx) → σy: ಕ್ಲೈಂಟ್ನ ಸಾರ್ವಜನಿಕ ಕೀ ಪಿಕೆ ಮತ್ತು ಎನ್ಕೋಡ್ ಮಾಡಲಾದ ಇನ್ಪುಟ್ σx ಅನ್ನು ಬಳಸಿಕೊಂಡು ಕಾರ್ಯದ ಔಟ್ಪುಟ್ನ ಎನ್ಕೋಡ್ ಮಾಡಲಾದ ಮೌಲ್ಯವನ್ನು y = F (x) ಅನ್ನು ಕೆಲಸಗಾರನು ಲೆಕ್ಕಾಚಾರ ಮಾಡುತ್ತಾನೆ. ವೆರಿಫೈಎಸ್ಕೆ (τx, σy) → y ≤ D: ಪರಿಶೀಲನಾ ಕ್ರಮಾವಳಿಯು ಕೆಲಸಗಾರನ ಎನ್ಕೋಡ್ ಮಾಡಲಾದ ಔಟ್ಪುಟ್ σy ಅನ್ನು ರಹಸ್ಯ ಕೀ ಎಸ್ಕೆ ಮತ್ತು ರಹಸ್ಯ "ಡಿಕೋಡಿಂಗ್" τx ಎರಡನ್ನೂ ಬಳಸಿಕೊಂಡು ಎಫ್ ಕಾರ್ಯದ ನಿಜವಾದ ಔಟ್ಪುಟ್ ಆಗಿ ಪರಿವರ್ತಿಸುತ್ತದೆ. σy ಯು x ಮೇಲೆ F ನ ಮಾನ್ಯ ಔಟ್ಪುಟ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸಿದರೆ ಅದು y = F (x) ಅನ್ನು ಔಟ್ಪುಟ್ ಮಾಡುತ್ತದೆ, ಅಥವಾ ಇಲ್ಲದಿದ್ದರೆ ಔಟ್ಪುಟ್ ಮಾಡುತ್ತದೆ. ಜೆನ್ನಾರೋ ಮತ್ತು ಇತರರು ವ್ಯಾಖ್ಯಾನಿಸಿದ ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಗಳ ಯೋಜನೆಯ ಶಿಷ್ಟಾಚಾರ. ಈ ಕೆಳಗಿನಂತೆ ಕಾರ್ಯನಿರ್ವಹಿಸುತ್ತದೆಃ ಎಫ್ ಕಾರ್ಯವನ್ನು ಬೂಲಿಯನ್ ಸರ್ಕ್ಯೂಟ್ ಆಗಿ ಪ್ರತಿನಿಧಿಸಬೇಕು, ಅದರ ಮೇಲೆ ಕೀ ಜನರೇಷನ್ ಅಲ್ಗಾರಿದಮ್ ಅನ್ನು ಅನ್ವಯಿಸಲಾಗುತ್ತದೆ. ಕೀ ಜನರೇಷನ್ ಅಲ್ಗಾರಿದಮ್ ಸಾರ್ವಜನಿಕ ಮತ್ತು ರಹಸ್ಯ ಕೀಲಿಗಳನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಈ ಬೂಲಿಯನ್ ಸರ್ಕ್ಯೂಟ್ನ ಮೇಲೆ ಯಾವೊನ ಗಾರ್ಬ್ಲಿಂಗ್ ವಿಧಾನವನ್ನು ನಡೆಸುತ್ತದೆ. ಸಾರ್ವಜನಿಕ ಕೀಲಿಯು (ಪಿಕೆ) ಕಳಂಕಿತ ಸರ್ಕ್ಯೂಟ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುವ ಎಲ್ಲಾ ಗುಪ್ತ ಲಿಪಿಗಳಿಂದ ಕೂಡಿದೆ ಮತ್ತು ರಹಸ್ಯ ಕೀಲಿಯು (ಎಸ್ಕೆ) ಎಲ್ಲಾ ಯಾದೃಚ್ಛಿಕ ತಂತಿ ಲೇಬಲ್ಗಳಿಂದ ಕೂಡಿದೆ. ರಚಿಸಲಾದ ರಹಸ್ಯ ಕೀಲಿಯನ್ನು ನಂತರ ಸಮಸ್ಯೆ ಪೀಳಿಗೆಯ ಕ್ರಮಾವಳಿಯಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ. ಈ ಅಲ್ಗಾರಿದಮ್ ಮೊದಲು ಹೋಮೋಮಾರ್ಫಿಕ್ ಎನ್ಕ್ರಿಪ್ಶನ್ ಯೋಜನೆಗಾಗಿ ಹೊಸ ಜೋಡಿ ಸಾರ್ವಜನಿಕ ಮತ್ತು ರಹಸ್ಯ ಕೀಲಿಗಳನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ, ಮತ್ತು ನಂತರ ಈ ಕೀಲಿಗಳನ್ನು ಹೋಮೋಮಾರ್ಫಿಕ್ ಯೋಜನೆಯೊಂದಿಗೆ ಸರಿಯಾದ ಇನ್ಪುಟ್ ತಂತಿಗಳನ್ನು ಎನ್ಕ್ರಿಪ್ಟ್ ಮಾಡಲು ಬಳಸುತ್ತದೆ, ಇದನ್ನು ಗಾರ್ಬಲ್ಡ್ ಸರ್ಕ್ಯೂಟ್ನ ರಹಸ್ಯ ಕೀಲಿ ಎಂದು ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ. ಉತ್ಪಾದಿಸಲಾದ ಸೈಫರ್ ಟೆಕ್ಸ್ಟ್ಗಳು ಕೆಲಸಗಾರರಿಗೆ ನೀಡಲಾಗುವ ಇನ್ಪುಟ್ನ (σx) ಸಾರ್ವಜನಿಕ ಎನ್ಕೋಡಿಂಗ್ ಅನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ, ಆದರೆ ರಹಸ್ಯ ಕೀಲಿಯನ್ನು (τx) ಗ್ರಾಹಕನು ಖಾಸಗಿಯಾಗಿ ಇಡುತ್ತಾನೆ. ಅದರ ನಂತರ, ಕೆಲಸಗಾರನು ಸಮಸ್ಯೆಯ ಉತ್ಪಾದನೆಯ ಅಲ್ಗಾರಿದಮ್ನಿಂದ ಉತ್ಪತ್ತಿಯಾಗುವ ಸೈಫರ್ ಟೆಕ್ಸ್ಟ್ಗಳ ಮೇಲೆ ಯಾವೊನ ಶಿಷ್ಟಾಚಾರದ ಗಣನೆಯ ಹಂತಗಳನ್ನು ಅನ್ವಯಿಸುತ್ತಾನೆ. ಅಂತಿಮ ಔಟ್ಪುಟ್ ವೈರ್ ಮೌಲ್ಯಗಳಿಗೆ (σy) ತಲುಪುವವರೆಗೆ ಗೇಟ್ ಸೈಫರ್ ಟೆಕ್ಸ್ಟ್ಗಳನ್ನು ಪುನರಾವರ್ತಿತವಾಗಿ ಡೀಕ್ರಿಪ್ಟ್ ಮಾಡುವ ಮೂಲಕ ಇದನ್ನು ಮಾಡಲಾಗುತ್ತದೆ. ಗೂಢಲಿಪೀಕರಣ ಯೋಜನೆಯ ಏಕರೂಪದ ಗುಣಲಕ್ಷಣಗಳು ಕೆಲಸಗಾರನಿಗೆ ಸರಿಯಾದ ಔಟ್ಪುಟ್ ತಂತಿಯ ಗೂಢಲಿಪೀಕರಣವನ್ನು ಪಡೆಯಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಅಂತಿಮವಾಗಿ, ಕೆಲಸಗಾರನು ಔಟ್ಪುಟ್ನ ಸೈಫರ್ ಟೆಕ್ಸ್ಟ್ಗಳನ್ನು ಕ್ಲೈಂಟ್ಗೆ ಹಿಂದಿರುಗಿಸುತ್ತಾನೆ, ಅವರು ನಿಜವಾದ ಔಟ್ಪುಟ್ y = F (x) ಅಥವಾ δ ಅನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಅವುಗಳನ್ನು ಡೀಕ್ರಿಪ್ಟ್ ಮಾಡುತ್ತಾರೆ. ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆಯ ವ್ಯಾಖ್ಯಾನವು ಯೋಜನೆಯು ಸರಿಯಾಗಿರಬೇಕು ಮತ್ತು ಸುರಕ್ಷಿತವಾಗಿರಬೇಕು ಎಂದು ಹೇಳುತ್ತದೆ. ಸಮಸ್ಯೆಯ ಉತ್ಪಾದನೆಯ ಅಲ್ಗಾರಿದಮ್ ಪ್ರಾಮಾಣಿಕ ಕೆಲಸಗಾರನಿಗೆ ಎನ್ಕೋಡ್ ಮಾಡಲಾದ ಔಟ್ಪುಟ್ ಮೌಲ್ಯಗಳನ್ನು ಲೆಕ್ಕಾಚಾರ ಮಾಡಲು ಅನುವು ಮಾಡಿಕೊಡುವ ಮೌಲ್ಯಗಳನ್ನು ಉತ್ಪಾದಿಸಿದರೆ ಯೋಜನೆಯ ನಿಖರತೆಯನ್ನು ಸಾಧಿಸಲಾಗುತ್ತದೆ, ಅದು ಯಶಸ್ವಿಯಾಗಿ ಪರಿಶೀಲಿಸುತ್ತದೆ ಮತ್ತು ಆ ಇನ್ಪುಟ್ಗಳ ಮೇಲೆ ಎಫ್ ಮೌಲ್ಯಮಾಪನಕ್ಕೆ ಅನುಗುಣವಾಗಿರುತ್ತದೆ. ಮತ್ತೊಂದೆಡೆ, ದುರುದ್ದೇಶಪೂರಿತ ಕೆಲಸಗಾರನು ಎಫ್ ಮತ್ತು ಇನ್ಪುಟ್ ಎಕ್ಸ್ ಫಂಕ್ಷನ್ಗಳಿಗೆ ತಪ್ಪಾದ ಔಟ್ಪುಟ್ ಅನ್ನು ಸ್ವೀಕರಿಸಲು ಪರಿಶೀಲನಾ ಅಲ್ಗಾರಿದಮ್ ಅನ್ನು ಮನವರಿಕೆ ಮಾಡಲು ಸಾಧ್ಯವಾಗದಿದ್ದರೆ ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯ ಯೋಜನೆಯು ಸುರಕ್ಷಿತವಾಗಿರುತ್ತದೆ. ಪ್ರಾಯೋಗಿಕ ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟಿಂಗ್ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಕಂಪ್ಯೂಟಿಂಗ್ ಸಾಧ್ಯ ಎಂದು ತೋರಿಸಲಾಗಿದ್ದರೂ (ಸಂಪೂರ್ಣ ಏಕರೂಪದ ಗೂಢಲಿಪೀಕರಣವನ್ನು ಬಳಸಿಕೊಂಡು ಅಥವಾ ಸಂಭವನೀಯವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಪುರಾವೆಗಳ ಮೂಲಕ), ತಿಳಿದಿರುವ ಹೆಚ್ಚಿನ ನಿರ್ಮಾಣಗಳು ಆಚರಣೆಯಲ್ಲಿ ಬಹಳ ದುಬಾರಿಯಾಗಿವೆ. ಇತ್ತೀಚೆಗೆ, ಕೆಲವು ಸಂಶೋಧಕರು ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣನೆಯನ್ನು ಪ್ರಾಯೋಗಿಕವಾಗಿಸುವತ್ತ ಗಮನ ಹರಿಸಿದ್ದಾರೆ. ಅಂತಹ ಒಂದು ಪ್ರಯತ್ನವೆಂದರೆ ಯು. ಟಿ. ಆಸ್ಟಿನ್ ಸಂಶೋಧಕರ ಕೆಲಸ. ಲೇಖಕರು ಸಂಭಾವ್ಯವಾಗಿ ಪರಿಶೀಲಿಸಬಹುದಾದ ಪುರಾವೆಗಳ ಆಧಾರದ ಮೇಲೆ ವಾದ ವ್ಯವಸ್ಥೆಯನ್ನು ಪ್ರಾರಂಭಿಸುತ್ತಾರೆ ಮತ್ತು ಅದರ ವೆಚ್ಚವನ್ನು 1020 ಅಂಶದಿಂದ ಕಡಿಮೆ ಮಾಡುತ್ತಾರೆ. ಅವರು ತಮ್ಮ ತಂತ್ರಗಳನ್ನು ಪೆಪ್ಪರ್ ವ್ಯವಸ್ಥೆಯಲ್ಲಿಯೂ ಜಾರಿಗೆ ತಂದರು. "ಸುರಕ್ಷಿತ ವ್ಯವಸ್ಥೆಗಳನ್ನು ನಿರ್ಮಿಸುವ ಸಾಧನವಾಗಿ, ಪಿಸಿಪಿಗಳು ಮತ್ತು ವಾದ ವ್ಯವಸ್ಥೆಗಳು ಕಳೆದುಹೋದ ಕಾರಣವಲ್ಲ ಎಂಬುದು ಇಲ್ಲಿಯವರೆಗಿನ ನಮ್ಮ ತೀರ್ಮಾನವಾಗಿದೆ" ಎಂದು ಲೇಖಕರು ಗಮನಿಸುತ್ತಾರೆ. ಈಗ ವಿವಿಧ ಗುಂಪುಗಳ ಹಲವಾರು ಅನುಷ್ಠಾನಗಳನ್ನು ಒಳಗೊಂಡಿರುವ ಒಟ್ಟಾರೆ ಪ್ರದೇಶವನ್ನು ಸಮೀಕ್ಷೆ ಮಾಡಲಾಗಿದೆ. 2010ರ ದಶಕದಲ್ಲಿ, ಪರಿಶೀಲಿಸಬಹುದಾದ ಗಣಕಯಂತ್ರ ತಂತ್ರಗಳು ಬ್ಲಾಕ್ಚೈನ್ ತಂತ್ರಜ್ಞಾನದಲ್ಲಿ ಪ್ರಾಯೋಗಿಕ ಅನ್ವಯಗಳ ಹೆಚ್ಚಳವನ್ನು ಕಂಡಿವೆ. ಉಲ್ಲೇಖಗಳು ಸುರಕ್ಷಿತ ಸಂವಹನ ಡಿಸ್ಟ್ರಿಬ್ಯೂಟೆಡ್ ಕಂಪ್ಯೂಟಿಂಗ್