MartinOndejka

Pinned Repositories

aoc-2023
Language:OCaml00
cip-0008-verification
Language:Java10
federated-learning-token
Federated learning on blockchain using smart contracts. Distributed privacy-preserving data science technology.
Language:SCSS00
m-tree
Language:Python00
matrix-equation
Iterative methods for solving matrix equations.
Language:Python00
mina-concurrent-nullifier
Language:TypeScript00
mina-multisig
Language:Solidity00
mina-testing
Language:Rust00
multilinear-extension
Multilinear extension using Lagrange interpolation of multilinear polynomials
Language:Python00
o1js
TypeScript framework for zk-SNARKs and zkApps
Language:TypeScript00

MartinOndejka's Repositories

MartinOndejka/cip-0008-verification
Language:Java10
MartinOndejka/aoc-2023
Language:OCaml00
MartinOndejka/federated-learning-token
Federated learning on blockchain using smart contracts. Distributed privacy-preserving data science technology.
Language:SCSS00
MartinOndejka/m-tree
Language:Python00
MartinOndejka/matrix-equation
Iterative methods for solving matrix equations.
Language:Python00
MartinOndejka/mina-concurrent-nullifier
Language:TypeScript00
MartinOndejka/mina-multisig
Language:Solidity00
MartinOndejka/mina-testing
Language:Rust00
MartinOndejka/multilinear-extension
Multilinear extension using Lagrange interpolation of multilinear polynomials
Language:Python00
MartinOndejka/o1js
TypeScript framework for zk-SNARKs and zkApps
Language:TypeScript00
MartinOndejka/o1js-bindings
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
MartinOndejka/ocaml-ffi
Language:C
MartinOndejka/rchat
ChatGPT client in rust
Language:Rust
MartinOndejka/snarkyml_vs_o1js
Language:OCaml
MartinOndejka/song-similarity
Language:Jupyter Notebook
MartinOndejka/zk-workshop
Language:Solidity1
MartinOndejka/zkrollup
Language:Rust