Fix typo#15

luckyyang wants to merge 1 commit intosec-bit:developsec-bit/learning-zkp:developfrom

luckyyang:patch-5luckyyang/learning-zkp:patch-5Copy head branch name to clipboard