🔍Cardano’s design choices viewed through the principal–agent lens.
🟥 In governance, staking, and transaction fees, misaligned incentives allow discretion, consolidation, and off-chain prioritisation to emerge.
🟩 By improving measurement, transparency, and incentive alignment, can Cardano decentralisation from a value into an enforceable property ?
🪙Two Sides of the Coin
Off-Chain Proof Generation and On-Chain Proof Verification on the Midnight Network
We're diving deep into the core infrastructure of how to implement verifiable, private AI on the @MidnightNtwrk with Cryptographic Proofs.
Key Takeaways:
#⃣Off-Chain Generation: Where ZK-SNARKs prove computation occurred correctly—in private.
⛓️On-Chain Verification: How the VerifierContract.compact provides immutable trust without ever seeing the raw inputs.
⚖️The critical balance between privacy and verifiability.
Learn how to bridge off-chain computation with on-chain trust.
#MidnightNetwork #ZKProofs #Crypto #Privacy #AI
🚶A walkthrough of the Cyclic Possible-World Semantics Governance app
A simulation showing how DAOs can use modal logic—possibility & necessity—to guide long-term, reversible governance. (Updated and improved)
🔎 What it models:
• Worlds = snapshots of a DAO’s configuration
• Accessibility = which worlds you’re allowed to move to next
• Cycles = the ability to move forward and loop back if a change doesn’t work
🖥️ In the Streamlit app you can:
• Initialize a Kripke model of possible governance states
• Run proposals with quorum + threshold rules
• Simulate voter behavior
• Visualize transitions across worlds
• Inspect metadata, valuations, and full governance history
🔥 Example:
Starting in W1, a proposal moves us to W2, then back to W1—showing how CPWS avoids governance dead ends and keeps the system flexible.
📊 History + Explorer tabs let you audit all transitions and see which proposals passed (2 of 6 in the demo!).
👉 Streamlit App: https://cyclic-possible-world-semanti...
👉 GitHub Repo: github.com/Quality-Assurance…...
The Cyclic Possible-World Semantics Governance app app shows how abstract logic becomes practical, auditable governance. Dive in! 🚀
♾ Introducing Cyclic Governance Simulator!
We're using formal logic (Possible-World Semantics) to model decentralized systems where every major policy change is designed to be reversible. This guarantees governance state preservation and enhances systemic safety.
Explore the live app: cyclic-possible-world-semant…
View the formal Kripke model logic & source: github.com/Quality-Assurance…
#DAO #Governance #DeFi #Simulation #FormalMethods
Communities should co-own their data.
In this overview, I show how graph methods like Louvain, participation entropy, and betweenness centrality reveal:
• Who contributes
• How balanced participation is
• Who bridges subcommunities
Full breakdown:
QA-DAO retweeted
Amazing to see what @MidnightNtwrk is pulling presently with just couple of hours in, since streaming start. This is how marketing is done. Great energy and work from @F_ZK_Now @IOHK_Charles and @midnightfdn teams!
Check out the BGI Virtual Unconference Session 3: AI ethics in community governance
Time: 14:00 - 16:00 UTC (17:00 - 19:00 Istanbul time)
bgicollective.singularitynet…
If you can't be in Istanbul for the BGI-25 Summit, catch the livestream here youtube.com/live/gb5ESFppdD8
and don't forget to join us for the Virtual Unconference event on Thursday bgicollective.singularitynet…
QA-DAO retweeted
Incredibly exciting times at our 3-day Hyperon AGI workshop here in Istanbul btw .... We have a couple different variants of fast MeTTa language compiler working now ... as of quite recently ... and so whereas previous Hyperon meetups were largely theory oriented this one is quite hands-on ... more like "hmm now let's see what we can do with these tools now that they really work, let's figure out the best paths to scaling up all the proto-AGI code we've been prototyping for years..." .... Symbolic and evolutionary AI finally have an elegant, flexible, scalable infrastructure !!!
And there is more to come. What we have now to use are scalable versions of a MeTTa compiler (leveraging SWI-Prolog and our MORK metagraph database) and MM2 which is a lower-level language working directly against MORK ... we also saw quite strong working demonstrations of a compilation pipeline from MeTTa into smart contracts running on MeTTaCycle/ASI-chain alpha version, and Distributed Atomspace (DAS) which allows Atomspaces (stored using MORK and other methods) to live on clusters spanning multiple machines... DAS will be in 1.0 version next month, the ASI-chain MeTTa compiler will be in a fully usable beta by the end of the year and 1.0 early next year...
It feels we are moving into a new phase where non-neural-net AI and neural-symbolic AI can be developed at the speed we have seen with neural net AI in recent years. Metagraph operations can now be carried out with the speed and simplicity that has been the case in recent years for floating-point vector and matrix operations. There is a lot more work to do but things really are accelerating... And what a pleasure to be experiencing and effecting this acceleration with such a visionary, brilliant and good-hearted international team...
@OpenCog @SingularityNET @ASI_Alliance @True_AGI
Next Thurs, we'll be at the BGI-25 Virtual Unconference, talking about knowledge graphs and recordkeeping.
Come and join us! bgicollective.singularitynet…
Register: us02web.zoom.us/meeting/regi…
ALT BGI-25 tree logo on teal-coloured background, and text "The SingularityNET Ambassador Program invites you to the BGI-25 Virtual Unconference - Thurs 23rd October 2025, on Zoom. A day of discussion and exploration about AI tooling for grassroots communities - or start your own breakout toom!
New #AISandbox session! How to convert JSON to graph data (nodes/edges) using Python.
youtu.be/ByNe06ShpAw
Using Gephi & graph algorithms to identify patterns. This constrained context can then regulate generative models, ensuring the AI does not misinterpret data.
Cardano governance is a living example of Agent–Principal theory: delegators = principals, SPOs = agents. But how do we measure alignment? That’s what our Catalyst proposal tackles (projectcatalyst.io/funds/14/…)
Don't forget to vote in the BGI Nexus/@SingularityNET fund for AI projects for social good!
(Our project: deepfunding.ai/proposal/ethi… - developing a process anyone can use to verify if AI is being used ethically.)
Closes 6pm UTC today.
Voting platform: bgicollective.singularitynet…
Seen the current funding round from BGI Nexus, for AI projects for social good?
Here's ours:
deepfunding.ai/proposal/ethi… - developing a process anyone can use to check if AI is being used ethically.
Anyone can vote bgicollective.singularitynet… Nice "pairwise voting" process too!
QA-DAO retweeted
This Thursday is the @SingularityNET special Spotlight Day!
We will explore proposals focused on social and environmental good from the $500K BGI Nexus funding round.
📅Date: March 27, 2025, at 18:00 UTC / 11:00 PDT
Selected applicants who advanced through the review phase and are eligible for community voting will present their beneficial AI and AGI projects that address real-world challenges through environmental regeneration technologies, AI safety monitoring systems, and other innovative solutions.
🌟The event will feature presentations from project teams, discussion of potential impact, and a Q&A session.
Join us via Zoom at singularitynet.zoom.us/j/868… or add the event to your calendar bit.ly/SNET-Events
#SNET #BGINexus #DeepFunding
QA-DAO retweeted
New GovUI dropped oO
xitter.gq/governancevote/status/…
🚨 🏛️ GovernanceSpace.com is LIVE! 🏛️ 🚨
🔥 All-in-One Governance Platform powered by @Cardano blockchain.
🔹 Search DReps, Governance Actions, Proposals, Committees Members, Live Events & Analytics.
Are You Ready to Participate?
Building Together to Drive Cardano Forward.
ALT https://governancespace.com/
