Vadym Fedyukovych's repositories
Sudoku_solvability_proof
efficient proof of solvability with characteristic polynomials
qcomp_intro
Practical computing with quantum gates
coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language:OCamlApache-2.0000
hog
A MetaMask snap
Language:JavaScript000
Language:Rust000
zexe
Rust library for decentralized private computation
Language:RustApache-2.0000
zksync
zkSync: trustless scaling and privacy engine for Ethereum
Apache-2.0000