FISCO BCOS智能合约编译技术专项兴趣小组（Compiling Technology of Smart Contract Special Interest Group, CTSC-SIG）主要围绕FISCO BCOS开发易用、安全、高效的智能合约编程语言及周边工具，并对相关项目进行长期维护。目前小组的工作内容包括智能合约编程语言Liquid及Solidity合约漏洞检查工具SCStudio的开发工作。
让联盟链上的智能合约变得更加“智能”是CTSC-SIG致力实现的终极目标，在未来，CSTC-SIG会着力于：
- 以生产力为导向，针对不同场景创造更合适的编程范式与语言特性，让智能合约能够更加简单、自然地满足业务需求
- 深入研究形式化验证与合约测试方法，将数据流分析、符号执行、模糊测试等技术纳入工具矩阵，让漏洞在合约开发阶段就无所遁形
- 尝试融合隐私交易、程序合成等前沿技术，实现输入简单程序语句，便能完成链上数据隐私保护等复杂任务
- 探索智能合约与现实法律的边界与融合，在自然语言与程序语言间架起桥梁，让非开发人员也能够成为“Code is Law”哲学的践行者
欢迎所有对区块链底层技术有探究精神的同学参与小组讨论，在此基础上如果希望更深入的参与下一代FISCO BCOS的设计开发，请填写申请表单或联系小助手（微信号：FISCOBCOS010）申请加入小组，我们会基于报名信息对申请者做出一定的筛选，希望报名深度参与的你愿意遵守下述约定：
- 认同开源社区价值观，遵守社区运营规则
- 积极参与小组活动，愿意贡献自己的力量，帮助产品迭代进化
- 对未知事物充满好奇，拥有开放的视野和乐于探索的心态，能够持续投入学习
- 具有责任意识。当你承担了社区某项任务，你便需要开始为任务进度、任务产出及后续维护负责
- 尊重其他成员，平等友好的交流沟通，理性的讨论不同观点
| 姓名 | 所属单位 | 职业 | 擅长技能 | 个人简介 | 个人主页 |
|---|---|---|---|---|---|
| 李陈希 | 微众银行 | 区块链底层开发工程师 | C++/Rust/Node.js/Python | Linux 0.02版本发布宣言：“曾几何时，男人都是真汉子，自己动手写设备驱动。你是否渴望回到那个时候？” YES, I DO! |
https://github.com/vita-dounai/ |
| 马福辰 | 清华大学 | 博士研究生 | Fuzzing/Symbolic Execution/Datalog Analysis | 区块链和p2p技术的探索者，不断学习中！ | https://fcorleone.github.io/ |
| 任萌 | 清华大学 | ||||
| 谢朝阳 | 西安电子科技大学 | ||||
| 李文宙 | 湖南链信安科技有限公司 | ||||
| 王鑫 | 深圳大学 |