Solidity proofs that a historical event occurred
☆28Feb 4, 2026Updated 3 months ago
Alternatives and similar repositories for event-proofs
Users that are interested in event-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Aug 17, 2022Updated 3 years ago
- ☆12Jan 24, 2023Updated 3 years ago
- A solidity library for Ethereum's RLP decoding☆217Jan 15, 2025Updated last year
- Meta-mining on ethereum network concept☆21Oct 14, 2021Updated 4 years ago
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Mar 31, 2026Updated last month
- ☆63Feb 19, 2022Updated 4 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆21Oct 26, 2018Updated 7 years ago
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆16Feb 15, 2026Updated 2 months ago
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Apr 20, 2023Updated 3 years ago
- ☆29Dec 29, 2020Updated 5 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆195Mar 17, 2024Updated 2 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a dutch auction derivative with composite decay☆25Mar 20, 2026Updated last month
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated 2 years ago
- ☆14Mar 17, 2022Updated 4 years ago
- Exploring a ganache-cli blockchain node during development in etherscan style☆21Jan 6, 2023Updated 3 years ago
- An automated market maker running on top of CoW Protocol☆17Mar 16, 2026Updated last month
- PeekABook, a private order matching system. https://ethresear.ch/t/peekabook-private-order-matching/6987☆17Jan 6, 2023Updated 3 years ago
- Multi Network Identifier - spec and reference implementation☆36May 10, 2021Updated 4 years ago
- ☆10Feb 23, 2021Updated 5 years ago
- 256 bit bloom filter implementation written in Solidity☆39Mar 30, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Apr 29, 2026Updated last week
- This repository contains the official Ostium contracts deployed on Arbitrum One☆14Feb 26, 2026Updated 2 months ago
- A fork of zkp-sbmtjs☆14Oct 22, 2020Updated 5 years ago
- Lossless abliteration of Qwen3.6-27B with NVFP4 hardware quantization for DGX Spark / Blackwell. BF16 (51 GB) + NVFP4 (26 GB) deployment …☆109May 1, 2026Updated last week
- ☆10Jan 24, 2023Updated 3 years ago
- Writing MACI circuits in Noir☆16Oct 8, 2023Updated 2 years ago
- ☆12Nov 18, 2023Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Oct 19, 2021Updated 4 years ago
- our pact with the devil☆11Jan 28, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Old, obsolete version of the Valida compiler; its replacement will become public later☆52Aug 31, 2023Updated 2 years ago
- ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2☆22Apr 20, 2026Updated 2 weeks ago
- Permanently burn ETH by self destructing a contract while sending funds to itself☆14Jun 27, 2021Updated 4 years ago
- ☆11Feb 18, 2019Updated 7 years ago
- An implementation of the Financial Crypto 2016 paper "Optimal Selfish Mining Strategies in Bitcoin"☆14May 30, 2017Updated 8 years ago
- ☆13May 6, 2024Updated 2 years ago
- ☆33Jun 28, 2024Updated last year