zkay:一种区块链隐私语言 Zkay(发音为[zi: keɪ] )是一种编程语言,它可以利用加密和非交互式零知识(NIZK)证明,自动将直观的数据隐私规范编译为以太坊智能合约。 该存储库提供了用于编译,部署和使用zkay合同的工具链。 除了下面的说明,我们还引用以下资源: 原始介绍了zkay的核心概念。 ,其中提供了教程,语言参考和API文档。 该介绍了zkay v0.2的功能和实现。 警告/安全免责声明 Zkay是一个研究项目及其实施不应该被认为是安全的(例如,它可能包含的错误,并没有发生任何安全审查)! 不要在生产系统中使用zkay或处理敏感机密数据。 先决条件 Zkay需要安装python 3.7或更高版本。 此外,使用系统的程序包管理器安装以下依赖项: Debian / Ubuntu sudo apt-get install default-jdk-headless git build-essential cmake libgmp-dev pkg-config libssl-dev libboost-dev libboost-program-options-dev
2021-04-25 16:15:45 4.39MB programming-language privacy compiler ethereum
1
Grid++Report6.0易语言静态编译6.0测试.rar
2021-04-23 16:00:16 3.98MB 易语言
1
此程序为编译原理 递归下降分析器 程序,用c语言编写
2021-04-23 14:52:05 33KB 编译原理 实验 程序 c语言
1
EXEC-2-C是一个超强的C语言反编译程序,能反编译用C编译成的各种程序。市面上的各种辅助与外挂都是C写的。反编译之后自己就能修改源代码编译成自己的外挂,爽YY。 EXEC-2-C是一个反汇编到 C 的软件,包含以下文件 - E2A.EXE - 反汇编 - A2APARSE.EXE - 汇编预处理 - E2C.EXE - 转换 A2A.EXE 的结果到 pseudo-C - ENVMNU.EXE - 前几个文件的集成环境 最简单的使用方法是运行 ENVMNU, 如果你想使用参数就在DOS命令行上运行 e2a, a2aparse, & e2c的用法 -------------------------- [path] e2a [-p#] [-l#] [-r#] [-s#] [-h hdr] [-t] [-a] [-e] [-o out_file] file ----------------------------------------------------------------------------- e2a的参数: -p# ........... 处理遍数 (例: -p5) -l# ........... 标号数 (例: -l500) -r# ........... 过程数 (例: -p500) -s# ........... 段数 (例: -p500) -h hdr ........ 头 (例: -o "header 1") -t ............ 输出 LST 格式 -a ............ 输出 ASM 格式 -e ............ 带接口 -o out_file ... 输出文件名 (例: -o file-name) file .......... 输入文件名 (例: .exe or .com file) [path] a2aparse file ,[out_file] -------------------------------- a2aparse的参数: file .......... 输入文件名 out_file ...... 输出文件名 .cod - |\ .r - | > 输出文件 .glb - |/ [path] e2c [-p] [-e] [-d] [-?] [-a] file [out_file] --------------------------------------------------- e2c的参数: -p ............ 包含页 -e ............ 带接口 -d ............ 删除A2Aparse结果 -? ............ 打印信息 -a ............ 处理函数调用 file .......... 输入文件 .cod .r .glb out_file ...... 输出文件
2021-04-07 10:34:34 187KB C语言 反编译 源代码
1
这是陈火旺 刘春林等人主编的 是第三版本 可以系统答案 基本都是有的除了一些简单的题之外 非常适合做参考 而且很详细 步骤也给出来了的
2021-03-20 16:40:54 359KB 程序设计语言 编程 编译原理
1
Java实现的C语言的编译器课程设计 Java C语言 编译器 课程设计
2021-03-15 17:28:13 609KB Java C语言 编译器 课程设计
1
易语言静态编译
2021-03-08 09:07:18 6.82MB 易语言静态编译
1
自瞄易语言源码编译可用
2021-02-18 18:31:00 329KB CF透视
1
【安全,亲测】易语言模块反编译工具.exe
2021-02-08 19:00:17 107KB 易语言 反编译
1
华中科技大学 编译原理 面向过程的C语言的编译器设计 功能包括:词法分析和语法分析、语义分析、中间代码生成的 源码 题目:c--语言编译器设计与实现(请为自己的编译器命名) 源语言定义:或采用教材中Decaf语言,或采用C语言(或C++语言或C#语言或JAVA语言)部分关键语法规则。源语言要求至少包含的语言成分如下: 数据类型至少包括char类型、int类型和float类型 基本运算至少包括算术运算、比较运算、自增自减运算和复合赋值运算 控制语句至少包括if语句和while语句 实验内容:完整可运行的自定义语言编译器 实验一:词法语法分析器的设计与实现:建议使用词法语法生成工具如:LEX/FLEX ,YACC/BISON等专业工具完成。 实验二:符号表的设计与属性计算:设计符号表数据结构和关键管理功能。动态展现符号表变化过程。无论语法分析使用工具还是自己设计,都必须对符号表进行设计和管理,属性计算可以语义子程序实现。 实验三:语义分析和中间代码生成:生成抽象语法树,进行语义分析,实现类型检查和控制语句目标地址计算,生成中间代码。中间代码的形式可以采用不同形式,但实验中要求定义自己的中间形式。 实验四:目标代码生成:在前三个实验的基础上实现目标代码生成。也可以使用工具如LLVM来生成目标代码。
1
服务器状态检查中...