7,199 followers sofía celi @claucece @MarciIlunga EasyCrypt uses the computational model: https://t.co/PHI3lZIVXO 02 Nov 2022 Reply Repost Favourite