Pinned Repositories
4over6
THU Network Training
buflab
emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
emp-tool
emp-fix-bug
emp-zk
Efficient and Interactive Zero-Knowledge Proofs
GAR
Garbled Assembly with RAM in the paper "Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)"
improved-zk-ram
ZK RAM in the paper: "Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM"
Network_Security
lab report of the network security engineering course
os_course_exercises
Exercises for OS course
stacking-vole-zk
Batchman and Robin in the paper: "Batchman and Robin: Batched and Non-batched Branching for Interactive ZK"
gconeice's Repositories
gconeice/GAR
Garbled Assembly with RAM in the paper "Towards Generic MPC Compilers via Variable Instruction Set Architectures (VISAs)"
gconeice/stacking-vole-zk
Batchman and Robin in the paper: "Batchman and Robin: Batched and Non-batched Branching for Interactive ZK"
gconeice/tight-vole-zk-cpu
gconeice/improved-zk-ram
ZK RAM in the paper: "Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM"
gconeice/Network_Security
lab report of the network security engineering course
gconeice/4over6
THU Network Training
gconeice/buflab
gconeice/emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
gconeice/emp-tool
emp-fix-bug
gconeice/emp-zk
Efficient and Interactive Zero-Knowledge Proofs
gconeice/os_course_exercises
Exercises for OS course
gconeice/Secure-Computation-of-MIPS-Machine-Code
testing as baseline
gconeice/session-types-coq
Formalising session types in Coq
gconeice/sp
sample preparation
gconeice/UC
Implementation of Valiant's universal circuit construction optimized for private function evaluation