Stars
MPC with ESP32 hardware devices, using Arduino C++
A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of t…
neural networks model for secure inference using Concrete ML
This project aim to reproduce Sora (Open AI T2V model), we wish the open source community contribute to this project.
An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Op…
An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements
Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.
A library for calling C functions from Go without Cgo
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Analyze and reproduce attack events or vulnerabilities in the blockchain world.
Fuzzy testing of various EIP1962 implementations
Fixed point solidity exponentiation.