Balazs Komuves's repositories
toy-language-server
Example language server (LSP) implementation for a toy language
hash-circuits
Hashing circuits implemented in circom
compact-word-vectors
compact-word-vectors Haskell library: Small vectors of small integers
eth4berlin
eth4berlin
finite-fields
arithmetic in (small) finite fields
formal-proofs
Formal proofs of some elementary mathematical statements
polynomial-algebra
polynomial-algebra Haskell library
r1cs-solver
R1CS soundness testing tool
idris-experiments
Experiments with dependently-typed programming in Idris2
singular-factory
singular-factory: Haskell bindings to the factorization library of Singular CAS
constantine_G2_msm_bug_report
files demonstrating a bug in constantine
mathematica-packages
my personal Mathematica packages
poseidon2-miden
Poseidon2 hash implementation in Miden VM assembly
symmetric-polynomials
Symmetric polynomials in Haskell
websocket-editor
A simple web-based text editor with live feedback from a backend server
zikkurat-algebra
Algebraic primitives for ZK proof systems
zikkurat-formats-binary
Parsing binary file formats (ptau, r1cs, wtns) used in zero-knowledge proof tooling
zikkurat-groth16
circom-compatible Groth16 prover and verifier