Skip to content
ENTITY PROFILE / KNOWLEDGE GRAPH

better.codes

RSS

better.codes was built by the Ethereum Foundation Formal Verification team. better.codes was built in collaboration with Yukon. better.codes was built in collaboration with zkSecurity. better.codes takes a self-contained problem from the Proximity Prize research. better.codes uses the problem koalaIRS12. better.codes shares a similar open challenge approach with ecdsa.fail. better.codes shares a similar open challenge approach with zk.golf. better.codes shares a similar open challenge approach with snark.fast. better.codes is hosted on GitHub.· Entity summary generated by Graphiti

RELATIONS
9Relations
CURRENT
9Current
EVENTS
0Events
REPORTS
1Source reports
KNOWLEDGE ATLAS0 entities · 0 relations
No public neighbors yet
Explore all published links of a node; previously discovered relations remain visible.

Relation timeline

BY VALID-FROM DATE
  1. better.codesSIMILAR CHALLENGEzk.golf

    better.codes shares a similar open challenge approach with zk.golf.

    Current1 sourcezk.golf
  2. better.codesUSES PROBLEM FROMProximity Prize research

    better.codes takes a self-contained problem from the Proximity Prize research.

    Current1 sourceProximity Prize research
  3. better.codesCOLLABORATED WITHSquarespace

    better.codes was built in collaboration with zkSecurity.

    Current1 sourceSquarespace
  4. better.codesCOLLABORATED WITHSquarespace

    better.codes was built in collaboration with Yukon.

    Current1 sourceSquarespace
  5. better.codesBUILT BYEthereum Foundation Formal Verification team

    better.codes was built by the Ethereum Foundation Formal Verification team.

    Current1 sourceEthereum Foundation Formal Verification team
  6. better.codesUSES PROBLEMkoalaIRS12

    better.codes uses the problem koalaIRS12.

    Current1 sourcekoalaIRS12
  7. better.codesSIMILAR CHALLENGEecdsa.fail

    better.codes shares a similar open challenge approach with ecdsa.fail.

    Current1 sourceecdsa.fail
  8. better.codesSIMILAR CHALLENGESoftServe

    better.codes shares a similar open challenge approach with snark.fast.

    Current1 sourceSoftServe
  9. better.codesHOSTED ONGitHub

    better.codes is hosted on GitHub.

    Current1 sourceGitHub

Relations are facts Graphiti extracted from reports, not verbatim quotes. An end date means later reporting showed the relation no longer holds.

Source reports 1