Arya Tabaie's repositories
Language:C000
emp-zk-xcode-compile-err
A demonstration of a compilation error when attempting to use EMP-ZK in a simple Xcode project.
h2c-go-ref
Hash to curves - Go reference implementation
Language:GoBSD-3-Clause000
h2c-go-ref-tests
A fork of the standard Go hash to curve repo used for generating tests for gnark-crypto
Language:GoBSD-3-Clause000
homogen-dual-ramsey-lb
Using the SAT solver z3 to find lower bounds to a "homogenous" version of the Dual Ramsey Theorem
Language:Python000
mathfmt
Document mathematical Go code beautifully
BSD-3-Clause000
tozan-ecc
Elliptic curve Go reference implementation
Language:GoBSD-3-Clause000