游戏娱乐1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
19 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
为网络设备自动备份配置并用E2EE端到端加密保护。
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
Runtime Riot 自动扫描您网站的运行时安全漏洞。
@runtimeriot · X
Scan your site for security vulnerabilities.
RequestHarbor 安全客户门户，用于共享文件、答案和批准，实时可见状态。
@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
创建一个端到端加密的临时聊天室,无需注册或账户。
@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
jLNK — 立即缩短网址，方便分享和跟踪。
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
监控 SSL 证书和网站安全，包含自动续期检测、安全头部监控和 DNS 健康检查。
@di_spivak · X
Reserve Table——餐厅预订系统，客人缺席收费，可减少放号率达80%。
@ReserveT37916 · X
免费的网站安全扫描器，检查 SSL、headers 和合规性，提供即时的信任分数和 AI 指导的修复。
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.
使用硬件认证和OTP保护GitHub拉取请求。
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对话助手，用于链上DeFi：发送稳定币、交换、跨链、监控市场和执行工作流。
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