Pinned Repositories
plonky2
c_sharp_learning
My first C# program (binary heaps & some combinatorics utilities)
circom-demo
A log of my self learning experience with Circom, a language used to build circuits for zero knowledge proofs.
fast-matrix-multiplication
An implementation of basic matrix operations - particularly of the Strassen algorithm for matrix multiplication - in C++.
memory_debug_tools
A Rust crate that provides tools to easily build tests that detect memory errors in algorithms that use, or rely on, unsafe code.
rust-lend-iterator
A Rust crate that implements traits that allow to generalize the `iter` and `iter_mut` methods that the collections in the standard library have.
Simulated-Annealing
try_collect
A rust crate that implements traits that provide fallible versions of `FromIter::from_iter`, and `Iterator::collect`.
Halo2-Playground
The demo produced from a first impact with the Halo2 proving system
Plonky2-Aggregation
Recursive zero knowledge proofs allow for efficient verification of complex statements. In this repository, we showcase a way to batch proof instances of a given statement.
Gorzorg's Repositories
Gorzorg/memory_debug_tools
A Rust crate that provides tools to easily build tests that detect memory errors in algorithms that use, or rely on, unsafe code.
Gorzorg/try_collect
A rust crate that implements traits that provide fallible versions of `FromIter::from_iter`, and `Iterator::collect`.
Gorzorg/c_sharp_learning
My first C# program (binary heaps & some combinatorics utilities)
Gorzorg/circom-demo
A log of my self learning experience with Circom, a language used to build circuits for zero knowledge proofs.
Gorzorg/fast-matrix-multiplication
An implementation of basic matrix operations - particularly of the Strassen algorithm for matrix multiplication - in C++.
Gorzorg/rust-lend-iterator
A Rust crate that implements traits that allow to generalize the `iter` and `iter_mut` methods that the collections in the standard library have.
Gorzorg/Simulated-Annealing