Introducing: MCP Guardian
A few of us at @EQTYLab have been building this open source tool to manage and secure MCP servers used with Claude Desktop over the past 2 weeks.
MCP Guardian proxies MCP traffic to enable things like
- logging
- approval workflows
- automated scans
The Future of Verifiable Computation is Coming
Phase 1: Trusted Setup Ceremony
The ceremony has progressed through 2 of 3 phases and is open to the community.
1⃣ Team ✔️
2⃣ Partner ✔️
3⃣ Community 🟢
Together, we'll enable a future where you can prove anything and verify everywhere.
Contribute to the launch of R0 zkVM 1.0, the world's first production-ready general purpose zkVM: https://t.co/XdBD5KrBKD
1/2
Some takeaways from zkSummit:
- besides scaling L2, there are many applications related to bringing ZK verification+privacy to on-chain addresses
- some notable examples: zkEmail, zkPassport, Proof of Passport
- very high technical level
- few end-user products
Following the release of our @RiscZero Verifier from yesterday, we are open sourcing another tool we built internally, this time for running Python code in the zkVM:
https://t.co/r486op7WvN
We’re fans of @RiscZero which allows code to be run verifiably. Instead of trusting a cloud provider, a zkVM provides cryptographic proof to prevent tampering during execution.
We’re excited to release an open source web verifier that allows anyone to verify execution receipts.