Lists (4)
Stars
ERC-7683 - Intents Framework Monorepo
Fifth cohort of Ethereum Protocol Fellowship
A curated list of resources for using LLMs to develop more competitive grant applications.
A curated list of awesome Uniswap v4 hooks resources.
Web3 CTF Intensive CoLearning
Trustlessly prove a past storage value in a contract to other contracts
Initial implementation of RSA accumulator for history compaction in Plasma constructions
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
A visual no-code/code-free web crawler/spider易采集：一个可视化浏览器自动化测试/数据采集/爬虫软件，可以无代码图形化的设计和执行爬虫任务。别名：ServiceWrapper面向Web应用的智能化服务封装系统。
AI 助手全套开源解决方案，自带运营管理后台，开箱即用。集成了 ChatGPT, Azure, ChatGLM,讯飞星火，文心一言等多个平台的大语言模型。支持 MJ AI 绘画，Stable Diffusion AI 绘画，微博热搜等插件工具。采用 Go + Vue3 + element-plus 实现。
Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A GUI client for Windows, Linux and macOS, support Xray and sing-box and others
基于C#的微信PC版聊天记录备份工具，提供图形界面，解密微信数据库并导出聊天记录。
utilities for Bitcoin SPV proof verification on (many!) other chains
The OasisDEX protocol - Simple on-chain market for ERC20 tokens
Simple on-chain market for ERC20 tokens
A curated list of awesome ZK resources, libraries, tools and more.
History version of Clash for Android
Implementation of verifiable delay function.
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.