Ch

ChaCha20nosat, a symmetric cipher that resists being put into SAT form

Hacker News

ChaCha20nosat, a symmetric cipher that resists being put into SAT form

There has been a recent discussion about the monoculture in crypto, and how ChaCha20 is a fallback to AES256. All current mainstream ciphers are relatively easy to transform into SAT form. This is a proposal for a fallback for that, using polymorphic constraints between the bits via sboxes that are part of the private key. Suggested changes to avoid redoing XChaCha20: since the sboxes could be the entire private key, what was the key could be a 256 bits nonce, and what was the nonce could be the counter, and what was the counter could be a stream index: such a modification could be called yadacha20. Small, self-contained super ugly, quickly written Rust code: this is an initial draft of a work in progress. The goal of this post is to get feedback as early as possible. Thank you.

Share card

Actual performance

1points
Did not reach leaderboard

Launch Intel predictions

Analyze your own launch →
Product HuntOn track for Day 1 leaderboard · Strong signals: using, code · Missing: mac, agents, macos
68%68% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
best fitHighest predicted score across all platforms for this description.
TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal
49%49% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive
48%48% predicted probability of success on AppSumo, based on ML models trained on real launch data.
Hacker NewsMay not resonate with HN audience · Strong signals: io · Missing: https docs, excited, just released
43%43% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting
22%22% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue
14%14% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
BetaListMay not resonate with beta-testers · Strong signals: crypto · Missing: web3, chat, cryptocurrency
9%9% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

FO
FORM6 – Named &ltfieldset&gt for nested form fields49%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

FORM6 – Named &ltfieldset&gt for nested form fields

Hacker News1
Wi
With each 'thank you,' bonds form, friendships renew36%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

With each 'thank you,' bonds form, friendships renew

Hacker News1
I
I Made a Form Autofiller38%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

I Made a Form Autofiller

Hacker News1
ScratchGraph
ScratchGraph45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Free-form Notetaking

Indie Hackers1b2b
formsort
formsort25%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

form management system

Indie Hackerscommitment-full-time
Halict
Halict26%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

From form submission to answered, on one screen

Indie Hackerscommitment-full-time
Form Ji
Form Ji41%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Form Builder

Product Hunt+6
Sh
Should I Advertise?” interactive form41%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Should I Advertise?” interactive form

Hacker News6
Li
LiveForm – Form endpoints with reCAPTCHA support42%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

LiveForm – Form endpoints with reCAPTCHA support

Hacker News3
GodMind AI
GodMind AI29%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Highest Form of Intelligence

Indie Hackers1$1/moai