
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

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

Automatically scan your website for runtime security vulnerabilities.
@runtimeriot · X
Scan your site for security vulnerabilities.

Secure client portal for sharing files, answers, and approvals with real-time status visibility.
@danielkleach · X
is a branded client portal for files, answers, sign-offs, and signatures. No more scattered email threads, docs in Google Drive, or confusion about who is waiting for whom. Business and client both see what is done and what is in progress on both sides, in

Create an end-to-end encrypted temporary chat room with no signup or accounts.
@sonu_samrat_01 · X
Just shipped GhostLine 🚀 Benchmarks: 1. 1,000+ concurrent WebSocket clients 2. <50ms P95 latency 3. 4,000+ messages/sec 4. 99.9% connection stability 5. <200MB RAM under peak load Try it: #golang #websockets #webrtc #buildinpublic #go

Shorten URLs instantly for easier sharing and tracking.
u/ItsTheJStaff · Reddit
Just Another Link Shortener Hi everyone, I am willing to share my freakingly ordinary project, I am not sure if I can (and should) post it here as I have never published any pet project seriously, but the time has come. It's not that I believe in the project or something, but after a long development that took about a month... I wiped out all the sources and determined that I had implemented over-engineered unusable geek-oriented piece of shit... and took a one-year break only to restart t

Monitor SSL certificates and website security with continuous checks for renewal, headers, and DNS.
@di_spivak · X

Restaurant reservation tool that charges guests who don't show, reducing no-shows by up to 80%.
@ReserveT37916 · X

Free website security scanner checking SSL, headers, and compliance for instant trust scores and AI-guided fixes.
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

Secure GitHub pull requests with hardware authentication and OTP verification.
jallmann · HN
> want without a PR process that requires hardware authentication or proof of presence Just curious, what do you use for this? I built OTP Guard [1] a few years ago for exactly this problem, although I haven't seen any alternatives in the space. Does GitHub have something built-in now? The original framing was more "local malware compromising your GitHub account" ... it never occurred to me that the malware could be a LLM. I really should update the page. [1] https://otpguard.com

AI copilot for on-chain DeFi: message to send stablecoins, swap, bridge, monitor markets, execute workflows.
Nexis-AI · GitHub
NexBench NEXBENCH measures what an autonomous agent can actually do on-chain — execute transactions, route swaps, bridge funds, manage DeFi positions, research tokens, catch drainers, reconstruct portfolios, and run treasury governance — across 214 tasks in 8 categories, each run 5 times against deterministic forked-mainnet environments.

@Sarakhan49309 https://t.co/QF5vyl5vrj x402 gateway for cybersecurity
@chakaapportal · X
x402 gateway for cybersecurity