alexandra-mara

@NilFoundationPaphos, Cyprus

Pinned Repositories

docs
Lido docs repo
Language:JavaScript0 0 00
evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity0 0 00
openfhe-python
Official Python wrapper for OpenFHE. Current release is v0.8.6 (released on March 12, 2024).
Language:C++0 0 00
events
Technology and Developer Events in Cyprus
6 16 732
openfhe-rs
OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
Language:C++25 5 14
polycircuit
Polycircuit is an FHE components library built via FHERMA competitions
Language:C++15 3 31
mina-state-proof
In-EVM Mina State Verification
Language:Solidity82 23 719
proof-market-toolchain
A toolchain for interaction with the Proof Market protocol.
Language:C++23 17 645
cartridge
Out-of-the-box cluster manager for Tarantool with a modern web UI
Language:Lua93 31 94729
doc
Tarantool documentation
Language:CSS15 30 3.2k43

alexandra-mara's Repositories

alexandra-mara/docs
Lido docs repo
Language:JavaScript0 0 00
alexandra-mara/evm-placeholder-verification
Placeholder proof system verifier for EVM
Language:Solidity0 0 00
alexandra-mara/openfhe-python
Official Python wrapper for OpenFHE. Current release is v0.8.6 (released on March 12, 2024).
Language:C++0 0 00