cryptol加密语言
最近学习上要使用到cryptol所以学习了一段时间,将学习记录如下
不染心
探索中,欢迎指教,https://mbd.pub/o/buranxin/work
展开
-
一、初识cryptol
声明:因为cryptol比较偏,我也是看英文的官方文档学习的,有的地方不到位,给我留言,共同进步,希望体谅!一、Z3求解器微软研究公司的最先进的可满足性数模理论(SMT)求解器z3 ,可用于检验逻辑公式在一个或多个理论上的可满足性。Z3是一个低级工具,被用于其他工具的组件,用于解决逻辑问题。因此,z3公开了许多API,以方便其他工具,或者映射到Z3的工具,但是没有独立的编辑器或以用户为中心...原创 2019-09-16 18:46:46 · 736 阅读 · 18 评论 -
二、cryptol数据类型
1.1 基本数据类型Cryptol提供五种基本数据类型:位、序列、整数、元组和记录。字(即n位数)是序列的特例.请注意,除了位数和整数外,所有其他 Cryptol类型可以嵌套到您喜欢的深度。也就是说,我们可以拥有由其他记录组成的包含元组的序列的记录,这为我们提供了一个丰富的类型系统来精确地描述 我们的程序操作的数据形状。Cryptol> 12 : [_]0xcCryptol&g...原创 2019-09-16 19:39:04 · 285 阅读 · 0 评论 -
十、Cryptol内置函数
一点点探索cryptol内置函数的过程:多项式:pmult乘Cryptol> pmult <| x^^3 + x^^2 + x + 1 |> <| x^^2 + x + 1 |>45Cryptol> <| x^^5 + x^^3 + x^^2 + 1 |>45pdiv 商Cryptol> pdiv <...原创 2019-09-20 21:06:26 · 248 阅读 · 0 评论