设计了一种新的zkSNARK电路，实现了一些逻辑操作，并部署了链上验证器来验证由该电路生成的证明
Designed a new zkSNARK circuit that implements some logical operations and deployed a on-chain verifier to verify proofs generated from this circuit (2024-02-20, Solidity, 0KB, 下载0次)
生成安全计算电路的转发器架构
Transpiler architecture to generate secure computation circuits (2023-12-17, Solidity, 0KB, 下载0次)