gconeice
I am a PhD student at Georgia Tech focusing on applied cryptography.
Georgia Institute of TechnologyAtlanta
Pinned Repositories
4over6
THU Network Training
buflab
emp-ot
Oblivious Transfer, Oblivious Transfer Extension and Variations
emp-tool
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"
logrobinplus
LogRobin++ in the paper: "LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK"
Network_Security
lab report of the network security engineering course
stacking-vole-zk
Batchman and Robin in the paper: "Batchman and Robin: Batched and Non-batched Branching for Interactive ZK"
tight-vole-zk-cpu
Tight ZK CPU via VOLE in the paper: "Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction"
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/improved-zk-ram
ZK RAM in the paper: "Two Shuffles Make a RAM: Improved Constant Overhead Zero Knowledge RAM"
gconeice/tight-vole-zk-cpu
Tight ZK CPU via VOLE in the paper: "Tight ZK CPU: Batched ZK Branching with Cost Proportional to Evaluated Instruction"
gconeice/logrobinplus
LogRobin++ in the paper: "LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK"
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
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