Eliel 수학's repositories
winterfell
A STARK prover and verifier for arbitrary computations
account-abstraction
This is implementation of account-abstraction on Starknet based on @barretodavid Medium posts
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
era_vm
EraVM implementation
hdp
Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs
joyboy
Decentralized social built with Nostr and powered by Starknet account abstraction.
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
le_krypt
Maths, cryptography
madara
Building the Integrity Web. The most modular ZK Rollup framework.
neptune-core
anonymous peer-to-peer cash
openfhe-development
This is the development repository for the OpenFHE library. The current (stable) version is v1.2.0 (released on June 25, 2024).
orb-software
Software for the orb
pragma-oracle
Pragma, the first provable oracle.
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
shinigami
Bitcoin Script VM in Cairo
tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
vault
Empower Your Assets, Redefine Control.
zkMLBootcamp
Repo for the zkML Bootcamp