
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
19 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

Search privately with customizable ranking, domain blocking, and an independent web index.
u/Nox21125 · Reddit
I made Slick, the World's Most Customizable Search Engine For the past year, I've been building Slick , an independent search engine focused on privacy, speed, and giving users much more control over how search works. One thing that has always bothered me about modern search engines is that they expect everyone to search the same way. Whether it's AI overviews, ranking decisions, or the layout of the results page, you're usually stuck with whatever the search engine decides is best. I wa

Get safety information about destinations to help travelers avoid tourist traps.
@RekonAstra · X

Instantly share files and text across devices (Mac, PC, iOS, Android, Smart TVs) via your browser, no signup needed.
@WackyCrocoGator · X
This one doesn’t require any signup or payment. Just load and multiple device by opening the site on them and connect them for an easy way to drop text and file to each other.


Generate unlimited PowerPoint presentations from text prompts without login or signup.
@japangor · X

Play a browser game instantly with no wallet or setup.
@NormiePepeNFT · X
Want to have some fun? 🐸🎮 Try the NOPE game — built entirely with Claude Code. No wallet connection required. No complicated setup. Just jump in and play. Have some fun. Be NOPE. 💚

Share encrypted files with self-destructing links, no login required.
@cortexdrop · X
CortexDrop- first consumer file sharing built on IPFS. Drop a file, get a private link.

Create and customize interactive widgets with AI and embed them on any website.
@fugteapp · X
which empowers nontechnical users to be able to customize code generated by AI or developer, and be able to share and embed it to the website they are already using

Paste a contract address to detect Ethereum rug pulls and scams instantly.
@mik3fly__ · X
Here is mine: Check for scam before being scammed!


Automated backup and end-to-end encrypted disaster recovery for network device configurations.
Willdom1986 · V2EX
多年前考过 CCNP 网络工程师,以前有一个很头疼的地方就是网络设备配置丢失引发的各种故障。后来越发觉得,网络设备的配置实际上是一个非常关键的数字资产。 为此,我利用周末时间开发了 XConf ( https://xconf.ai) 来解决这个问题。 产品主要就是想解决两个问题:**自动化的灾备高可用**,以及**端到端的安全**。 * **自动备份与灾备**:支持将配置定时备份到云端。如果网络断连了,探针会自动在本地离线队列里暂存配置,等连接恢复后自动重传。 * **端到端加密**:本地的 Go 探针是完全开源的,会自动在内存中对密码进行流式脱敏,并在上传前通过 AES-256-GCM 在本地加密。SaaS 后台拿到的只有密文,解密和版本比对( Diff )都完全在你的浏览器本地沙盒里通过 WebCrypto API 进行。 * **打磨版的配置对比 Diff**:我花了一些功夫打磨了浏览器端的配置版本对比功能,力求让日常比对的交互体验足够丝滑。 * **AI 安全基线审查**:系统集成了 AI 辅助的安全基线审查,可以一键检查和分析配置中的潜在风险。 因为目前完全是我利用业余时间(主要在周末)维护,所以确实没精力提供工作日的在线即时客服。大家使用过程中遇到任何 Bug ,欢迎随时去 GitHub 提 Issue ,我会在周末集中修复和跟进。 目前公测已开放,不需要邀请码即可注册,欢迎大家体验吐槽。 探针 agent 开源地址: https://github.com/willdom-lee/xconf-agent 官方网站: https://xconf.ai