# ECAI Research and Earlier Drafts

Research questions and historical papers, separated from implementation references and release evidence.

Canonical HTML: <https://damagebdd.com/ecai/research.html>



<a id="research-is-an-open-question"></a>

## Research is an open question

The engineering direction is to make knowledge representation and computation
inspectable. A proposed curve mapping or algebraic relation needs explicit
semantics, a task and a comparison with simpler methods before it supports a
claim about retrieval or reasoning quality.

The [implementation overview](index.md) and
[capability matrix](../articles/features_current.md) describe the documented
platform. The materials below are research or historical artifacts, not
current security, performance or product-availability guarantees.


<a id="earlier-project-papers"></a>

## Earlier project papers

-   [ECAI whitepaper](../articles/ECAI_Whitepaper.pdf)
-   [Earlier mathematical-proof paper](../articles/ECAI_Mathematical_Proof.pdf)
-   [Earlier ECAI/LLM comparison](../articles/ECAI_vs_LLMs.pdf)
-   [EKEF v0.3 representation draft](ekef-v0.3.md)
-   [Finite-field group-law explainer](isogeny-continuity.md)

These PDFs retain their original text. Claims there about universal truth,
reversible hashing, quantum resistance, benchmark superiority or automatic
settlement must not override the current implementation and proof-boundary
references. A paper title or mathematical example is not a deployment result.


<a id="external-reading-retained-from-the-research-notes"></a>

## External reading retained from the research notes

These links are a bibliography, not an endorsement of an ECAI implementation
or evidence that the cited work establishes its broader claims.

Injective encoding with curves: <https://eprint.iacr.org/2013/373.pdf>
Merkle trees with curves : <https://eprint.iacr.org/2022/756.pdf>
Use of Elliptic Curves in Term Discrimination: <https://link.springer.com/chapter/10.1007/978-3-642-21587-2_37>
Probabilistic Record Linkage with Elliptic Curve Operations : <https://www.proquest.com/openview/df4d5d51e49f2e9379631a44aef648ee/1?pq-origsite=gscholar&cbl=18750&diss=y>

<https://martin.kleppmann.com/papers/curve25519.pdf>

Erlang implementation <https://www.nccgroup.com/media/3qzbte3h/_a_tour_of_curve25519_in_erlang-1.pdf>

Read [what encoding checks establish](proofs.md) before using these ideas in a protocol.

