elielnfinic

All is maths. zkp

@nfinicGoma, Democratic Republic of Congo

Pinned Repositories

determinant
I would like to present here the way to calculate the determinant of a square matrix in Javascript
10
openden
IPFS wallet allows to save data in a decentralized fashion
Language:CSS21
reactix
React and Actix Rust application generator
Language:Rust10
rsa-crypt
In my mood 😅 - Let's go - RSA crypt in RUST
Language:Rust31
stark-z
Z transform evaluation ReactJS interface
Language:CSS10
unimage
NodeJS library allowing to unifying multiple images
Language:JavaScript2 1 10
winterfell
A STARK prover and verifier for arbitrary computations
Language:Rust00
madara
Building the Integrity Web. The most modular ZK Rollup framework.
Language:Rust526 11 555298
dapp-portal
zkSync Portal - Bridge and Token manager
Language:Vue75 3 143
neptune-core
anonymous peer-to-peer cash
Language:Rust23 6 1037

elielnfinic's Repositories

elielnfinic/auto-gpt-rust
0 1 00
elielnfinic/winterfell
A STARK prover and verifier for arbitrary computations
Language:Rust00
elielnfinic/account-abstraction
This is implementation of account-abstraction on Starknet based on @barretodavid Medium posts
Language:Cairo
elielnfinic/air-script-miden
A domain-specific language for writing AIR constraints for STARKs
Language:Rust0 0
elielnfinic/argent-contracts-starknet
Argent accounts for Starknet
elielnfinic/awesome-zkml
awesome-zkml repository
elielnfinic/blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
elielnfinic/bls12-381-keys
Language:Rust
elielnfinic/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
elielnfinic/cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
elielnfinic/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.
elielnfinic/cairo_smart_contract
elielnfinic/elielnfinic
elielnfinic/hdp
Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs
Language:Rust
elielnfinic/joyboy
Decentralized social built with Nostr and powered by Starknet account abstraction.
elielnfinic/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
elielnfinic/madara
Building the Integrity Web. The most modular ZK Rollup framework.
Language:Rust
elielnfinic/madara-app-chain-template
elielnfinic/neptune-core
anonymous peer-to-peer cash
Language:Rust
elielnfinic/orb-software
Software for the orb
elielnfinic/pragma-oracle
Pragma, the first provable oracle.
elielnfinic/proof-of-passport
Proof of passport protocol using zk-SNARKs
elielnfinic/react-christian-website
Language:JavaScript
elielnfinic/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
elielnfinic/rust-interview
elielnfinic/tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
elielnfinic/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.
elielnfinic/twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
Language:Rust
elielnfinic/vault
Empower Your Assets, Redefine Control.
elielnfinic/zkMLBootcamp
Repo for the zkML Bootcamp