Activity
This feed is replayed from the logs the contracts emitted. Delete the database, run the indexer again, and the same rows come back.
2026-11-11 · NodeAdded 18 · ProblemCreated 4 · Funded 1 · Staked 1 · ProtocolInitialized 1 · FundingWithdrawn 1 · Unstaked 1
Withdraw Funding
When20 Oct 2026 08:34 UTCBlock459165618Actorsol-7cc1d8ea3224072e055d70e3Signature5zz4Fb73jy...ALhcZD
Fund
When20 Oct 2026 08:34 UTCBlock459165604Actorsol-7cc1d8ea3224072e055d70e3Signature4e8SZKHwoJ...qRKipM
Unstake
When20 Oct 2026 08:34 UTCBlock459165591Actorsol-7cc1d8ea3224072e055d70e3Signature2RA7EdGy7N...DCJ5Qb
Stake
When20 Oct 2026 08:34 UTCBlock459165568Actorsol-7cc1d8ea3224072e055d70e3SignatureZh7mSyMSj2...2MaRov
Add Node: Exhaustive verification and the exceptional set
When20 Oct 2026 08:31 UTCBlock459164765Actorsol-7cc1d8ea3224072e055d70e3Signature2UQm1DqR6f...RwdiY6
Add Node: Leverage from the ternary case
When20 Oct 2026 08:31 UTCBlock459164747Actorsol-7cc1d8ea3224072e055d70e3Signature3xnXAPR3Vu...Z9ddcn
Add Node: Circle method: major and minor arcs
When20 Oct 2026 08:31 UTCBlock459164729Actorsol-7cc1d8ea3224072e055d70e3SignatureH7Yt18YogE...SY5DjW
Create Problem: Goldbach Conjecture
When20 Oct 2026 08:31 UTCBlock459164711Actorsol-7cc1d8ea3224072e055d70e3Signature5iJCx4Bnsp...N1iRH8
Add Node: Formalization of the statement and known partial results
When20 Oct 2026 08:31 UTCBlock459164682Actorsol-7cc1d8ea3224072e055d70e3Signature4qKDkv6oYX...UQTSxs
Add Node: Exhaustive verification with reproducible certificates
When20 Oct 2026 08:31 UTCBlock459164662Actorsol-7cc1d8ea3224072e055d70e3SignaturehL7BygkJo9...qoVbFS
Add Node: Stopping time statistics
When20 Oct 2026 08:31 UTCBlock459164633Actorsol-7cc1d8ea3224072e055d70e3SignatureqTeJf1o2pV...kozJri
Add Node: Density and almost all results
When20 Oct 2026 08:31 UTCBlock459164613Actorsol-7cc1d8ea3224072e055d70e3SignatureUqAzdiHBiL...Dk5qJT
Create Problem: Collatz Conjecture
When20 Oct 2026 08:31 UTCBlock459164584Actorsol-7cc1d8ea3224072e055d70e3Signature5u7GrcSkk4...s4EPzC
Add Node: Geometric complexity theory
When20 Oct 2026 08:30 UTCBlock459164565Actorsol-7cc1d8ea3224072e055d70e3Signature5bk4s8j1qN...bFbCxM
Add Node: Proof complexity
When20 Oct 2026 08:30 UTCBlock459164547Actorsol-7cc1d8ea3224072e055d70e3Signature3vkzw1YtfV...G5rHsq
Add Node: Lower bounds against constant depth circuits with counting gates
When20 Oct 2026 08:30 UTCBlock459164529Actorsol-7cc1d8ea3224072e055d70e3Signature45e44Htarp...rEuTNE
Add Node: Circuit lower bounds
When20 Oct 2026 08:30 UTCBlock459164502Actorsol-7cc1d8ea3224072e055d70e3Signature5jozdV37Us...4f7vZX
Add Node: Barriers: relativization, natural proofs, algebrization
When20 Oct 2026 08:30 UTCBlock459164474Actorsol-7cc1d8ea3224072e055d70e3Signature3YHJvr7vpy...kSwFfH
Create Problem: P versus NP
When20 Oct 2026 08:30 UTCBlock459164446Actorsol-7cc1d8ea3224072e055d70e3Signature4PcTHemV1j...HF3TSE
Add Node: Formalization in a proof assistant
When20 Oct 2026 08:30 UTCBlock459164426Actorsol-7cc1d8ea3224072e055d70e3Signature5xo8bk3TRn...ey4WvN
Add Node: Verified computation of zeros at large height
When20 Oct 2026 08:30 UTCBlock459164408Actorsol-7cc1d8ea3224072e055d70e3Signature4z48zu1mYY...Xm7di6
Add Node: Montgomery pair correlation conjecture
When20 Oct 2026 08:30 UTCBlock459164381Actorsol-7cc1d8ea3224072e055d70e3Signature41V6WwLSX4...Jcgjx6
Add Node: Random matrix theory and pair correlation
When20 Oct 2026 08:30 UTCBlock459164361Actorsol-7cc1d8ea3224072e055d70e3Signature2AZ1yejdi1...ykBiHi
Add Node: Explicit formula and prime counting error terms
When20 Oct 2026 08:30 UTCBlock459164344Actorsol-7cc1d8ea3224072e055d70e3Signature49d4awzToe...Wdt8sX
Add Node: Zero free regions and explicit bounds
When20 Oct 2026 08:30 UTCBlock459164327Actorsol-7cc1d8ea3224072e055d70e3Signature4c27eBgw4T...XQ1FhE
Create Problem: Riemann Hypothesis
When20 Oct 2026 08:29 UTCBlock459164300Actorsol-7cc1d8ea3224072e055d70e3Signature3RwNxrN8Lz...qiUyCd
Initialize
When20 Oct 2026 08:29 UTCBlock459164282Actorsol-7cc1d8ea3224072e055d70e3SignatureKo8zLoW7v3...f1Vctv