frisitano's repositories
merkle-tree-db
Binary Merkle Tree over a HashDB backend
proof-systems
The proof systems used by Mina
blockscout-helm-charts
Helm charts for blockscout and other services
cleopatra_cairo
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
erigon
Ethereum implementation on the efficiency frontier
evm-provider.js
web3 provider for interacting with Reef chain and EVM
frontend
Front-end application for Blockscout
frontier
Ethereum compatibility layer for Substrate.
giza
A Cairo VM prover implemented using Winterfell
Grant-Milestone-Delivery
Repository to submit finished milestones
Grants-Program
Web3 Foundation Grants Program
helm-charts
Parity Helm charts collection
lumina
Celestia light node implementation in Rust WASM
miden
STARK-based virtual machine
patricia-merkle-trie
Ethereum style patricia merkle trie implementation
reef-chain
EVM compatible chain with NPoS/PoC consensus
rs-merkle
The most advanced Merkle tree library for Rust
scripts
Collection of Dockerfiles, scripts and related resources
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
winterfell
A STARK prover and verifier for arbitrary computations