Materials for the devcon4 workshop
☆14Nov 1, 2018Updated 7 years ago
Alternatives and similar repositories for fv-tutorial
Users that are interested in fv-tutorial are comparing it to the libraries listed below
Sorting:
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Ring signature related implementations for ethereum☆28Nov 23, 2021Updated 4 years ago
- approval voting to select who wears the hat by consensus☆29Oct 5, 2022Updated 3 years ago
- K framework proof explorer & smart contract specification format☆124Aug 11, 2021Updated 4 years ago
- IC3 Bootcamp Security Project☆22Jul 19, 2017Updated 8 years ago
- A library for working with mutable byte buffers in Solidity.☆29Mar 8, 2024Updated 2 years ago
- A convenient JavaScript interface to the Melon protocol Ethereum smart contracts.☆17Dec 12, 2020Updated 5 years ago
- DeadXWallet Contracts☆21Mar 3, 2023Updated 3 years ago
- Status codes for Ethereum smart contracts☆10Jun 19, 2018Updated 7 years ago
- ☆13Jun 30, 2023Updated 2 years ago
- Sonatype Nancy for GitHub Actions☆11Feb 21, 2023Updated 3 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Simple discv5 server☆13Oct 15, 2024Updated last year
- Domain Top Level Checker☆11Jan 3, 2016Updated 10 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 6 months ago
- A curated list of all Ethereum Obituaries.☆60Updated this week
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- Go package for working with Universal Binary JSON - http://ubjson.org/☆13Oct 1, 2023Updated 2 years ago
- ☆10Nov 23, 2021Updated 4 years ago
- ☆11Mar 2, 2024Updated 2 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- ☆12Dec 22, 2023Updated 2 years ago
- ☆13May 13, 2022Updated 3 years ago
- Funding proposal data for Zcash, Monero, Dash☆13Aug 15, 2018Updated 7 years ago
- SSH for DigitalOcean☆14Dec 17, 2015Updated 10 years ago
- minimal Solidity compiler service☆14Nov 9, 2017Updated 8 years ago
- ☆15May 27, 2021Updated 4 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆18Sep 3, 2021Updated 4 years ago
- Repository for aggregating news or speculations about Chainlink.☆10May 19, 2019Updated 6 years ago
- Play videos in Kha☆10Jan 22, 2019Updated 7 years ago
- ☆10Jun 30, 2025Updated 8 months ago
- A Rosetta implementation for Optimism Bedrock☆18Mar 21, 2023Updated 2 years ago
- Official Github repository of BAM!☆17Sep 22, 2025Updated 5 months ago
- Cap'n Proto library and parser for go☆71Apr 5, 2014Updated 11 years ago
- Pure-solidity implementation of the SHA1 hash function.☆41Jan 24, 2023Updated 3 years ago
- Tools for writing Haxe macros☆14Mar 14, 2025Updated last year
- Watch for new txs in a cosmos node mempool☆10Oct 16, 2023Updated 2 years ago
- Lightweight Javascript utility for decoding function parameters from Ethereum transactions.☆31Apr 19, 2023Updated 2 years ago